Sciweavers

3547 search results - page 70 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ICSM
2007
IEEE
16 years 18 days ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
ICSE
2011
IEEE-ACM
14 years 9 months ago
Mental models and parallel program maintenance
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
Caitlin Sadowski
ISSRE
2003
IEEE
15 years 11 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...
AGILEDC
2004
IEEE
15 years 10 months ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato
BIRTHDAY
2006
Springer
15 years 10 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke