Proceedings of the 11th International Conference on Software Testing, Verification and Validation
ICST, 2018.

@proceedings{ICST-2018,
	ee            = "https://ieeexplore.ieee.org/xpl/conhome/8365877/proceeding",
	ee            = "https://www.computer.org/csdl/proceedings/icst/2018/5012/00/index.html",
	isbn          = "978-1-5386-5012-7",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 11th International Conference on Software Testing, Verification and Validation}",
	year          = 2018,
}

Contents (47 items)

ICST-2018-GambiBZ #dependence #detection

Practical Test Dependency Detection (AG, JB0, AZ), pp. 1–11.

ICST-2018-AlsharifKM #database #effectiveness #generative #named #performance #relational #testing

DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas (AA, GMK, PM), pp. 12–22.

ICST-2018-WangPB #automation #case study #constraints #generative #specification #testing

Automated Generation of Constraints from Use Case Specifications to Support System Testing (CW, FP, LCB), pp. 23–33.

ICST-2018-RahmanW #deployment

Characterizing Defective Configuration Scripts Used for Continuous Deployment (AR, LW), pp. 34–45.

ICST-2018-PradhanW00L #mining #multi #named #testing #using

REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization (DP, SW0, SA0, TY0, ML), pp. 46–57.

ICST-2018-ChenZ #mutation testing #testing

Speeding up Mutation Testing via Regression Test Selection: An Extensive Study (LC, LZ), pp. 58–69.

ICST-2018-LoscherS #automation #testing

Automating Targeted Property-Based Testing (AL, KS), pp. 70–80.

ICST-2018-WangTHHSSP #performance #testing

Testing Cloud Applications under Cloud-Uncertainty Performance Effects (WW0, NT, SH, SH, AS, MLS, LLP), pp. 81–92.

ICST-2018-HendersonP #behaviour #control flow #fault #locality

Behavioral Fault Localization by Sampling Suspicious Dynamic Control Flow Subgraphs (TADH, AP), pp. 93–104.

ICST-2018-KorogluSMMUTD #android #named

QBE: QLearning-Based Exploration of Android Applications (YK, AS0, OM, YM, CU, TT, YD), pp. 105–115.

ICST-2018-ElerRGF #automation #mobile #testing

Automated Accessibility Testing of Mobile Apps (MME, JMR, YG, GF), pp. 116–126.

ICST-2018-WangDGG0 #javascript #reduction

Context-Based Event Trace Reduction in Client-Side JavaScript Applications (JW, WD, CG, YG, JW0), pp. 127–138.

ICST-2018-DurieuxHYBM

Exhaustive Exploration of the Failure-Oblivious Computing Search Space (TD, YH, ZY, BB, MM), pp. 139–149.

ICST-2018-SharmaHM #adaptation #reverse engineering

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters (VS, KH, SM), pp. 150–160.

ICST-2018-YangHWK #api #named #sequence

EdSynth: Synthesizing API Sequences with Conditionals and Loops (ZY, JH, KW, SK), pp. 161–171.

ICST-2018-AlegrothKR #industrial #integration #testing #user interface #visual notation

Continuous Integration and Visual GUI Testing: Benefits and Drawbacks in Industrial Practice (EA, AK, AR), pp. 172–181.

ICST-2018-RyouR #automation #detection #fault #html #layout #web

Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages (YR, SR), pp. 182–192.

ICST-2018-BajammalM #testing #visual notation #web

Web Canvas Testing Through Visual Inference (MB, AM0), pp. 193–203.

ICST-2018-JiLCPZ0YL #behaviour #network #nondeterminism #search-based #testing

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing (RJ, ZL, SC, MP, TZ0, SA0, TY0, XL), pp. 204–214.

ICST-2018-MahajanAMH #automation #clustering #search-based #similarity #using #web

Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques (SM, AA, PM, WGJH), pp. 215–226.

ICST-2018-MehneYPSGK #program repair #search-based

Accelerating Search-Based Program Repair (BM, HY, MRP, KS, DG, SK), pp. 227–238.

