Sciweavers

3544 search results - page 92 / 709
» Software Testing
Sort
View
ISSTA
2006
ACM
15 years 10 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv
AGILEDC
2005
IEEE
15 years 10 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
FATES
2004
Springer
15 years 10 months ago
Symbolic Test Case Generation for Primitive Recursive Functions
Achim D. Brucker, Burkhart Wolff