Sciweavers

3547 search results - page 390 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
VAMOS
2010
Springer
15 years 8 months ago
A Preliminary Review on the Application of Feature Diagrams in Practice
Abstract--For two decades, feature diagrams have been intensively studied as a means to specify variability and pilot configuration in software product line engineering. Surprising...
Arnaud Hubaux, Andreas Classen, Marcílio Me...
WSC
1998
15 years 8 months ago
Architecture for a Non-deterministic Simulation Machine
Causality constraints of random discrete simulation make parallel and distributed processing difficult. Methods of applying reconfigurable logic to implement and accelerate simula...
Marc Bumble, Lee D. Coraor
JOT
2006
75views more  JOT 2006»
15 years 6 months ago
Natures and Perspectives
"Nature" and "Perspective" have similar meaning for Eclipse developers and for personnel in a software product line organization. The nature of product line wo...
John D. McGregor
ICSE
2011
IEEE-ACM
14 years 10 months ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
PLDI
2011
ACM
14 years 9 months ago
Automated atomicity-violation fixing
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben...