514 search results - page 23 / 103 » Automated test data generation for aspect-oriented programs |
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
140
click to vote
TAP
2010
Springer
15 years 10 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
163
Voted
ICST
2009
IEEE
15 years 6 days ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
109
Voted
SEMWEB
2010
Springer
15 years 11 days ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
120
Voted
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...