Sciweavers

293 search results - page 17 / 59
» Modeling bug report quality
Sort
View
SIGSOFT
2006
ACM
15 years 3 months ago
Detecting increases in feature coupling using regression tests
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
Olivier Giroux, Martin P. Robillard
EUROMICRO
1998
IEEE
15 years 1 months ago
Software Quality Assurance - Concepts and Misconceptions
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
Per Runeson, Peter Isacsson
OSDI
2002
ACM
15 years 10 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
64
Voted
BPM
2007
Springer
125views Business» more  BPM 2007»
15 years 3 months ago
What Makes Process Models Understandable?
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
Jan Mendling, Hajo A. Reijers, Jorge Cardoso
PPOPP
2005
ACM
15 years 3 months ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster