Paolo Tonella, Alessandro Orso
Proceedings of the 19th International Symposium on Software Testing and Analysis
ISSTA, 2010.

@proceedings{ISSTA-2010,
	address       = "Trento, Italy",
	editor        = "Paolo Tonella and Alessandro Orso",
	isbn          = "978-1-60558-823-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th International Symposium on Software Testing and Analysis}",
	year          = 2010,
}

Contents (26 items)

11 ×#testing
6 ×#automation
5 ×#analysis
4 ×#fault
4 ×#generative
3 ×#execution
3 ×#symbolic computation
2 ×#dependence
2 ×#detection
2 ×#effectiveness

ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety

Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.

ISSTA-2010-BaoZLZX #analysis #data flow #dependence #information management #strict

Strict control dependence and its effect on dynamic information flow analyses (TB, YZ, ZL, XZ, DX), pp. 13–24.

ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification

Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.

ISSTA-2010-CarbinR #automation #identification

Automatically identifying critical input regions and code in applications (MC, MCR), pp. 37–48.

ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing

Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.

ISSTA-2010-WeiPFSBMZ #automation #contract #source code

Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.

ISSTA-2010-BaahPH #fault #locality #statistics

Causal inference for statistical fault localization (GKB, AP, MJH), pp. 73–84.

ISSTA-2010-DallmeierKMHZ #generative #mining #specification #testing

Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.

ISSTA-2010-DobolyiW #fault #modelling #testing #web

Modeling consumer-perceived web application fault severities for testing (KD, WW), pp. 97–106.

ISSTA-2010-KwonS #automation #component #detection

Automatic detection of unsafe component loadings (TK, ZS), pp. 107–118.

ISSTA-2010-GruskaWZ #detection #learning #lightweight

Learning from 6, 000 projects: lightweight cross-project anomaly detection (NG, AW, AZ), pp. 119–130.

ISSTA-2010-TangBLS #analysis #float #statistics

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.

ISSTA-2010-Jiang #analysis #automation #testing

Automated analysis of load testing results (ZMJ), pp. 143–146.

ISSTA-2010-FraserZ #generative #testing

Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.

ISSTA-2010-JaygarlKXC #automation #named #testing

OCAT: object capture-based automated testing (HJ, SK, TX, CKC), pp. 159–170.

ISSTA-2010-MartignoniPRB #testing #virtual machine

Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.

ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing

Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.

ISSTA-2010-SantelicesH #dependence #execution #multi #scalability #symbolic computation

Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.

ISSTA-2010-DanielGM #execution #on the #symbolic computation #using

On test repair using symbolic execution (BD, TG, DM), pp. 207–218.

ISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #random testing #testing

Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.

ISSTA-2010-KettunenKTS #case study #process #testing

A study on agility and testing processes in software organizations (VK, JK, OT, KS), pp. 231–240.

ISSTA-2010-AyewahP

The Google FindBugs fixit (NA, WP), pp. 241–252.

ISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using

Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.

ISSTA-2010-PaleariMRB #difference #testing

N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.

ISSTA-2010-OstrandW #fault #predict

Software fault prediction tool (TJO, EJW), pp. 275–278.

ISSTA-2010-Romero-MarionaZR #automation #named #requirements

ASSURE: automated support for secure and usable requirements engineering (JRM, HZ, DJR), pp. 279–282.