4079 search results - page 170 / 816 » Differential Testing for Software |
119
click to vote
GECCO
2005
Springer
15 years 8 months 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...
119
click to vote
ADAEUROPE
2001
Springer
15 years 7 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...
116
click to vote
KBSE
1998
IEEE
15 years 6 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...
110
click to vote
APSEC
2004
IEEE
15 years 6 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...
125
click to vote
CISSE
2008
Springer
15 years 4 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 ...