ISSTA 2009 - PDF Preprint Papers

ISSTA 2009 International Symposium on Software Testing and Analysis

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ISSTA-2009 Paper

click to vote

ISSTA
2009
ACM

163views Software Engineering» more ISSTA 2009»

AVA: automated interpretation of dynamically detected anomalies

14 years 6 months ago

Download www.lta.disco.unimib.it

Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...

Anton Babenko, Leonardo Mariani, Fabrizio Pastore

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	163	AVA: automated interpretation of dynamically detected anomalies	claim
2	153	Automatic system testing of programs without test oracles	claim
3	150	Advanced code coverage analysis using substring holes	claim
4	147	A comparative study of programmer-written and automatically inferred contracts	claim
5	146	Precise pointer reasoning for dynamic test generation	claim
6	143	Analyzing singularity channel contracts	claim
7	138	Loop-extended symbolic execution on binary programs	claim
8	135	An annotation assistant for interactive debugging of programs with common synchronization idioms	claim
9	131	Identifying bug signatures using discriminative graph mining	claim
10	127	SideTrack: generalizing dynamic atomicity analysis	claim
11	123	Memory slicing	claim
12	122	Run-time conformance checking of mobile and distributed systems using executable models	claim
13	121	Time-aware test-case prioritization using integer linear programming	claim
14	120	HAMPI: a solver for string constraints	claim
15	119	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs	claim
16	118	Identifying semantic differences in AspectJ programs	claim
17	117	Specifying the worst case: orthogonal modeling of hardware errors	claim
18	112	Exception analysis and points-to analysis: better together	claim
19	109	A formal analysis of requirements-based testing	claim
20	106	Automatic mining of functionally equivalent code fragments via random testing	claim
21	97	Incremental covering array failure characterization in large configuration spaces	claim
22	92	Testing CPU emulators	claim
23	88	Efficient mutation testing by checking invariant violations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers