Proceedings of the Eighth International Conference on Software Testing, Verification and Validation
ICST, 2015.

@proceedings{ICST-2015,
	address       = "Graz, Austria",
	isbn          = "978-1-4799-7125-1",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the Eighth International Conference on Software Testing, Verification and Validation}",
	year          = 2015,
}

Event page: http://icst2015.ist.tugraz.at/

Contents (60 items)

39 ×#testing
10 ×#modelling
9 ×#named
8 ×#using
7 ×#generative
5 ×#detection
5 ×#development
4 ×#automation
4 ×#execution
4 ×#industrial

ICST-2015-0001YPGS #analysis #generative #testing #using

Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.

ICST-2015-AlegrothBB #case study #empirical #industrial #on the

On the Industrial Applicability of TextTest: An Empirical Case Study (EA, GB, EB), pp. 1–10.

ICST-2015-AlegrothGOM #component #concept #empirical #evaluation #testing #user interface #visual notation

Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study (EA, ZG, RAPdO, AM), pp. 1–10.

ICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism #testing

U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.

ICST-2015-AppeltNB #injection #question #sql

Behind an Application Firewall, Are We Safe from SQL Injection Attacks? (DA, CDN, LCB), pp. 1–10.

ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing

Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.

ICST-2015-ArltMPW #dependence #testing

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.

ICST-2015-BaiSP #fault #named #using

NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.

ICST-2015-BardinDDKPTM #detection #requirements

Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.

ICST-2015-BrajnikBF #integration #latency #modelling #testing #web

Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.

ICST-2015-CarboneCPP #identification #security #testing

Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.

ICST-2015-CastillosWW #approach

Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.

ICST-2015-CseppentoM #symbolic computation #tool support

Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.

ICST-2015-ErmanTBRA #approach #automation #clustering #development #information management #multi #navigation #testing

Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.

ICST-2015-FarzanHV #concurrent #execution #testing

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.

ICST-2015-Felbinger #assessment #model inference #quality #testing #using

Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.

ICST-2015-HalleBGB #constraints #layout #testing #web

Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.

ICST-2015-HarmanJZ #challenge #problem #testing

Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.

ICST-2015-Haser #integration #testing

Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.

ICST-2015-HemmatiFM #agile #testing

Prioritizing Manual Test Cases in Traditional and Rapid Release Environments (HH, ZF, MVM), pp. 1–10.

ICST-2015-HerboldFGHHKMMN #framework #platform #testing

The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.

ICST-2015-Holleis #development #embedded #industrial #testing #workflow

Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.

ICST-2015-HonfiVM #execution #named #symbolic computation #visualisation

SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.

ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing

Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.

ICST-2015-JensenTSC #generative #testing

Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.

ICST-2015-KobashiYWFYOK #design pattern #named #security #testing #verification

TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.

ICST-2015-KochharTNZL #automation #comprehension #developer #testing

Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.

ICST-2015-KorosecP #agile #matrix

Supporting the Transition to an Agile Test Matrix (RK, RP), pp. 1–2.

ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml

MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.

ICST-2015-KunzleW #development #testing

A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.

ICST-2015-LelliBB #fault #user interface

Classifying and Qualifying GUI Defects (VL, AB, BB), pp. 1–10.

ICST-2015-LeottaSRT #multi #robust #testing #using #web

Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.

ICST-2015-LiEGO #big data #framework #scalability

A Scalable Big Data Test Framework (NL, AE, YG, JO), pp. 1–2.

ICST-2015-Lorber #modelling #mutation testing #realtime #testing

Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.

ICST-2015-MahajanH #detection #html #locality #using

Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.

ICST-2015-MahajanH15a #debugging #html #named

WebSee: A Tool for Debugging HTML Presentation Failures (SM, WGJH), pp. 1–8.

ICST-2015-MidtgaardM #static analysis

QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.

ICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing

JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.

ICST-2015-MohacsiFB #case study #modelling #performance #testing

A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.

ICST-2015-MondalHD #multi #test coverage #testing

Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.

ICST-2015-NardoPB #analysis #generative #modelling #mutation testing #testing

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.

ICST-2015-NoguchiWFSO #black box #optimisation #testing #using

History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.

ICST-2015-Oriol #embedded #legacy #re-engineering #testing

Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.

ICST-2015-PanichellaKT #branch #optimisation #problem

Reformulating Branch Coverage as a Many-Objective Optimization Problem (AP, FMK, PT), pp. 1–10.

ICST-2015-PankumhangR #test coverage

Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.

ICST-2015-PouldingF #generative #testing

Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.

ICST-2015-Rapos #co-evolution #industrial #modelling #testing

Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.

ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

ICST-2015-RodriguesBCZO #modelling #named #performance #testing

PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.

ICST-2015-Salloum #data transformation #development #information management #integration #process

Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process (CES), pp. 1–3.

ICST-2015-SantosC #agile #challenge #industrial #mobile #testing #using

Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.

ICST-2015-Tiran #incremental #modelling #mutation testing #testing

Incremental Model-Based Mutation Testing (ST), pp. 1–2.

ICST-2015-TokcanOT #automation #development #framework #multi #named #testing

MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.

ICST-2015-WanJLH #android #detection #energy

Detecting Display Energy Hotspots in Android Apps (MW, YJ, DL, WGJH), pp. 1–10.

ICST-2015-Werner

Fluently Reading, Writing and Speaking Hexadecimal with Gepetto’s Help (DW), pp. 1–5.

ICST-2015-XuLCK #approach #bound #detection #lightweight #thread

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.

ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing

Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.

ICST-2015-YiYGWLZ #execution #symbolic computation

Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.

ICST-2015-YuC #embedded #generative #stack #testing #worst-case

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.

ICST-2015-ZhangAC #exclamation #model checking #verification

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.