Sciweavers

516 search results - page 47 / 104
» Execution replay and debugging
Sort
View
STEP
2003
IEEE
14 years 29 days ago
Metamorphic Testing and Beyond
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan...
VL
2003
IEEE
151views Visual Languages» more  VL 2003»
14 years 29 days ago
JAN -Java animation for program understanding
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
Klaus-Peter Löhr, André Vratislavsky
CAV
2010
Springer
201views Hardware» more  CAV 2010»
13 years 11 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang
SIGSOFT
2010
ACM
13 years 2 months ago
Guided recovery for web service applications
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
SOSP
2007
ACM
14 years 4 months ago
Triage: diagnosing production run failures at the user's site
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanth...