3527 search results - page 35 / 706 » Test Automation in Practice |
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
ISORC
1998
IEEE
15 years 2 months ago
1998
IEEE
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...