Sciweavers

3547 search results - page 90 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
GROUP
2007
ACM
15 years 10 months ago
Users as contextual features of software product development and testing
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...
David Martin, John Rooksby, Mark Rouncefield
FATES
2003
Springer
16 years 21 hour ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ICSE
2003
IEEE-ACM
16 years 6 months ago
Fragment Class Analysis for Testing of Polymorphism in Java Software
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
CSEE
2007
Springer
16 years 1 months ago
Practice and Transfer of Learning in the Teaching of Software Testing
Many university classes and commercial training courses rely on classroom lecture and practice exercises to help students learn new skills. The thesis work described in this paper...
Cem Kaner, Sowmya Padmanabhan
IJCAI
2007
15 years 8 months ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...