Sciweavers

3547 search results - page 40 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
FATES
2006
Springer
15 years 3 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
ESEC
1987
Springer
15 years 3 months ago
TRICS: A Testing Tool for C
Barbara Raither, Leon J. Osterweil
FASE
2008
Springer
15 years 1 months ago
Contextual Integration Testing of Classes
Giovanni Denaro, Alessandra Gorla, Mauro Pezz&egra...
ICTAC
2009
Springer
14 years 9 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
ISSRE
2010
IEEE
14 years 10 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra