Sciweavers

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