Proceedings of the Sixth IEEE 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 Sixth IEEE International Conference on Software Testing, Verification and Validation
ICST, 2013.

TEST
DBLP
Scholar
CSDL
Full names Links ISxN
@proceedings{ICST-2013,
	address       = "Luxembourg, Luxembourg",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2013/4968/00/index.html",
	isbn          = "978-1-4673-5961-0",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation}",
	year          = 2013,
}

Event page: http://www.icst.lu/

Contents (71 items)

ICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICST-2013-PezzeRW #effectiveness #generative #integration #testing
Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
ICST-2013-KapfhammerMW #constraints #database #multi #relational #search-based #testing
Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems (GMK, PM, CJW), pp. 31–40.
ICST-2013-NetterGB #composition #framework #modelling #simulation #validation
Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
ICST-2013-TangHYW #metric #quality #using
Test Quality Measurement Using TBPP-R (JT, RH, JY, SW), pp. 48–55.
ICST-2013-AlegrothFO #automation #case study #industrial #testing
Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.
ICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #testing #user interface
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.
ICST-2013-KaushikATLL #challenge #fault #industrial
Defect Prioritization in the Software Industry: Challenges and Opportunities (NK, MA, LT, WL, SL), pp. 70–73.
ICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing
Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICST-2013-DengOL #empirical #evaluation
Empirical Evaluation of the Statement Deletion Mutation Operator (LD, JO, NL), pp. 84–93.
ICST-2013-NairVSB #assessment #classification #overview #perspective #safety
Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.
ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ICST-2013-RosslerZFZC
Reconstructing Core Dumps (JR, AZ, GF, CZ, GC), pp. 114–123.
ICST-2013-ShuSPC #fault #locality #named
MFL: Method-Level Fault Localization with Causal Inference (GS, BS, AP, FC), pp. 124–133.
ICST-2013-HillTB #bound #c++ #named
GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.
ICST-2013-SteenbuckF #concurrent #generative #testing
Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing
Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICST-2013-LinD #concurrent #java #using
CHECK-THEN-ACT Misuse of Java Concurrent Collections (YL, DD), pp. 164–173.
ICST-2013-GrechanikHB #database #testing
Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.
ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling #testing
Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.
ICST-2013-ErikssonLO #empirical #framework #independence #platform #testing
Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICST-2013-AliYB #empirical #quality #robust #state machine #testing
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.
ICST-2013-CzemerinskiBU #abstraction #behaviour #black box
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
ICST-2013-HongSAKR #concurrent #effectiveness #metric #testing
The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
ICST-2013-CanforaLPOPP #fault #multi #predict
Multi-objective Cross-Project Defect Prediction (GC, ADL, MDP, RO, AP, SP), pp. 252–261.
ICST-2013-CarrozzaCNPR #analysis #industrial #predict
Analysis and Prediction of Mandelbugs in an Industrial Software System (GC, DC, RN, RP, SR), pp. 262–271.
ICST-2013-Roper #fault #testing
Estimating Fault Numbers Remaining After Testing (MR), pp. 272–281.
ICST-2013-LiuYTH #automation #debugging #generative #named
R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
ICST-2013-YuQAR #testing
Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.
ICST-2013-NardoABL #case study #industrial #testing
Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.
ICST-2013-ArafeenD #clustering #testing #using
Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.
ICST-2013-GreilerDS #automation #detection #smell
Automated Detection of Test Fixture Strategies and Smells (MG, AvD, MADS), pp. 322–331.
ICST-2013-DolstraVP #crowdsourcing #testing #user interface
Crowdsourcing GUI Tests (ED, RV, JAP), pp. 332–341.
ICST-2013-PastoreMF #named #problem #question
CrowdOracles: Can the Crowd Solve the Oracle Problem? (FP, LM, GF), pp. 342–351.
ICST-2013-AfshanMS #evolution #natural language #string #testing #using
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
ICST-2013-FraserA #challenge #generative #named #testing
EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICST-2013-YuLKK #combinator #generative #named #testing
ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICST-2013-CalvagnaGV #combinator #interactive #testing
Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.
ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
ICST-2013-LegeardB #enterprise #modelling #testing
Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.
ICST-2013-LuchscheiderHG #named #testing
CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.
ICST-2013-ShuSHP #analysis #dependence #framework #named #platform
JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
ICST-2013-PastoreM #debugging #named
AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.
ICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICST-2013-DadeauCLTVBT #evaluation #generative #testing
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
ICST-2013-AlegrothNO #automation #named #testing
JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICST-2013-MeinkeS #named #testing
LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICST-2013-CompagnaGB #as a service #process #security #validation
Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
ICST-2013-GargantiniGM #analysis #automation #named #robust
AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.
ICST-2013-BlomeOLPD #flexibility #modelling #named #testing
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ICST-2013-IchidaSO #testing
A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.
ICST-2013-KangKHKNSC #formal method #modelling #verification
Formal Modeling and Verification of SDN-OpenFlow (MK, EYEK, DYH, BJK, KHN, MKS, JYC), pp. 481–482.
ICST-2013-UrataK #diagrams #testing #visualisation
Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.
ICST-2013-CraciunML #modelling #testing #towards
Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
ICST-2013-LeottaCRS #case study #industrial #locality #testing #web
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.
ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICST-2013-MunetohY #agile #development #framework #named #security #testing
RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICST-2013-FarooqQA #effectiveness #empirical #performance #testing
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICST-2013-BertolinoBDKLM #design #policy #testing
A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.
ICST-2013-Vigano #internet
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services (LV), pp. 497–498.
ICST-2013-Bauersfeld #named #testing #user interface #visual notation
GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.
ICST-2013-Buchler #security #testing
Security Testing with Fault-Models and Properties (MB), pp. 501–502.
ICST-2013-Gauthier #generative #modelling #research #testing
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICST-2013-Vernotte #modelling #research #testing #web
Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.
ICST-2013-FryW #analysis #maintenance
Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
ICST-2013-Lelli #challenge #interactive #testing
Challenges of Testing for Critical Interactive Systems (VL), pp. 509–510.
ICST-2013-Deak #comprehension #social
Understanding the Influence of Social and Technical Factors Testers in Software Organizations (AD), pp. 511–512.
ICST-2013-Mercaldo #database #identification #process
Identification of Anomalies in Processes of Database Alteration (FM), pp. 513–514.

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.