Michal Young, Tao Xie
Proceedings of the 24th International Symposium on Software Testing and Analysis
ISSTA, 2015.

@proceedings{ISSTA-2015,
	acmid         = "2771783",
	address       = "Baltimore, Maryland, USA",
	editor        = "Michal Young and Tao Xie",
	isbn          = "978-1-4503-3620-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 24th International Symposium on Software Testing and Analysis}",
	year          = 2015,
}

Contents (35 items)

14 ×#testing
9 ×#automation
8 ×#named
6 ×#detection
6 ×#generative
4 ×#android
4 ×#fault
3 ×#analysis
3 ×#case study
3 ×#constraints

ISSTA-2015-WangPO #fault #locality

Evaluating the usefulness of IR-based fault localization techniques (QW, CP, AO), pp. 1–11.

ISSTA-2015-ZhangE #detection #fault

Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.

ISSTA-2015-QiLAR #analysis #correctness #generative

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.

ISSTA-2015-Hothersall-Thomas #automation #named #security #testing

BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.

ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling

Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.

ISSTA-2015-DahseH #case study #empirical #experience #php #security

Experience report: an empirical study of PHP security mechanism usage (JD, TH), pp. 60–70.

ISSTA-2015-WangGMC #android #approach #clone detection #detection #named #scalability

WuKong: a scalable and accurate two-phase approach to Android app clone detection (HW, YG, ZM, XC), pp. 71–82.

ISSTA-2015-AdamsenMM #android #execution #testing

Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.

ISSTA-2015-GongPSS #javascript #named

DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.

ISSTA-2015-HuangDMD #analysis #android #precise #scalability

Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.

ISSTA-2015-HayTP #android #communication #detection

Dynamic detection of inter-application communication vulnerabilities in Android (RH, OT, MP), pp. 118–128.

ISSTA-2015-ClappAA #data flow #mining #named #specification

Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.

ISSTA-2015-Narayanaswamy #concurrent #performance

When truth is efficient: analysing concurrency (GN), pp. 141–152.

ISSTA-2015-DhokMR #automation #named #parallel #thread

Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.

ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.

ISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation #using

Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.

ISSTA-2015-XieLLLC #automation #multi #named #string #summary

S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.

ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.

ISSTA-2015-GligoricEM #dependence #testing

Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.

ISSTA-2015-GyoriSHM #dependence #detection #reliability #testing

Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.

ISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance #testing

Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.

ISSTA-2015-TanXCSLD #algorithm #optimisation

Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.

ISSTA-2015-BarrHJMP #automation

Automated software transplantation (ETB, MH, YJ, AM, JP), pp. 257–269.

ISSTA-2015-ShenLPG #automation #detection #performance #profiling #search-based #using

Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.

ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.

ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability

Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.

ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse

Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.

ISSTA-2015-YatohSIH #generative #random testing #testing

Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.

ISSTA-2015-LeSS #random

Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.

ISSTA-2015-RojasFA #automation #development #empirical #generative #testing

Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.

ISSTA-2015-SatoHC #testing

Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.

ISSTA-2015-CongLYX #automation #fault #injection #robust #testing

Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.

ISSTA-2015-MusluBM #fault #testing

Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.

ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing

Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.

ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing

RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.