Sciweavers

3547 search results - page 22 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
INLG
2010
Springer
14 years 9 months ago
Generating Natural Language Descriptions of Z Test Cases
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
Maximiliano Cristiá, Brian Plüss
JOT
2010
173views more  JOT 2010»
14 years 10 months ago
A Dependence Representation for Coverage Testing of Object-Oriented Programs
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
E. S. F. Najumudheen, Rajib Mall, Debasis Samanta
SIGSOFT
2007
ACM
16 years 15 days ago
Contract driven development = test driven development - writing test cases
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...
ICSE
2011
IEEE-ACM
14 years 3 months ago
ReAssert: a tool for repairing broken unit tests
Successful software systems continuously change their requirements and thus code. When this happens, some existing tests get broken because they no longer reflect the intended be...
Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jaga...