David S. Rosenblum, Sebastian G. Elbaum
Proceedings of the 16th International Symposium on Software Testing and Analysis
ISSTA, 2007.

@proceedings{ISSTA-2007,
	address       = "London, England, United Kingdom",
	editor        = "David S. Rosenblum and Sebastian G. Elbaum",
	isbn          = "978-1-59593-734-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Symposium on Software Testing and Analysis}",
	year          = 2007,
}

Contents (24 items)

5 ×#testing
4 ×#automation
4 ×#performance
3 ×#debugging
3 ×#execution
3 ×#using
2 ×#analysis
2 ×#detection
2 ×#fault
2 ×#generative

ISSTA-2007-EnglerD #automation #execution #scalability

Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.

ISSTA-2007-NainarCRL #debugging #statistics #using

Statistical debugging using compound boolean predicates (PAN, TC, JR, BL), pp. 5–15.

ISSTA-2007-JonesHB #debugging #parallel

Debugging in Parallel (JAJ, MJH, JFB), pp. 16–26.

ISSTA-2007-TzorefUY #automation #concurrent #debugging

Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.

ISSTA-2007-HughesB #composition #interface #model checking

Interface grammars for modular software model checking (GH, TB), pp. 39–49.

ISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code

Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.

ISSTA-2007-ManoliosVS #assembly #automation #component

Automating component-based system assembly (PM, DV, GS), pp. 61–72.

ISSTA-2007-HarmanM #empirical #generative #testing

A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation (MH, PM), pp. 73–83.

ISSTA-2007-CiupaLOM #assessment #object-oriented #random testing #testing

Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.

ISSTA-2007-Trew #testing

Chasing rainbows: improving software testing in the real world (TT), pp. 95–96.

ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime

Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.

ISSTA-2007-Koster #consistency #quality #using

Using portfolio theory for better and more consistent quality (KK), pp. 108–117.

ISSTA-2007-DufourRS #analysis #comprehension #performance

Blended analysis for performance understanding of framework-based applications (BD, BGR, GS), pp. 118–128.

ISSTA-2007-CohenDS #configuration management #constraints #interactive #testing

Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.

ISSTA-2007-YooH #multi #performance #testing

Pareto efficient multi-objective test case selection (SY, MH), pp. 140–150.

ISSTA-2007-EmmiMS #database #generative

Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.

ISSTA-2007-ChangPY #approach #what

Finding what’s not there: a new approach to revealing neglected conditions in software (RYC, AP, JY), pp. 163–173.

ISSTA-2007-ShohamYFP #abstraction #mining #specification #using

Static specification mining using automata-based abstractions (SS, EY, SF, MP), pp. 174–184.

ISSTA-2007-XinZ #dependence #detection #online #performance

Efficient online detection of dynamic control dependence (BX, XZ), pp. 185–195.

ISSTA-2007-ClauseLO #analysis #framework #named

Dytan: a generic dynamic taint analysis framework (JAC, WL, AO), pp. 196–206.

ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.

ISSTA-2007-OstrandWB #algorithm #automation #identification

Automating algorithms for the identification of fault-prone files (TJO, EJW, RMB), pp. 219–227.

ISSTA-2007-WangR #slicing

Hierarchical dynamic slicing (TW, AR), pp. 228–238.

ISSTA-2007-RenR #fault #heuristic #java #locality #ranking

Heuristic ranking of java program edits for fault localization (XR, BGR), pp. 239–249.