4079 search results - page 573 / 816 » Differential Testing for Software |
170
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
131
click to vote
BCSHCI
2008
15 years 5 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
127
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Association mapping using abundant single nucleotide polymorphisms is a powerful tool for identifying disease susceptibility genes for complex traits and exploring pos...
120
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
151
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...