Corina S. Pasareanu, Darko Marinov
Proceedings of the 23rd International Symposium on Software Testing and Analysis
ISSTA, 2014.

@proceedings{ISSTA-2014,
	acmid         = "2610384",
	address       = "San Jose, California, USA",
	editor        = "Corina S. Pasareanu and Darko Marinov",
	isbn          = "978-1-4503-2645-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd International Symposium on Software Testing and Analysis}",
	year          = 2014,
}

Contents (49 items)

18 ×#testing
13 ×#named
9 ×#web
7 ×#performance
6 ×#analysis
5 ×#automation
5 ×#fault
5 ×#source code
4 ×#detection
4 ×#using

ISSTA-2014-ZhangW #concurrent #parallel #runtime #thread

Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.

ISSTA-2014-PradelHG #concurrent #performance #testing

Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.

ISSTA-2014-ShachamYGABSV #independence #verification

Verifying atomicity via data independence (OS, EY, GGG, AA, NGB, MS, MTV), pp. 26–36.

ISSTA-2014-PastoreMHFSSM #testing

Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.

ISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web

Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.

ISSTA-2014-ZouCZZG #effectiveness #testing #web

Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.

ISSTA-2014-MirzaAghaeiM #test coverage #testing #web

DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.

ISSTA-2014-ChoudharyPO #platform #web

Cross-platform feature matching for web applications (SRC, MRP, AO), pp. 82–92.

ISSTA-2014-MarinescuHC #analysis #evolution #framework #named

Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.

ISSTA-2014-BohmeR #complexity #fault #named

CoREBench: studying complexity of regression errors (MB, AR), pp. 105–115.

ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system

ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.

ISSTA-2014-WeitzKSE #string #type system

A type system for format strings (KW, GK, SS, MDE), pp. 127–137.

ISSTA-2014-MileaJK #detection #refactoring #scalability

Scalable detection of missed cross-function refactorings (NAM, LJ, SCK), pp. 138–148.

ISSTA-2014-BaudryAM #program transformation #source code

Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.

ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using

Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.

ISSTA-2014-GotliebM #named #network #reduction #testing

FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.

ISSTA-2014-AlshahwanH #detection #fault #testing

Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.

ISSTA-2014-LoyolaSKR #automation #named #set

Dodona: automated oracle data set selection (PL, MS, IYK, GR), pp. 193–203.

ISSTA-2014-WuZCK #fault #named

CrashLocator: locating crashing faults based on crash stacks (RW, HZ, SCC, SK), pp. 204–214.

ISSTA-2014-ZuoKS #debugging #mining #performance

Efficient predicated bug signature mining via hierarchical instrumentation (ZZ, SCK, CS), pp. 215–224.

ISSTA-2014-AlkhalafAB #difference #semantics #validation

Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.

ISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.

ISSTA-2014-HendersonPYHWZY #analysis #framework #performance #platform

Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform (AH, AP, LKY, XH, XW, RZ, HY), pp. 248–258.

ISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing

Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.

ISSTA-2014-ArltPW #slicing #testing #user interface

Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.

ISSTA-2014-NistorR #developer #named #performance #predict #problem #smarttech

SunCat: helping developers understand and predict performance problems in smartphone applications (AN, LR), pp. 282–292.

ISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video

A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.

ISSTA-2014-YandrapallyTSC #automation #robust #testing #using

Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.

ISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance

Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.

ISSTA-2014-ZhangC #automation #detection #exception #information management #lightweight

Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.

ISSTA-2014-LiJSCH #energy #optimisation #testing

Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.

ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using

Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.

ISSTA-2014-ZhangYRPK #invariant

Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.

ISSTA-2014-MarianiPRS #named #testing #web

Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.

ISSTA-2014-ZhangJWMLEN #empirical #independence

Empirically revisiting the test independence assumption (SZ, DJ, JW, KM, WL, MDE, DN), pp. 385–396.

ISSTA-2014-LanzaroNWCS #empirical #fault #injection #interface

An empirical study of injected versus actual interface errors (AL, RN, SW, DC, NS), pp. 397–408.

ISSTA-2014-KingNSCM #agile #domain-specific language #named #testing #tool support #web

Legend: an agile DSL toolset for web acceptance testing (TMK, GN, DS, AC, CM), pp. 409–412.

ISSTA-2014-SchurRZ #mining #modelling #multi #named #web

ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.

ISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web

X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.

ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation

Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.

ISSTA-2014-XuZXW #c #named #source code

Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.

ISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing

MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.

ISSTA-2014-Just #analysis #framework #java #mutation testing #performance #scalability

The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.

ISSTA-2014-JustJE #database #fault #java #named #source code #testing

Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.

ISSTA-2014-WeitzSKE #java #string

A format string checker for Java (KW, SS, GK, MDE), pp. 441–444.

ISSTA-2014-TillmannHXB

Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.

ISSTA-2014-Chen #constraints #program analysis #proving #reuse #scalability

Reusing constraint proofs for scalable program analysis (MC), pp. 449–452.

ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web

Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.

ISSTA-2014-Zuo #debugging #performance #statistics

Efficient statistical debugging via hierarchical instrumentation (ZZ), pp. 457–460.