Sciweavers

3547 search results - page 125 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
170
Voted
PASTE
2005
ACM
16 years 15 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
SIGSOFT
2007
ACM
16 years 7 months ago
Quantifying the effectiveness of testing via efficient residual path profiling
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
174
Voted
JSS
2000
97views more  JSS 2000»
15 years 6 months ago
Exploring the relationships between design measures and software quality in object-oriented systems
The first goal of this paper is to empirically explore the relationships between existing object-oriented coupling, cohesion, and inheritance measures and the probability of fault...
Lionel C. Briand, Jürgen Wüst, John W. D...
184
Voted
ISJ
2002
84views more  ISJ 2002»
15 years 6 months ago
Transaction attributes and software outsourcing success: an empirical investigation of transaction cost theory
In recent years, an increasing amount of attention has been paid to information systems (IS) outsourcing by practitioners as well as academics. However, our understanding of the fa...
Eric T. G. Wang
150
Voted
JSS
2002
67views more  JSS 2002»
15 years 6 months ago
Fundamental principles of software engineering - a journey
A set of fundamental principles can act as an enabler in the establishment of a discipline; however, software engineering still lacks a set of universally recognized fundamental p...
Pierre Bourque, Robert Dupuis, Alain Abran, James ...