Proceedings of the Eighth International Conference on Software Testing, Verification and Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.