Mauro Pezzè, Mark Harman
Proceedings of the 22nd International Symposium on Software Testing and Analysis
ISSTA, 2013.

@proceedings{ISSTA-2013,
	acmid         = "2483760",
	address       = "Lugano, Switzerland",
	editor        = "Mauro Pezzè and Mark Harman",
	isbn          = "978-1-4503-2159-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd International Symposium on Software Testing and Analysis}",
	year          = 2013,
}

Contents (38 items)

13 ×#testing
6 ×#concurrent
6 ×#generative
5 ×#automation
4 ×#analysis
4 ×#fault
4 ×#named
4 ×#parallel
4 ×#performance
3 ×#source code

ISSTA-2013-YiQTR #contract

Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.

ISSTA-2013-ChocklerEY #concurrent #fault

Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.

ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement

Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.

ISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface

Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.

ISSTA-2013-ZhangLE #automation #evolution #user interface #workflow

Automatically repairing broken workflows for evolving GUI applications (SZ, HL, MDE), pp. 45–55.

ISSTA-2013-TsankovDB #testing

Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.

ISSTA-2013-JensenPM #automation #generative #sequence #testing

Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.

ISSTA-2013-LiHHG #android #energy

Calculating source line level energy information for Android applications (DL, SH, WGJH, RG), pp. 78–89.

ISSTA-2013-XiaoHZX #identification #performance

Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (XX, SH, DZ, TX), pp. 90–100.

ISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing

Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.

ISSTA-2013-LiCWX #memory management #validation

Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.

ISSTA-2013-BarrBM

Collecting a heap of shapes (ETB, CB, MM), pp. 123–133.

ISSTA-2013-ParkHV #comprehension #concurrent #data access #debugging #named

Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs (SP, MJH, RWV), pp. 134–144.

ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread

Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.

ISSTA-2013-LuoR #named #parallel #runtime #source code #thread

EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.

ISSTA-2013-YuSR #automation #framework #named #testing

SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.

ISSTA-2013-RadoiD #concurrent #detection #java #parallel

Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.

ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #program repair #using

Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.

ISSTA-2013-NijjarB

Data model property inference and repair (JN, TB), pp. 202–212.

ISSTA-2013-JinO #fault #locality #named

F3: fault localization for field failures (WJ, AO), pp. 213–223.

ISSTA-2013-GligoricZPP #concurrent #mutation testing #testing

Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.

ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing

Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.

ISSTA-2013-SamimiHFM #declarative

Declarative mocking (HS, RH, AF, TDM), pp. 246–256.

ISSTA-2013-KifetewPLOT #generative #orthogonal #testing

Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.

ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning

Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.

ISSTA-2013-PurandareDE #finite #monitoring #optimisation

Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.

ISSTA-2013-FraserSMAP #automation #generative #question #testing

Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.

ISSTA-2013-GligoricGZSAM #test coverage #testing #using

Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.

ISSTA-2013-SteimannFA #empirical #fault

Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators (FS, MF, RA), pp. 314–324.

ISSTA-2013-HillsKV #empirical #perspective #php #static analysis

An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.

ISSTA-2013-WeiR #analysis #javascript

Practical blended taint analysis for JavaScript (SW, BGR), pp. 336–346.

ISSTA-2013-TrippWG #approach #learning #security #testing #web

Finding your way in the testing jungle: a learning approach to web security testing (OT, OW, LG), pp. 347–357.

ISSTA-2013-Park #concurrent #debugging

Debugging non-deadlock concurrency bugs (SP), pp. 358–361.

ISSTA-2013-HanazumiM #generative #java #source code

Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.

ISSTA-2013-Buda #database #generative #testing #using

Generation of test databases using sampling methods (TSB), pp. 366–369.

ISSTA-2013-Ghaith #analysis #performance #testing #transaction

Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.

ISSTA-2013-Thum #contract #feature model #product line #verification

Product-line verification with feature-oriented contracts (TT), pp. 374–377.

ISSTA-2013-Bonacchi #case study #proving #safety

Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.