Gregg Rothermel, Laura K. Dillon
Proceedings of the 18th International Symposium on Software Testing and Analysis
ISSTA, 2009.

@proceedings{ISSTA-2009,
	address       = "Chicago, Illinois, USA",
	editor        = "Gregg Rothermel and Laura K. Dillon",
	isbn          = "978-1-60558-338-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 18th International Symposium on Software Testing and Analysis}",
	year          = 2009,
}

Contents (25 items)

10 ×#testing
5 ×#automation
4 ×#analysis
4 ×#identification
4 ×#using
3 ×#named
3 ×#source code
2 ×#contract
2 ×#detection
2 ×#effectiveness

ISSTA-2009-BravenboerS #analysis #exception #points-to

Exception analysis and points-to analysis: better together (MB, YS), pp. 1–12.

ISSTA-2009-StengelB #contract

Analyzing singularity channel contracts (ZS, TB), pp. 13–24.

ISSTA-2009-GorgZ #aspectj #difference #identification #semantics #source code

Identifying semantic differences in AspectJ programs (MTG, JZ), pp. 25–36.

ISSTA-2009-AdlerFKPRSUZ #analysis #string #test coverage #using

Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.

ISSTA-2009-PecheurRB #analysis #formal method #testing

A formal analysis of requirements-based testing (CP, FR, GB), pp. 47–56.

ISSTA-2009-NaminA #effectiveness #testing

The influence of size and coverage on test suite effectiveness (ASN, JHA), pp. 57–68.

ISSTA-2009-SchulerDZ #invariant #mutation testing #performance #testing

Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.

ISSTA-2009-JiangS #automation #mining #random testing #testing

Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.

ISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract

A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.

ISSTA-2009-KiezunGGHE #constraints #named #string

HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.

ISSTA-2009-SaebjornsenWPQS #bytecode #detection

Detecting code clones in binary executables (AS, JW, TP, DJQ, ZS), pp. 117–128.

ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing

Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.

ISSTA-2009-ChengLZWY #debugging #graph #identification #mining #using

Identifying bug signatures using discriminative graph mining (HC, DL, YZ, XW, XY), pp. 141–152.

ISSTA-2009-SinhaSGJKH #exception #fault #java #locality #runtime

Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.

ISSTA-2009-XinZ #memory management #slicing

Memory slicing (BX, XZ), pp. 165–176.

ISSTA-2009-FoucheCP #array #incremental #scalability

Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.

ISSTA-2009-MurphySK #automation #source code #testing

Automatic system testing of programs without test oracles (CM, KS, GEK), pp. 189–200.

ISSTA-2009-YooHTS #clustering #effectiveness #scalability #testing

Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge (SY, MH, PT, AS), pp. 201–212.

ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using

Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.

ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation

Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.

ISSTA-2009-BabenkoMP #automation #detection #named

AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.

ISSTA-2009-ClauseO #automation #identification #named #using

Penumbra: automatically identifying failure-relevant inputs using dynamic tainting (JAC, AO), pp. 249–260.

ISSTA-2009-MartignoniPRB #cpu #testing

Testing CPU emulators (LM, RP, GFR, DB), pp. 261–272.

ISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification

Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.

ISSTA-2009-HalfondAO #analysis #identification #interface #precise #testing #web

Precise interface identification to improve testing and analysis of web applications (WGJH, SA, AO), pp. 285–296.