Proceedings of the 18th International Symposium on Software Testing and Analysis
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.