ICST-2018-KimHKPK #source code #test coverage #testing

Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage (YK, SH, BK, DLP, MK), pp. 239–249.

ICST-2018-ShamshiriRGWF #automation #how #maintenance #question #testing

How Do Automatically Generated Unit Tests Influence Software Maintenance? (SS, JMR, JPG, NW, GF), pp. 250–261.

ICST-2018-MarianiMPRX #fault

Localizing Faults in Cloud Systems (LM, CM, MP, OR, RX), pp. 262–273.

ICST-2018-ZhuPZ #mutation testing #testing

An Investigation of Compression Techniques to Speed up Mutation Testing (QZ, AP, AZ), pp. 274–284.

ICST-2018-HaririSLGKM #approximate

Approximate Transformations as Mutation Operators (FH, AS, OL, MG, SK, SM), pp. 285–296.

ICST-2018-KhosrowjerdiMR #approach #injection #machine learning #testing

Virtualized-Fault Injection Testing: A Machine Learning Approach (HK, KM, AR), pp. 297–308.

ICST-2018-HemmatiS #predict #testing

Investigating NLP-Based Approaches for Predicting Manual Test Case Failure (HH, FS), pp. 309–319.

ICST-2018-FengJ0F #classification #empirical #multi #problem

An Empirical Study on Software Failure Classification with Multi-label and Problem-Transformation Techniques (YF0, JAJ, ZC0, CF), pp. 320–330.

ICST-2018-TimperleyAKHG #debugging #detection #question #simulation

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? (CST, AA, DSK, JMH, CLG), pp. 331–342.

ICST-2018-PrauseGG #automation #tool support #verification

Evaluating Automated Software Verification Tools (CP, RG, RG), pp. 343–353.

ICST-2018-DebroyBYE #automation #case study #experience #industrial #lessons learnt #testing #web

Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting (VD, LB, MY, AE), pp. 354–362.

ICST-2018-WalterSPR #clustering #execution #independence #order #performance

Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps (BW, MS, MP, SR), pp. 363–373.

ICST-2018-SchwarzlH #framework #low cost #platform #testing

Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems (CS, JH), pp. 374–383.

ICST-2018-RayROMO #energy #framework #security #testing

Bluetooth Low Energy Devices Security Testing Framework (AR, VR, MO, AM, SO), pp. 384–393.

ICST-2018-Arcuri #automation #generative #multi #named #testing

EvoMaster: Evolutionary Multi-context Automated System Test Generation (AA), pp. 394–397.

ICST-2018-SullivanWK #alloy #automation #named #testing

AUnit: A Test Automation Tool for Alloy (AS, KW, SK), pp. 398–403.

ICST-2018-RibeiroSACK #fault #locality #named

Jaguar: A Spectrum-Based Fault Localization Tool for Real-World Software (HLR, HAdS, RPAdA, MLC, FK), pp. 404–409.

ICST-2018-RaposC #evolution #maintenance #named #tool support

SimEvo: A Toolset for Simulink Test Evolution & Maintenance (EJR, JRC), pp. 410–415.

ICST-2018-HodovanK #composition #framework #named #open source #random testing #testing

Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.

ICST-2018-Rajaram #fault #taxonomy #testing #using

Taxonomy Based Testing Using SW91, a Medical Device Software Defect Taxonomy (HKR), pp. 422–423.

ICST-2018-Wang #assessment #automation #maturity #testing

Test Automation Maturity Assessment (YW), pp. 424–425.

ICST-2018-Balogh

Software Systems, Their Engineers and Their Testers (GB), pp. 426–427.

ICST-2018-Listenmaa #natural language #testing

Testing Natural Language Grammars (IL), pp. 428–429.

ICST-2018-Suarez-Otero #analysis #consistency #logic

Analysis of the Logical Consistency in Cassandra (PSO), pp. 430–431.

ICST-2018-PiresA #generative #information management #metamodelling #testing

Knowledge Discovery Metamodel-Based Unit Test Cases Generation (JPP, FBeA), pp. 432–433.

ICST-2018-Rahman #framework

Anti-Patterns in Infrastructure as Code (AR), pp. 434–435.