Sciweavers

3547 search results - page 24 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
SIGSOFT
2010
ACM
14 years 9 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
SQJ
2002
110views more  SQJ 2002»
14 years 11 months ago
A General Model of Unit Testing Efficacy
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
Houman Younessi, Panlop Zeephongsekul, Winai Bodhi...
ICST
2011
IEEE
14 years 3 months ago
It is Not the Length That Matters, It is How You Control It
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
Gordon Fraser, Andrea Arcuri
COMPSAC
2007
IEEE
15 years 6 months ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou
IMCSIT
2010
14 years 9 months ago
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
Haffar Mohamad, Thiriet Jean Marc