Sciweavers

4722 search results - page 564 / 945
» Encoding Program Executions
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
16 years 4 days 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
16 years 3 days 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
IWDC
2004
Springer
120views Communications» more  IWDC 2004»
16 years 3 days 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...
CGO
2003
IEEE
16 years 1 days 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
16 years 14 hour 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