Sciweavers

5159 search results - page 32 / 1032
» Structural Testing of Executables
Sort
View
ICSM
2007
IEEE
15 years 8 months ago
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
Shrinivas Joshi, Alessandro Orso
87
Voted
AIPS
1994
15 years 3 months ago
Synthesizing Protection Monitors from Causal Structure
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting e...
Glen A. Reece, Austin Tate
124
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
XPU
2005
Springer
15 years 7 months ago
Examining Usage Patterns of the FIT Acceptance Testing Framework
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...
Kris Read, Grigori Melnik, Frank Maurer
131
Voted
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 7 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...