3547 search results - page 108 / 710 » Pseudo-Exhaustive Testing for Software |
149
click to vote
ERCIM
2008
15 years 7 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
170
click to vote
SCAM
2009
IEEE
16 years 1 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
183
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
171
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...