4079 search results - page 170 / 816 » Differential Testing for Software |
179
click to vote
GECCO
2005
Springer
16 years 14 days ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
188
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
175
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
183
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
178
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...