Sciweavers

8398 search results - page 124 / 1680
» Optimal Software Testing
Sort
View
112
Voted
ISSTA
2009
ACM
15 years 9 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 2 months ago
Heuristic approach to optimize the number of test cases for simple circuits
In this paper a new solution is proposed for testing simple stwo stage electronic circuits. It minimizes the number of tests to be performed to determine the genuinity of the circ...
S. M. Thamarai, K. Kuppusamy, T. Meyyappan
ISSTA
2006
ACM
15 years 8 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv
AGILEDC
2005
IEEE
15 years 8 months ago
Experiences Teaching a Course in Programmer Testing
We teach a class on programmer-testing with a primary focus on test-driven development (TDD) as part of the software engineering curriculum at the Florida Institute of Technology....
Andy Tinkham, Cem Kaner