Sciweavers

4722 search results - page 564 / 945
» Encoding Program Executions
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 10 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
GECCO
2004
Springer
15 years 10 months ago
Hybridizing Evolutionary Testing with the Chaining Approach
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
Phil McMinn, Mike Holcombe
152
Voted
IWDC
2004
Springer
120views Communications» more  IWDC 2004»
15 years 10 months ago
SCIDS: A Soft Computing Intrusion Detection System
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
Ajith Abraham, Ravi Jain, Sugata Sanyal, Sang-Yong...
144
Voted
CGO
2003
IEEE
15 years 10 months ago
Jumbo: Run-Time Code Generation for Java and Its Applications
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
Sam Kamin, Lars Clausen, Ava Jarvis
ICSM
2003
IEEE
15 years 9 months ago
Testing with Respect to Concerns
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
Amie L. Souter, David Shepherd, Lori L. Pollock