BibSLEIGH
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
testing
Google software testing
Wikidata Q188522
WikipediaGerman Softwaretest
WikipediaEnglish Software testing
WikipediaDutch Testen (software)
WikipediaRussian Тестирование программного обеспечения

Tag #testing

4091 papers:

POPLPOPL-2020-SmolkaFHKKS #algebra #linear #source code #verification
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time (SS, NF, JH, TK, DK, AS0), p. 28.
ASPLOSASPLOS-2020-YuanY #concurrent #distributed #effectiveness
Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.
CGOCGO-2020-TanejaLR #analysis #precise
Testing static analyses for precision and soundness (JT, ZL, JR), pp. 81–93.
ICSAICSA-2019-JahicKAW #architecture #concurrent #implementation
Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions (JJ, VK, POA, GW), pp. 171–180.
ICPCICPC-2019-GaoLLLYLGC #automation #distributed #towards
Towards automated testing of blockchain-based decentralized applications (JG, HL0, YL, CL, ZY, QL, ZG, ZC), pp. 294–299.
ICSMEICSME-2019-AlsharifKM #automation #generative #sql #what
What Factors Make SQL Test Cases Understandable for Testers? A Human Study of Automated Test Data Generation Techniques (AA, GMK, PM), pp. 437–448.
ICSMEICSME-2019-Bello-JimenezML #android #named
OPIA: A Tool for On-Device Testing of Vulnerabilities in Android Applications (LBJ, AMR, MLV, GB), pp. 418–421.
ICSMEICSME-2019-BraiekK #approach #named #network #search-based
DeepEvolution: A Search-Based Testing Approach for Deep Neural Networks (HBB, FK), pp. 454–458.
ICSMEICSME-2019-Ravelo-MendezEL #android #named
Kraken-Mobile: Cross-Device Interaction-Based Testing of Android Apps (WRM, CEV, MLV), pp. 410–413.
ICSMEICSME-2019-ZhaoDXQ #android #latency
Systematically Testing and Diagnosing Responsiveness for Android Apps (WZ, ZD, MX, ZQ), pp. 449–453.
MSRMSR-2019-Rua0S #android #energy #metric #named #scalability
GreenSource: a large-scale collection of Android code, tests and energy metrics (RR, MC0, JS), pp. 176–180.
MSRMSR-2019-SerraGPFGB #automation #effectiveness #generative #on the #years after
On the effectiveness of manual and automatic unit test generation: ten years later (DS, GG, FP, FF, HCG, AB), pp. 121–125.
SANERSANER-2019-KirinukiTN #named #recommendation #using #web
COLOR: Correct Locator Recommender for Broken Test Scripts using Various Clues in Web Application (HK, HT, KN), pp. 310–320.
SANERSANER-2019-MaJXLLLZ #combinator #learning #named
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems (LM0, FJX, MX, BL0, LL0, YL0, JZ), pp. 614–618.
SANERSANER-2019-QiZ #concurrent #source code
A Splitting Strategy for Testing Concurrent Programs (XQ, HZ), pp. 388–398.
SANERSANER-2019-WangWSZ #contract #effectiveness #generative #towards
Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract (XW, HW, WS, YZ), pp. 549–553.
SANERSANER-2019-ZhangDYSG #android
Testing the Message Flow of Android Auto Apps (YZ, XD, JY0, HS, HG), pp. 559–563.
SCAMSCAM-2019-StorerB #automation #behaviour #development #exclamation #generative
Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
SCAMSCAM-2019-YackleyKBAM #refactoring
Simultaneous Refactoring and Regression Testing (JJY, MK, GB, VA, BRM), pp. 216–227.
FMFM-2019-PhamLP0 #source code
Concolic Testing Heap-Manipulating Programs (LHP, QLL, QSP, JS0), pp. 442–461.
IFM-2019-CamilliGMS #named #nondeterminism #tool support #web
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications (MC, AG, RM, PS), pp. 495–503.
IFM-2019-Marsso0PS #component
Asynchronous Testing of Synchronous Components in GALS Systems (LM, RM0, IP, WS), pp. 360–378.
IFM-2019-WangAKS #abstraction #execution #modelling #visualisation
Visualization and Abstractions for Execution Paths in Model-Based Software Testing (RW, CA, LMK, VS), pp. 474–492.
SEFMSEFM-2019-AraujoCMS #cyber-physical #effectiveness #multi
Multi-objective Search for Effective Testing of Cyber-Physical Systems (HLSA, GC, MRM, AS), pp. 183–202.
SEFMSEFM-2019-FellnerBW #mutation testing
Mutation Testing with Hyperproperties (AF, MTB, GW), pp. 203–221.
CoGCoG-2019-ChangAS #assurance #automation #named #quality #using
Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration (KC, BA, AMS), pp. 1–8.
CIKMCIKM-2019-WangGLML #bias #on the
On Heavy-user Bias in A/B Testing (YW, SG, JL, AM, SL), pp. 2425–2428.
ICMLICML-2019-FeldmanFH #multi #reuse
The advantages of multiple classes for reducing overfitting from test set reuse (VF, RF, MH), pp. 1892–1900.
ICMLICML-2019-RollandKISC #learning #performance #probability
Efficient learning of smooth probability functions from Bernoulli tests with guarantees (PR, AK, AI, AS, VC), pp. 5459–5467.
ICMLICML-2019-ShenHCD #independence #network
Conditional Independence in Testing Bayesian Networks (YS, HH, AC, AD), pp. 5701–5709.
ICMLICML-2019-WestphalB
Improving Model Selection by Employing the Test Data (MW, WB), pp. 6747–6756.
ICMLICML-2019-ZhangZT #adaptation #monte carlo #multi
Adaptive Monte Carlo Multiple Testing via Multi-Armed Bandits (MJZ, JZ, DT), pp. 7512–7522.
KDDKDD-2019-DengL
Testing Dynamic Incentive Compatibility in Display Ad Auctions (YD, SL), pp. 1616–1624.
KDDKDD-2019-PellegrinaRV #mining #named
SPuManTE: Significant Pattern Mining with Unconditional Testing (LP, MR, FV), pp. 1528–1538.
KDDKDD-2019-PellegrinaRV19a #mining #statistics
Hypothesis Testing and Statistically-sound Pattern Mining (LP, MR, FV), pp. 3215–3216.
KDDKDD-2019-YinH #analysis #estimation #identification
The Identification and Estimation of Direct and Indirect Effects in A/B Tests through Causal Mediation Analysis (XY, LH), pp. 2989–2999.
MoDELSMoDELS-2019-GuerraCL #atl #effectiveness #mutation testing #towards
Towards Effective Mutation Testing for ATL (EG, JSC, JdL), pp. 78–88.
MoDELSMoDELS-2019-IqbalSKHQ #approach #modelling
A Model-Based Testing Approach for Cockpit Display Systems of Avionics (MZI, HS, MUK, FUH, IQ), pp. 67–77.
MoDELSMoDELS-2019-MajzikSHMSM0BV #towards
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles (IM, OS, CH, KM, ZS, ZM, AV0, AAB, DV), pp. 89–94.
OOPSLAOOPSLA-2019-Lampropoulos0P
Coverage guided, property based testing (LL, MH0, BCP), p. 29.
OOPSLAOOPSLA-2019-OzkanMO #distributed #random testing
Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
OOPSLAOOPSLA-2019-RahmaniNDJ #consistency #database #generative #named
CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
OOPSLAOOPSLA-2019-ShiHZML
Reflection-aware static regression test selection (AS, MHT, LZ, DM, OL), p. 29.
PADLPADL-2019-Tarau #combinator #framework #proving #theorem proving
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (PT), pp. 115–132.
PLDIPLDI-2019-KapusIIRC #c #refactoring #string #summary
Computing summaries of string loops in C for better testing and refactoring (TK, OIS, SI, NR, CC), pp. 874–888.
PPDPPPDP-2019-Blanco0M #proving #re-engineering
Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.
SASSAS-2019-YinCL0C #source code #verification
Verifying Numerical Programs via Iterative Abstract Testing (BY, LC, JL, JW0, PC), pp. 247–267.
ASEASE-2019-AfzalACCDDKV #abstraction #generative #verification
VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.
ASEASE-2019-AhmadiJD #named #state machine #uml
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines (RA, KJ, JD), pp. 1182–1185.
ASEASE-2019-BeyerL #execution #metric #named #robust
TestCov: Robust Test-Suite Execution and Coverage Measurement (DB0, TL0), pp. 1074–1077.
ASEASE-2019-ChenPSAZ #cyber-physical #fuzzing #network
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences (YC, CMP, JS, SA, FZ), pp. 962–973.
ASEASE-2019-ChenSHWL #behaviour #case study #experience #generative #using
An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour (JC, WS, AEH, YW, JL), pp. 669–681.
ASEASE-2019-DavisMKL #metric #regular expression #scalability
Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study (JCD, DM, AMK, DL), pp. 427–439.
ASEASE-2019-Gladisch0HOVP #automation #experience #search-based
Experience Paper: Search-Based Testing in Automated Driving Control Applications (CG, TH0, CH, JO, AvV, TP), pp. 26–37.
ASEASE-2019-GodioBPAF #generative #performance #test coverage
Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASEASE-2019-Hu0XY0Z #framework #learning #mutation testing
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASEASE-2019-LiWXWZ0 #contract #mutation testing #named
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract (ZL, HW, JX, XW, LZ, ZC0), pp. 1198–1201.
ASEASE-2019-LiY0C #android #approach #automation #black box #named
Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing (YL, ZY, YG0, XC), pp. 1070–1073.
ASEASE-2019-Lukasczyk #dynamic typing #generative #source code
Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ASEASE-2019-NejadgholiY #approximate #case study #learning #library
A Study of Oracle Approximations in Testing Deep Learning Libraries (MN, JY0), pp. 785–796.
ASEASE-2019-Osei-OwusuAB0C
Grading-Based Test Suite Augmentation (JOO, AA, LB, TX0, GC), pp. 226–229.
ASEASE-2019-SungKKJK #automation #case study
Test Automation and Its Limitations: A Case Study (AS, SK, YK, YJ, JK), pp. 1208–1209.
ASEASE-2019-WangZL00L #named #novel #test coverage #thread
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes (ZW, YZ, SL, JS0, XC0, HL), pp. 722–734.
ASEASE-2019-YuF0Z0 #automation #image #layout #mobile #named #platform #recognition
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform (SY, CF, YF0, WZ, ZC0), pp. 1066–1069.
ASEASE-2019-ZhengFXS0HMLSC #automation #game studies #learning #named #online #using
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning (YZ, CF, XX, TS, LM0, JH, ZM, YL0, RS, YC), pp. 772–784.
ESEC-FSEESEC-FSE-2019-AggarwalLNDS #black box #machine learning #modelling
Black box fairness testing of machine learning models (AA, PL, SN, KD, DS), pp. 625–635.
ESEC-FSEESEC-FSE-2019-AhmadiD #modelling
Concolic testing for models of state-based systems (RA, JD), pp. 4–15.
ESEC-FSEESEC-FSE-2019-BiagiolaSRT #generative #web
Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.
ESEC-FSEESEC-FSE-2019-ChaO #adaptation #heuristic
Concolic testing with adaptively changing search heuristics (SC, HO), pp. 235–245.
ESEC-FSEESEC-FSE-2019-Correia #industrial #using
An industrial application of test selection using test suite diagnosability (DC), pp. 1214–1216.
ESEC-FSEESEC-FSE-2019-CorreiaASN #multi #named #using
MOTSD: a multi-objective test selection tool using test suite diagnosability (DC, RA, PS, JN), pp. 1070–1074.
ESEC-FSEESEC-FSE-2019-Coviello #distributed #execution #integration
Distributed execution of test cases and continuous integration (CC), pp. 1148–1151.
ESEC-FSEESEC-FSE-2019-DuttaZHM #debugging #named #probability #programming #reduction
Storm: program reduction for testing and debugging probabilistic programming systems (SD, WZ, ZH, SM), pp. 729–739.
ESEC-FSEESEC-FSE-2019-EckPCB #comprehension #developer #perspective
Understanding flaky tests: the developer's perspective (ME, FP, MC, AB), pp. 830–840.
ESEC-FSEESEC-FSE-2019-FuRMSYJLS #detection #named
EVMFuzzer: detect EVM vulnerabilities via fuzz testing (YF, MR, FM, HS, XY, YJ0, HL, XS), pp. 1110–1114.
ESEC-FSEESEC-FSE-2019-GambiHF #effectiveness #generative #self
Generating effective test cases for self-driving cars from police reports (AG, TH, GF), pp. 257–267.
ESEC-FSEESEC-FSE-2019-GulzarMMK #big data #data analysis
White-box testing of big data analytics with complex user-defined functions (MAG, SM, MM, MK), pp. 290–301.
ESEC-FSEESEC-FSE-2019-HeMS0PS #performance #statistics
A statistics-based performance testing methodology for cloud applications (SH, GM, JS, WW0, LLP, MLS), pp. 188–199.
ESEC-FSEESEC-FSE-2019-JinWXPDQ0X #generative #named
FinExpert: domain-specific test generation for FinTech systems (TJ, QW, LX, CP, LD, HQ, LH0, TX), pp. 853–862.
ESEC-FSEESEC-FSE-2019-KimHK #composition #debugging #detection #effectiveness #refinement #summary
Target-driven compositional concolic testing with function summary refinement for effective bug detection (YK, SH, MK), pp. 16–26.
ESEC-FSEESEC-FSE-2019-LiM0CX0 #performance
Boosting operational DNN testing efficiency through conditioning (ZL, XM, CX0, CC, JX0, JL0), pp. 499–509.
ESEC-FSEESEC-FSE-2019-LinCLLZ #algorithm #combinator #generative #metaheuristic #performance #towards
Towards more efficient meta-heuristic algorithms for combinatorial test generation (JL, SC, CL, QL, HZ0), pp. 212–222.
ESEC-FSEESEC-FSE-2019-LuPZ0L #android
Preference-wise testing for Android applications (YL, MP, JZ, TZ0, XL), pp. 268–278.
ESEC-FSEESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
ESEC-FSEESEC-FSE-2019-Moghadam #machine learning #performance
Machine learning-assisted performance testing (MHM), pp. 1187–1189.
ESEC-FSEESEC-FSE-2019-MollerT #library #modelling
Model-based testing of breaking changes in Node.js libraries (AM, MTT), pp. 409–419.
ESEC-FSEESEC-FSE-2019-NajafiRS #commit #modelling
Bisecting commits and modeling commit risk during testing (AN, PCR, WS), pp. 279–289.
ESEC-FSEESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements
Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.
ESEC-FSEESEC-FSE-2019-Radavelli #modelling #using
Using software testing to repair models (MR), pp. 1253–1255.
ESEC-FSEESEC-FSE-2019-ShiLOXM #automation #framework #named
iFixFlakies: a framework for automatically fixing order-dependent flaky tests (AS, WL, RO, TX, DM), pp. 545–555.
ESEC-FSEESEC-FSE-2019-StahlbauerKF #automation #source code
Testing scratch programs automatically (AS, MK, GF), pp. 165–175.
ESEC-FSEESEC-FSE-2019-Sun #adaptation
Context-aware test case adaptation (PS), pp. 1259–1261.
ESEC-FSEESEC-FSE-2019-YuFMRPC #automation #named #user interface
TERMINATOR: better automated UI test case prioritization (ZY0, FMF, TM, GR, KP, SC), pp. 883–894.
ICSE-2019-0002JHC
Grey-box concolic testing on binary code (JC0, JJ, CH, SKC), pp. 736–747.
ICSE-2019-ChenSS #difference #implementation #virtual machine
Deep differential testing of JVM implementations (YC, TS, ZS), pp. 1257–1268.
ICSE-2019-CrucianiMVB #reduction #scalability
Scalable approaches for test suite reduction (EC, BM, RV, AB), pp. 419–429.
ICSE-2019-DelplanqueDPBE
Rotten green tests (JD, SD, GP, APB, AE), pp. 500–511.
ICSE-2019-GuSMC0YZLS #abstraction #android #refinement #user interface
Practical GUI testing of Android applications via model abstraction and refinement (TG, CS, XM, CC, CX0, YY0, QZ, JL0, ZS), pp. 269–280.
ICSE-2019-JabbarvandLM #android #energy #search-based
Search-based energy testing of Android (RJ, JWL, SM), pp. 1119–1130.
ICSE-2019-KimFY #learning #using
Guiding deep learning system testing using surprise adequacy (JK, RF, SY), pp. 1039–1049.
ICSE-2019-KiPDKZ #android #named #user interface
Mimic: UI compatibility testing system for Android apps (TK, CMP, KD, SYK, LZ), pp. 246–256.
ICSE-2019-SpadiniPBHBB #code review #empirical #overview
Test-driven code review: an empirical study (DS, FP, TB, SH, MB, AB), pp. 1061–1072.
ICSE-2019-WangD00Z #detection #mutation testing #network
Adversarial sample detection for deep neural network through model mutation testing (JW, GD, JS0, XW0, PZ), pp. 1245–1256.
ICSE-2019-YangZSS00X #debugging #difference #random #test coverage #tool support
Hunting for bugs in code coverage tools via randomized differential testing (YY, YZ, HS, ZS, ZZ0, LX0, BX), pp. 488–498.
ICSE-2019-ZhuLSG #framework #tool support
A framework for checking regression test selection tools (CZ, OL, AS, MG), pp. 430–441.
ASPLOSASPLOS-2019-0001WZKK #flexibility #framework #memory management #named #performance #persistent #source code
PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs (SL0, YW, JZ, AK, SMK), pp. 411–425.
ASPLOSASPLOS-2019-MahmoudVAMMFA #adaptation #fault #hardware #named
Minotaur: Adapting Software Testing Techniques for Hardware Errors (AM, RV, KA, SM, DM, CWF, SVA), pp. 1087–1103.
CASECASE-2019-ThonnessenSFCK #quickcheck #safety #using
Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.
CCCC-2019-LiC0 #performance
Efficient concolic testing of MPI applications (HL, ZC, RG0), pp. 193–204.
FASEFASE-2019-BeyerJ #named
CoVeriTest: Cooperative Verifier-Based Testing (DB0, MCJ), pp. 389–408.
FASEFASE-2019-GharachorluS #reduction
: Priority Aware Test Case Reduction (GG, NS), pp. 409–426.
CAVCAV-2019-EmmiE #concurrent #generative #named #refinement
Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
ICSTICST-2019-BaderCF #parallel
Parallel Many-Objective Search for Unit Tests (VB, JC, GF), pp. 37–47.
ICSTICST-2019-DiniYGK #automation #imperative
Extension-Aware Automated Testing Based on Imperative Predicates (ND, CY, MG, SK), pp. 25–36.
ICSTICST-2019-FuMG #c++
Resurgence of Regression Test Selection for C++ (BF, SM, MG), pp. 323–334.
ICSTICST-2019-HaririSFMM #compilation #mutation testing #representation #source code
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation (FH, AS, VF, SM, DM), pp. 114–124.
ICSTICST-2019-HellhakeSW #black box #data flow #distributed #integration #test coverage #using
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems (DH, TS, SW0), pp. 420–429.
ICSTICST-2019-IwamaF #automation #recognition #speech
Automated Testing of Basic Recognition Capability for Speech Recognition Systems (FI, TF), pp. 13–24.
ICSTICST-2019-JebbarSKT #named
Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite (OJ, MAS, FK, MT), pp. 367–370.
ICSTICST-2019-Junior
Operational Profile and Software Testing: Aligning User Interest and Test Strategy (LCJ), pp. 492–494.
ICSTICST-2019-KahlesTHJ #agile #analysis #automation #machine learning
Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments (JK, JT, TH, AJ), pp. 379–390.
ICSTICST-2019-KooS0B #automation #generative #learning #named #worst-case
PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.
ICSTICST-2019-LamOSM0 #detection #framework #named
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (WL, RO, AS, DM, TX0), pp. 312–322.
ICSTICST-2019-Lima #automation #distributed #integration
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems (BL), pp. 486–488.
ICSTICST-2019-MaoCZ #mutation testing #predict
An Extensive Study on Cross-Project Predictive Mutation Testing (DM, LC, LZ), pp. 160–171.
ICSTICST-2019-MuscoYN #approach #clustering #implementation #named
SmokeOut: An Approach for Testing Clustering Implementations (VM, XY, IN), pp. 473–480.
ICSTICST-2019-PaivaGB #android
Testing Android Incoming Calls (ACRP, MAG, ARB), pp. 441–448.
ICSTICST-2019-PanarinBIZZMRGT #automation #framework #named
Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System (VP, AB, II, AZ, KZ, MM, AR, AG, ET, ST, RY), pp. 358–362.
ICSTICST-2019-PatersonCAKFM #empirical #fault #predict #using
An Empirical Study on the Use of Defect Prediction for Test Case Prioritization (DP, JC, RA, GMK, GF, PM), pp. 346–357.
ICSTICST-2019-Radavelli #modelling #using
Using Testing to Repair Models (MR), pp. 489–491.
ICSTICST-2019-RwemalikaKPTL #evolution #keyword #on the
On the Evolution of Keyword-Driven Test Suites (RR, MK, MP, YLT, PL), pp. 335–345.
ICSTICST-2019-SaumyaK0B #automation #generative #scalability #worst-case
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions (CS, JK, MK0, SB), pp. 1–12.
ICSTICST-2019-SharmaW #algorithm #machine learning
Testing Machine Learning Algorithms for Balanced Data Usage (AS, HW), pp. 125–135.
ICSTICST-2019-Sondhi #consistency #documentation #implementation #nondeterminism
Testing for Implicit Inconsistencies in Documentation and Implementation (DS), pp. 483–485.
ICSTICST-2019-SondhiRP #library
Similarities Across Libraries: Making a Case for Leveraging Test Suites (DS, DR, RP), pp. 79–89.
ICSTICST-2019-Tan #approach #modelling
A Model-Based Approach to Generate Dynamic Synthetic Test Data (CT), pp. 495–497.
ICSTICST-2019-TerragniPB #dependence #generative #parallel #thread
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.
ICSTICST-2019-ZhangZHWZ #correlation #effectiveness #pseudo #question
Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? (JMZ, LZ, DH, MW, LZ), pp. 252–263.
ICSTICST-2019-ZhongZK #named #scalability #web #web service
TestSage: Regression Test Selection for Large-Scale Web Service Testing (HZ, LZ, SK), pp. 430–440.
ICTSSICTSS-2019-AichernigB0HPRR #behaviour #hybrid #machine learning #modelling
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (BKA, RB, ME0, MH, FP, WR, AR, MT, MT), pp. 3–21.
ICTSSICTSS-2019-ArcainiGR #learning #regular expression
Regular Expression Learning with Evolutionary Testing and Repair (PA, AG, ER), pp. 22–40.
ICTSSICTSS-2019-BombardaBGRDL #consistency #generative #protocol #refinement #state machine #using
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines (AB, SB, AG, MR, FD, YL), pp. 67–85.
ICTSSICTSS-2019-BozicW #using
Testing Chatbots Using Metamorphic Relations (JB, FW), pp. 41–55.
ICTSSICTSS-2019-ErardG #bound #source code
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs (CE, AG), pp. 159–175.
ICTSSICTSS-2019-Huerta-GuevaraA #adaptation #performance #towards
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 215–233.
ICTSSICTSS-2019-Huerta-GuevaraA19a #adaptation #named #performance #using
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 234–241.
ICTSSICTSS-2019-KluckZWN #comparison #performance #search-based #validation
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation (FK, MZ, FW, MN), pp. 140–156.
ICTSSICTSS-2019-NakajimaC #dataset #generative #machine learning #source code
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs (SN0, TYC), pp. 56–64.
ICTSSICTSS-2019-SamsonV #architecture #automation #component #generative
Automatic Generation of Test Oracles from Component Based Software Architectures (MS, TV), pp. 261–269.
ICTSSICTSS-2019-SellAFGWF #algorithm #empirical #evaluation
An Empirical Evaluation of Search Algorithms for App Testing (LS, MA, CF, MG, PW, GF), pp. 123–139.
ICTSSICTSS-2019-TimoPR #finite #multi #mutation testing #state machine
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts (ONT, DP, AR), pp. 104–120.
TAPTAP-2019-AichernigPSW #case study #learning #predict
Predicting and Testing Latencies with Deep Learning: An IoT Case Study (BKA, FP, RS, AW), pp. 93–111.
TAPTAP-2019-AndreAGR #abstraction #automaton
Repairing Timed Automata Clock Guards through Abstraction and Testing (ÉA, PA, AG, MR), pp. 129–146.
TAPTAP-2019-AngelisFPPP #for free #generative
Property-Based Test Case Generators for Free (EDA, FF, AP, AP, MP), pp. 186–206.
TAPTAP-2019-BosT
Coverage-Based Testing with Symbolic Transition Systems (PvdB, JT), pp. 64–82.
TAPTAP-2019-CavalcantiBHL #csp #using
Testing Robots Using CSP (AC, JB, RMH, RL), pp. 21–38.
TAPTAP-2019-LavillonniereMC #algorithm #automation #formal method #generative #performance #search-based
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods (EL, DM, DC0), pp. 55–63.
TAPTAP-2019-OliveiraMDM #modelling #named
BTestBox: A Tool for Testing B Translators and Coverage of B Models (DdAO, VMJ, DD, MAM), pp. 83–92.
TAPTAP-2019-RoblesKPRG #proving #specification
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties (VR, NK, VP, LR, PLG), pp. 167–185.
ECSAECSA-2018-AvritzerFJRSH #approach #architecture #assessment #automation #deployment #performance
A Quantitative Approach for the Assessment of Microservice Architecture Deployment Alternatives by Automated Performance Testing (AA, VF, AJ, BR, HS, AvH), pp. 159–174.
EDMEDM-2018-MatayoshiGDUC #adaptation #assessment #learning
Forgetting curves and testing effect in an adaptive learning and assessment system (JM, UG, CD, HU, EC).
EDMEDM-2018-SalesBPH #big data #using
Using Big Data to Sharpen Design-Based Inference in A/B Tests (AS, AB, TP, NTH).
ICPCICPC-2018-DeLozierDNM #agile #development #feature model #process
Leveraging the agile development process for selecting invoking/excluding tests to support feature location (GSD, MJD, CDN, JIM), pp. 370–379.
ICPCICPC-2018-GranoSGO #empirical #readability
An empirical investigation on the readability of manual and generated test cases (GG, SS, HCG, RO), pp. 348–351.
ICPCICPC-2018-LiVLP #comprehension
Aiding comprehension of unit test cases and test suites with stereotype-based tagging (BL, CV, MLV, DP), pp. 52–63.
ICSMEICSME-2018-ChenDZGH #automation #implementation #named #verification
DRLgencert: Deep Learning-Based Automated Testing of Certificate Verification in SSL/TLS Implementations (CC, WD, YZ, SG, CH), pp. 48–58.
ICSMEICSME-2018-LuoMPP #fault
Assessing Test Case Prioritization on Real Faults and Mutants (QL, KM, DP, MDP), pp. 240–251.
ICSMEICSME-2018-Nucci #tool support
Methods and Tools for Focusing and Prioritizing the Testing Effort (DDN), pp. 722–726.
ICSMEICSME-2018-ThorveSM #android #empirical
An Empirical Study of Flaky Tests in Android Apps (ST, CS, NM), pp. 534–538.
ICSMEICSME-2018-XiongCZXQ #mobile
Reproducible Interference-Aware Mobile Testing (WX, SC, YZ, MX, ZQ), pp. 36–47.
ICSMEICSME-2018-ZhuJX #execution #metric #search-based #symbolic computation
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric (ZZ, LJ, XX), pp. 59–68.
ICSMEICSME-2018-ZhuSR
Test Re-Prioritization in Continuous Testing Environments (YCZ, ES, PCR), pp. 69–79.
MSRMSR-2018-GaoYJLYZ #concurrent #dataset #named
Jbench: a dataset of data races for concurrency testing (JG, XY, YJ0, HL0, WY, XZ), pp. 6–9.
SANERSANER-2018-Coviello0SMAC #clustering #reduction
Clustering support for inadequate test suite reduction (CC, SR0, GS, AM, GA, AC), pp. 95–105.
SANERSANER-2018-GranoCPPG #android #automation #feedback #integration
Exploring the integration of user feedback in automated testing of Android applications (GG, AC, SP, FP, HCG), pp. 72–83.
SANERSANER-2018-JayM #difference #random
Structured random differential testing of instruction decoders (NJ, BPM), pp. 84–94.
SANERSANER-2018-LiangWCJZ
Fuzz testing in practice: Obstacles and solutions (JL, MW, YC, YJ0, RZ), pp. 562–566.
SANERSANER-2018-LiuZFJ #crowdsourcing #generative
Generating descriptions for screenshots to assist crowdsourced testing (DL, XZ, YF, JAJ), pp. 492–496.
FMFM-2018-BrauerS #modelling
Model-Based Testing for Avionics Systems (JB, US), pp. 657–661.
IFM-2018-DimjasevicHLR #object-oriented #random
Study of Integrating Random and Symbolic Testing for Object-Oriented Software (MD, FH, KSL, ZR), pp. 89–109.
SEFMSEFM-2018-Harman #semantics
We Need a Testability Transformation Semantics (MH), pp. 3–17.
HaskellHaskell-2018-Breitner
A promise checked is a promise kept: inspection testing (JB), pp. 14–25.
CoGCIG-2018-Guerrero-Romero #algorithm #design #game studies #using
Using a Team of General AI Algorithms to Assist Game Design and Testing (CGR, SML, DPL), pp. 1–8.
CoGVS-Games-2018-SarupuriHWL #artificial reality #named #usability
LUTE: A Locomotion Usability Test Environmentfor Virtual Reality (BS, SH, MCW, RWL), pp. 1–4.
CIKMCIKM-2018-MedinaVY #learning #online
Online Learning for Non-Stationary A/B Tests (AMM, SV, DY), pp. 317–326.
ICMLICML-2018-AliakbarpourDR #equivalence
Differentially Private Identity and Equivalence Testing of Discrete Distributions (MA, ID, RR), pp. 169–178.
ICMLICML-2018-BarmanBG
Testing Sparsity over Known and Unknown Bases (SB, AB0, SG), pp. 500–509.
ICMLICML-2018-Gaboardi0
Local Private Hypothesis Testing: Chi-Square Tests (MG, RR0), pp. 1612–1621.
ICMLICML-2018-JinKL #network
Network Global Testing by Counting Graphlets (JJ, ZTK, SL), pp. 2338–2346.
ICMLICML-2018-KimWGCWVS #concept
Interpretability Beyond Feature Attribution: Quantitative Testing with Concept Activation Vectors (TCAV) (BK, MW, JG, CJC, JW, FBV, RS), pp. 2673–2682.
ICMLICML-2018-NguyenRF #framework #performance #robust
Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICMLICML-2018-Sheffet
Locally Private Hypothesis Testing (OS), pp. 4612–4621.
ICMLICML-2018-YangLRN
Goodness-of-fit Testing for Discrete Distributions via Stein Discrepancy (JY, QL, VAR, JN), pp. 5557–5566.
ICPRICPR-2018-BhaskaruniML #framework #predict
Estimating Prediction Qualities without Ground Truth: A Revisit of the Reverse Testing Framework (DB, FPM, CL), pp. 49–54.
ICPRICPR-2018-SantacruzS #distance #edit distance #generative #graph
Graph Edit Distance Testing through Synthetic Graphs Generation (PS, FS), pp. 572–577.
KDDKDD-2018-PellegrinaV #mining #mutation testing #performance #permutation
Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.
ECMFAECMFA-2018-AhmadiHD #modelling #uml
Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.
ECMFAECMFA-2018-AsoudehL #metric #search-based #similarity
Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing (NA, YL), pp. 199–215.
MoDELSMoDELS-2018-GonzalezVNBI #cyber-physical
Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
MoDELSMoDELS-2018-Petrenko #finite #state machine #towards
Towards Testing from Finite State Machines with Symbolic Inputs and Outputs (AP), p. 187.
MoDELSMoDELS-2018-ShinCNSBZ #analysis #framework #named #physics #uml
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
ECOOPECOOP-2018-LamSBM0LH #dot-net #open source
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects (WL, SS, BB, PM, TX0, PL, JdH), p. 27.
ECOOPECOOP-2018-LiHA #generative
Targeted Test Generation for Actor Systems (SL, FH, GA), p. 31.
ECOOPECOOP-2018-MezzettiMT #detection #library
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (GM, AM, MTT), p. 24.
OOPSLAOOPSLA-2018-DesaiPQS #composition #distributed #programming
Compositional programming and testing of dynamic distributed systems (AD, AP, SQ, SAS), p. 30.
OOPSLAOOPSLA-2018-OzkanMNBW #distributed #probability #random
Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.
OOPSLAOOPSLA-2018-SelakovicPKT #generative #higher-order
Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.
LOPSTRLOPSTR-2018-TitoloMFM #float #source code
Eliminating Unstable Tests in Floating-Point Programs (LT, CAM, MAF, MMM), pp. 169–183.
PEPMPEPM-2018-Midtgaard
Developments in property-based testing (invited talk) (JM), p. 1.
POPLPOPL-2018-MajumdarN #debugging #effectiveness #question #random testing #why
Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.
PPDPPPDP-2018-Gardner #framework #javascript #named #verification
JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
ASEASE-2018-AbdessalemPNBS #feature model #interactive #using
Testing autonomous cars for feature interaction failures using many-objective search (RBA, AP, SN, LCB, TS), pp. 143–154.
ASEASE-2018-BorgesHZ #android #framework #generative #named #platform
DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASEASE-2018-BugariuWC0 #abstract domain #automation #implementation
Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.
ASEASE-2018-ChaLO #learning #online
Template-guided concolic testing via online learning (SC, SL, HO), pp. 408–418.
ASEASE-2018-GafurovHM #automation #industrial
Achieving test automation with testers without coding skills: an industrial report (DG, AEH, MM), pp. 749–756.
ASEASE-2018-GaoTDR #android #execution #symbolic computation
Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.
ASEASE-2018-HaririS #c #mutation testing #named #representation #source code #tool support
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation (FH, AS), pp. 860–863.
ASEASE-2018-LemieuxS #named
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage (CL, KS), pp. 475–485.
ASEASE-2018-MaJZSXLCSLLZW #learning #multi #named
DeepGauge: multi-granularity testing criteria for deep learning systems (LM0, FJX, FZ, JS, MX, BL0, CC, TS, LL0, YL0, JZ, YW), pp. 120–131.
ASEASE-2018-ScalabrinoGNGLG #c #generative #named #search-based
OCELOT: a search-based test-data generation tool for C (SS, GG, DDN, MG, ADL, HCG, RO), pp. 868–871.
ASEASE-2018-SunWRHKK #network
Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
ASEASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #thread
Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ASEASE-2018-UdeshiAC #automation
Automated directed fairness testing (SU, PA, SC0), pp. 98–108.
ASEASE-2018-WangLYCZDX #android #case study #empirical #generative #industrial #tool support
An empirical study of Android test generation tools in industrial cases (WW, DL0, WY0, YC, ZZ, YD, TX0), pp. 738–748.
ASEASE-2018-ZhangZZ0K #framework #named #validation
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems (MZ, YZ, LZ, CL0, SK), pp. 132–142.
ESEC-FSEESEC-FSE-2018-AngellJBM #automation #named
Themis: automatically testing software for discrimination (RA, BJ, YB, AM), pp. 871–875.
ESEC-FSEESEC-FSE-2018-BrabermanGGUCPP #validation
Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.
ESEC-FSEESEC-FSE-2018-CelikLG
Regression test selection for TizenRT (, YCL, MG), pp. 845–850.
ESEC-FSEESEC-FSE-2018-Chen00M0 #concurrent #parallel #source code #thread
Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.
ESEC-FSEESEC-FSE-2018-DuttaLHM #probability #programming
Testing probabilistic programming systems (SD0, OL, ZH, SM), pp. 574–586.
ESEC-FSEESEC-FSE-2018-Fazzini #automation #maintenance #mobile
Automated support for mobile application testing and maintenance (MF), pp. 932–935.
ESEC-FSEESEC-FSE-2018-GuoJZCS #difference #fuzzing #learning #named
DLFuzz: differential fuzzing testing of deep learning systems (JG, YJ0, YZ, QC, JS), pp. 739–743.
ESEC-FSEESEC-FSE-2018-HuZY #machine learning #named #reuse #robust #user interface #using
AppFlow: using machine learning to synthesize robust, reusable UI tests (GH, LZ, JY), pp. 269–282.
ESEC-FSEESEC-FSE-2018-LehmannP #difference #interactive
Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.
ESEC-FSEESEC-FSE-2018-Lima #automation #distributed #integration
Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.
ESEC-FSEESEC-FSE-2018-MansoorSSBCF #case study #experience #modelling #product line
Modeling and testing a family of surgical robots: an experience report (NM, JAS, BS, HB, MBC, SF), pp. 785–790.
ESEC-FSEESEC-FSE-2018-RahmanR
The impact of failing, flaky, and high failure tests on the number of crash reports associated with Firefox builds (MTR, PCR), pp. 857–862.
ESEC-FSEESEC-FSE-2018-Spadini #tool support
Practices and tools for better software testing (DS), pp. 928–931.
ESEC-FSEESEC-FSE-2018-Tzoref-BrillM #co-evolution #combinator #modelling
Modify, enhance, select: co-evolution of combinatorial models and test plans (RTB, SM), pp. 235–245.
ESEC-FSEESEC-FSE-2018-WangGXXNDHX #automation #black box #named
FACTS: automated black-box testing of FinTech systems (QW, LG, MX, LX, WN, LD, LH0, TX), pp. 839–844.
ESEC-FSEESEC-FSE-2018-WongMK #automation #configuration management #execution #higher-order #mutation testing #program repair
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.
ICSE-2018-AbdessalemNBS #algorithm #using
Testing vision-based control systems using learnable evolutionary algorithms (RBA, SN, LCB, TS), pp. 1016–1026.
ICSE-2018-Arcuri18a #automation #case study #experience #generative #industrial
Journal first presentation of an experience report on applying software testing academic results in industry: we need usable automated test generation (AA), p. 1065.
ICSE-2018-ArifSS #empirical #performance #physics
Empirical study on the discrepancy between performance testing results from virtual and physical environments (MMA, WS, ES), p. 822.
ICSE-2018-BellLHEYM #automation #detection #named
DeFlaker: automatically detecting flaky tests (JB0, OL, MH, LE, TY, DM), pp. 433–444.
ICSE-2018-CasteleinASPD #generative #query #search-based #sql
Search-based test data generation for SQL queries (JC, MFA, MS, AP, AvD), pp. 1120–1230.
ICSE-2018-ChaHLO #automation #generative #heuristic
Automatically generating search heuristics for concolic testing (SC, SH, JL, HO), pp. 1244–1254.
ICSE-2018-ChenTDZ #difference #implementation #validation
RFC-directed differential testing of certificate validation in SSL/TLS implementations (CC, CT, ZD, LZ), pp. 859–870.
ICSE-2018-ChoiSNW #android #named #user interface
DetReduce: minimizing Android GUI test suites for regression testing (WC, KS, GCN, WW), pp. 445–455.
ICSE-2018-DutraLBS #performance #satisfiability
Efficient sampling of SAT solutions for testing (RD, KL, JB, KS), pp. 549–559.
ICSE-2018-KimCK #c #precise #source code #using
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering (YK, YC, MK), pp. 315–326.
ICSE-2018-LinJGM #integer #multi #named #programming
Nemo: multi-criteria test-suite minimization with integer nonlinear programming (JWL, RJ, JG, SM), pp. 1039–1049.
ICSE-2018-MarianiPZ #generative #named #semantics #user interface
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles (LM, MP, DZ), pp. 280–290.
ICSE-2018-MirandaCVB #performance #scalability #similarity
FAST approaches to scalable similarity-based test case prioritization (BM, EC, RV, AB), pp. 222–232.
ICSE-2018-RamasubbuK #framework #process #quality #technical debt
Integrating technical debt management and software quality management processes: a framework and field tests (NR, CFK), p. 883.
ICSE-2018-SeguraPTC #api #rest #web
Metamorphic testing of RESTful web APIs (SS, JAP, JT, ARC), p. 882.
ICSE-2018-SpadiniASBB #code review #developer #how #overview #why
When testing meets code review: why and how developers review tests (DS, MFA, MADS, MB, AB), pp. 677–687.
ICSE-2018-TianPJR #automation #named
DeepTest: automated testing of deep-neural-network-driven autonomous cars (YT, KP, SJ, BR), pp. 303–314.
ICSE-2018-Wang0CZWL #towards
Towards optimal concolic testing (XW0, JS0, ZC, PZ, JW, YL0), pp. 291–302.
ICSE-2018-WangZCKBG #refactoring #towards
Towards refactoring-aware regression test selection (KW, CZ, , JK, DSB, MG), pp. 233–244.
ICSE-2018-YiTMBR #automation #correlation #metric #program repair
A correlation study between automated program repair and test-suite metrics (JY, SHT, SM, MB, AR), p. 24.
ICSE-2018-Zhang #hybrid
Hybrid regression test selection (LZ), pp. 199–209.
GPCEGPCE-2018-RulandLBLTLR #effectiveness #product line
Measuring effectiveness of sample-based product-line testing (SR, LL, JB, SL, TT, ML, MR), pp. 119–133.
SLESLE-2018-Zaytsev #case study #compilation #industrial
An industrial case study in compiler testing (VZ), pp. 97–102.
CASECASE-2018-DingLWL #automation #using
6-DOF Automated Flight Testing Using a Humanoid Robot Arm (CD, LL0, CW0, JL), pp. 217–222.
CASECASE-2018-KhanDFF #legacy #simulation #validation
Digital Twin for Legacy Systems: Simulation Model Testing and Validation (AK, MD, PF, MF), pp. 421–426.
CCCC-2018-Barany #compilation #difference #optimisation
Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
FASEFASE-2018-ChenHYCKX #framework #named
CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.
FASEFASE-2018-KorogluS #android #detection #named
TCM: Test Case Mutation to Improve Crash Detection in Android (YK, AS0), pp. 264–280.
FASEFASE-2018-SemerathV #domain-specific language #generative #modelling #specification #tool support
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.
ICSTICST-2018-AlegrothKR #industrial #integration #user interface #visual notation
Continuous Integration and Visual GUI Testing: Benefits and Drawbacks in Industrial Practice (EA, AK, AR), pp. 172–181.
ICSTICST-2018-AlsharifKM #database #effectiveness #generative #named #performance #relational
DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas (AA, GMK, PM), pp. 12–22.
ICSTICST-2018-Arcuri #automation #generative #multi #named
EvoMaster: Evolutionary Multi-context Automated System Test Generation (AA), pp. 394–397.
ICSTICST-2018-BajammalM #visual notation #web
Web Canvas Testing Through Visual Inference (MB, AM0), pp. 193–203.
ICSTICST-2018-ChenZ #mutation testing
Speeding up Mutation Testing via Regression Test Selection: An Extensive Study (LC, LZ), pp. 58–69.
ICSTICST-2018-DebroyBYE #automation #case study #experience #industrial #lessons learnt #web
Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting (VD, LB, MY, AE), pp. 354–362.
ICSTICST-2018-ElerRGF #automation #mobile
Automated Accessibility Testing of Mobile Apps (MME, JMR, YG, GF), pp. 116–126.
ICSTICST-2018-HemmatiS #predict
Investigating NLP-Based Approaches for Predicting Manual Test Case Failure (HH, FS), pp. 309–319.
ICSTICST-2018-HodovanK #composition #framework #named #open source #random testing
Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
ICSTICST-2018-JiLCPZ0YL #behaviour #network #nondeterminism #search-based
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing (RJ, ZL, SC, MP, TZ0, SA0, TY0, XL), pp. 204–214.
ICSTICST-2018-KhosrowjerdiMR #approach #injection #machine learning
Virtualized-Fault Injection Testing: A Machine Learning Approach (HK, KM, AR), pp. 297–308.
ICSTICST-2018-KimHKPK #source code #test coverage
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage (YK, SH, BK, DLP, MK), pp. 239–249.
ICSTICST-2018-Listenmaa #natural language
Testing Natural Language Grammars (IL), pp. 428–429.
ICSTICST-2018-LoscherS #automation
Automating Targeted Property-Based Testing (AL, KS), pp. 70–80.
ICSTICST-2018-PiresA #generative #information management #metamodelling
Knowledge Discovery Metamodel-Based Unit Test Cases Generation (JPP, FBeA), pp. 432–433.
ICSTICST-2018-PradhanW00L #mining #multi #named #using
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization (DP, SW0, SA0, TY0, ML), pp. 46–57.
ICSTICST-2018-Rajaram #fault #taxonomy #using
Taxonomy Based Testing Using SW91, a Medical Device Software Defect Taxonomy (HKR), pp. 422–423.
ICSTICST-2018-RayROMO #energy #framework #security
Bluetooth Low Energy Devices Security Testing Framework (AR, VR, MO, AM, SO), pp. 384–393.
ICSTICST-2018-SchwarzlH #framework #low cost #platform
Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems (CS, JH), pp. 374–383.
ICSTICST-2018-ShamshiriRGWF #automation #how #maintenance #question
How Do Automatically Generated Unit Tests Influence Software Maintenance? (SS, JMR, JPG, NW, GF), pp. 250–261.
ICSTICST-2018-SullivanWK #alloy #automation #named
AUnit: A Test Automation Tool for Alloy (AS, KW, SK), pp. 398–403.
ICSTICST-2018-Wang #assessment #automation #maturity
Test Automation Maturity Assessment (YW), pp. 424–425.
ICSTICST-2018-WangPB #automation #case study #constraints #generative #specification
Automated Generation of Constraints from Use Case Specifications to Support System Testing (CW, FP, LCB), pp. 23–33.
ICSTICST-2018-WangTHHSSP #performance
Testing Cloud Applications under Cloud-Uncertainty Performance Effects (WW0, NT, SH, SH, AS, MLS, LLP), pp. 81–92.
ICSTICST-2018-ZhuPZ #mutation testing
An Investigation of Compression Techniques to Speed up Mutation Testing (QZ, AP, AZ), pp. 274–284.
ICTSSICTSS-2018-ArcainiGR #interactive #regular expression
Interactive Testing and Repairing of Regular Expressions (PA, AG, ER), pp. 1–16.
ICTSSICTSS-2018-BordingHJW #automation #contract #java #named
JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
ICTSSICTSS-2018-BozicW #security
Security Testing for Chatbots (JB, FW), pp. 33–38.
ICTSSICTSS-2018-CardenasGP #simulation
Testing Ambient Assisted Living Solutions with Simulations (MC, JJGS, JP), pp. 56–61.
ICTSSICTSS-2018-DesaiG #behaviour #constraints #generative #ocl
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (ND0, MG), pp. 62–68.
ICTSSICTSS-2018-MizumotoEYH #energy #framework
An Energy Aware Testing Framework for Smart-Spaces (TM, KEF, KY, TH), pp. 85–101.
ICTSSICTSS-2018-PetrenkoA #component #consistency #embedded
Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.
ICTSSICTSS-2018-TvardovskiiEY #fault #finite #state machine
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts (AT, KEF, NY), pp. 149–154.
ICTSSICTSS-2018-WotawaL #combinator #modelling #ontology
From Ontologies to Input Models for Combinatorial Testing (FW, YL), pp. 155–170.
IJCARIJCAR-2018-HuangMGZZ #satisfiability #scalability
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.
TAPTAP-2018-0001DLT #validation #verification
Tests from Witnesses - Execution-Based Validation of Verification Results (DB0, MD, TL0, MT), pp. 3–23.
TAPTAP-2018-Fuchs #automation #generative #java #web
Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.
TAPTAP-2018-HerdaTB #data flow #dependence #graph #using #verification
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (MH, SST, BB), pp. 83–102.
TAPTAP-2018-Keller #bound #higher-order #verification
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL (CK), pp. 103–119.
VMCAIVMCAI-2018-PelegRY #generative
Generating Tests by Example (HP, DR, EY), pp. 406–429.
ICSMEICSME-2017-BlondeauEACCD #case study #developer #scalability #what
What are the Testing Habits of Developers? A Case Study in a Large IT Company (VB, AE, NA, SC, PC, SD), pp. 58–68.
ICSMEICSME-2017-GuC0SDML #android #automation #multi #named
AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications (TG, CC, TL0, CS, JD, XM, JL0), pp. 103–114.
ICSMEICSME-2017-NguyenNNN #evolution
Interaction-Based Tracking of Program Entities for Test Case Evolution (HAN, TTN, TNN, HVN), pp. 433–443.
ICSMEICSME-2017-PalombaZ #question #refactoring #smell
Does Refactoring of Test Smells Induce Fixing Flaky Tests? (FP, AZ), pp. 1–12.
ICSMEICSME-2017-VasquezMP #automation #mobile #scalability
Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing (MLV, KM, DP), pp. 399–410.
ICSMEICSME-2017-Yu #evolution #multi #named
SimEvo: Testing Evolving Multi-process Software Systems (TY), pp. 204–215.
MSRMSR-2017-BellerGZ #analysis #git
Oops, my tests broke the build: an explorative analysis of Travis CI with GitHub (MB, GG, AZ), pp. 356–367.
MSRMSR-2017-GaoJ #case study #impact analysis
An exploratory study on assessing the impact of environment variations on the results of load tests (RG, ZM(J), pp. 379–390.
MSRMSR-2017-GautamVS #empirical #integration #process
An empirical study of activity, popularity, size, testing, and stability in continuous integration (AG, SV, FS), pp. 495–498.
MSRMSR-2017-GonzalezSPMN #comprehension #maintenance #scalability
A large-scale study on the usage of testing patterns that address maintainability attributes: patterns for ease of modification, diagnoses, and comprehension (DG, JCSS, AP, MM, MN), pp. 391–401.
MSRMSR-2017-OrellanaLMD #dataset #difference #integration #on the
On the differences between unit and integration testing in the travistorrent dataset (GO, GL, AM, SD), pp. 451–454.
SANERSANER-2017-LiuLNB #fault #locality #modelling #predict #search-based #using
Improving fault localization for Simulink models using search-based testing and prediction models (BL, L, SN, LCB), pp. 359–370.
SANERSANER-2017-RoyHD #spreadsheet
Spreadsheet testing in practice (SR, FH, AvD), pp. 338–348.
SANERSANER-2017-ZeroualiM #evolution #java #library #open source
Analyzing the evolution of testing library usage in open source Java projects (AZ, TM), pp. 417–421.
IFM-2017-AronisFS #model checking #using #verification
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking (SA, SLF, KS), pp. 227–242.
ICFP-2017-PerezN #debugging #functional #programming
Testing and debugging functional reactive programming (IP0, HN), p. 27.
CoGVS-Games-2017-VayanouI #design #evaluation #game studies
Storytelling games with art collections: Generic game-play design and preliminary evaluation through game testing sessions (MV, YEI), pp. 264–271.
ICMLICML-2017-CaiDK #performance
Priv'IT: Private and Sample Efficient Identity Testing (BC, CD, GK0), pp. 635–644.
ICMLICML-2017-ChenKB #equation #identification #linear #modelling #using
Identification and Model Testing in Linear Structural Equation Models using Auxiliary Variables (BC, DK, EB), pp. 757–766.
ICMLICML-2017-UbaruM #classification #multi
Multilabel Classification with Group Testing and Codes (SU, AM), pp. 3492–3501.
ICMLICML-2017-ZhouZIJWS #dataset #multi
When can Multi-Site Datasets be Pooled for Regression? Hypothesis Tests, l₂-consistency and Neuroscience Applications (HHZ, YZ, VKI, SCJ, GW, VS), pp. 4170–4179.
KDDKDD-2017-JohariKPW #matter #what #why
Peeking at A/B Tests: Why it matters, and what to do about it (RJ, PK, LP, DW0), pp. 1517–1525.
KDDKDD-2017-KomiyamaIANM #mining #multi #statistics
Statistical Emerging Pattern Mining with Multiple Testing Correction (JK, MI, HA, TN, SiM), pp. 897–906.
ICMTICMT-2017-BurguenoHVG #modelling #using
Testing Transformation Models Using Classifying Terms (LB, FH, AV, MG), pp. 69–85.
MoDELSMoDELS-2017-Al-RefaiCG #approach #fuzzy #logic #modelling
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection (MAR, WC, SG), pp. 55–62.
OnwardOnward-2017-LamZC #generative #interactive #named #random
ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.
OOPSLAOOPSLA-2017-DonaldsonELT #automation #compilation
Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.
OOPSLAOOPSLA-2017-KristensenM #typescript
Type test scripts for TypeScript testing (EKK, AM), p. 25.
OOPSLAOOPSLA-2017-LiZ #fault #locality #source code
Transforming programs and tests in tandem for fault localization (XL, LZ), p. 30.
PADLPADL-2017-FowlerH #performance
Failing Faster: Overlapping Patterns for Property-Based Testing (JF, GH), pp. 103–119.
PLDIPLDI-2017-BornholtT #framework #memory management #modelling #sketching
Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
PLDIPLDI-2017-ZhangSS #compilation
Skeletal program enumeration for rigorous compiler testing (QZ, CS, ZS), pp. 347–361.
ASEASE-2017-CandidoMd #case study #open source #parallel
Test suite parallelization in open-source projects: a study on its usage and impact (JC, LM, Md), pp. 838–848.
ASEASE-2017-ChengYW #reduction #sequence #user interface
Systematic reduction of GUI test sequences (LC, ZY, CW0), pp. 849–860.
ASEASE-2017-HerfertPP #automation
Automatically reducing tree-structured test inputs (SH, JP, MP), pp. 861–871.
ASEASE-2017-KapusC #automation #difference #execution #generative #symbolic computation
Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
ASEASE-2017-KimFJJOLC #analysis
Testing intermediate representations for binary analysis (SK0, MF, MJ, SJ, DO, JL, SKC), pp. 353–364.
ASEASE-2017-LegunsenSM #named
STARTS: STAtic regression test selection (OL, AS, DM), pp. 949–954.
ASEASE-2017-MaoHJ #automation #mobile
Crowd intelligence enhances automated mobile testing (KM, MH, YJ0), pp. 16–26.
ASEASE-2017-MeftahGRC #in the large #mobile #named #peer-to-peer
ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large (LM, MG0, RR, IC), pp. 961–966.
ASEASE-2017-SaddlerC #generative #named #user interface
EventFlowSlicer: a tool for generating realistic goal-driven GUI tests (JAS, MBC), pp. 955–960.
ASEASE-2017-SoltanaSB #generative #statistics
Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
ASEASE-2017-SongQH #android #named #user interface
EHBDroid: beyond GUI testing for Android applications (WS0, XQ, JH0), pp. 27–37.
ASEASE-2017-ToffolaSP #effectiveness #exclamation #generative #mining
Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ASEASE-2017-ZhangCTCBL #generative #mobile #sketching #user interface
Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.
ASEASE-2017-ZhangLLC #mobile
Systematically testing background services of mobile apps (LLZ, CJML, YL, EC), pp. 4–15.
ESEC-FSEESEC-FSE-2017-CelikVMG #bound #virtual machine
Regression test selection across JVM boundaries (, MV, AM, MG), pp. 809–820.
ESEC-FSEESEC-FSE-2017-GalhotraBM
Fairness testing: testing software for discrimination (SG, YB, AM), pp. 498–510.
ESEC-FSEESEC-FSE-2017-JabbarvandM #android #energy #framework #mutation testing #named
µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.
ESEC-FSEESEC-FSE-2017-LabuschagneIH #case study #cost analysis #integration #java #using
Measuring the cost of regression testing in practice: a study of Java projects using continuous integration (AL, LI, RH), pp. 821–830.
ESEC-FSEESEC-FSE-2017-MatinnejadNB #automation #case study #hybrid #industrial
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
ESEC-FSEESEC-FSE-2017-Pashchenko #benchmark #difference #metric #security #static analysis #tool support
FOSS version differentiation as a benchmark for static analysis security testing tools (IP), pp. 1056–1058.
ESEC-FSEESEC-FSE-2017-SadeghiJM #android #named #user interface
PATDroid: permission-aware GUI testing of Android (AS, RJ, SM), pp. 220–232.
ESEC-FSEESEC-FSE-2017-Schuler #development #evolution #mobile #optimisation #re-engineering #search-based
Application of search-based software engineering methodologies for test suite optimization and evolution in mission critical mobile application development (AS), pp. 1034–1037.
ESEC-FSEESEC-FSE-2017-SuMCWYYPLS #android #modelling #probability #user interface
Guided, stochastic model-based GUI testing of Android apps (TS, GM, YC, KW, WY, YY, GP, YL0, ZS), pp. 245–256.
ESEC-FSEESEC-FSE-2017-VasicPMG #dot-net
File-level vs. module-level regression test selection for .NET (MV, ZP, AM, MG), pp. 848–853.
ESEC-FSEESEC-FSE-2017-VasquezBTMPVBP #android #mutation testing
Enabling mutation testing for Android apps (MLV, GB, MT, KM, MDP, CV, CBC, DP), pp. 233–244.
ESEC-FSEESEC-FSE-2017-WangNT #named
QTEP: quality-aware test case prioritization (SW0, JN, LT0), pp. 523–534.
ESEC-FSEESEC-FSE-2017-YangZLT #automation #program repair
Better test cases for better automated program repair (JY0, AZ, YL, LT0), pp. 831–841.
ICSE-2017-0006R #analysis #android
Analysis and testing of notifications in Android wear applications (HZ0, AR), pp. 347–357.
ICSE-2017-0010ZPZMZ #automation #generative #mobile
Automatic text input generation for mobile testing (PL0, XZ0, MP, YZ, MM, LZ), pp. 643–653.
ICSE-2017-BertolinoMPR #adaptation #reliability
Adaptive coverage and operational profile-based testing for reliability improvement (AB, BM, RP, SR), pp. 541–551.
ICSE-2017-ChenBHXZX #compilation #learning #source code
Learning to prioritize test programs for compiler testing (JC0, YB, DH, YX, HZ0, BX), pp. 700–711.
ICSE-2017-ChoudharyLP #concurrent #detection #generative #performance #safety #thread
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests (AC, SL, MP), pp. 266–277.
ICSE-2017-JiangLYX #analysis #automation #integration #what
What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing (HJ, XL, ZY, JX), pp. 712–723.
ICSE-2017-PerezAD #fault #locality #metric
A test-suite diagnosability metric for spectrum-based fault localization approaches (AP, RA, AvD), pp. 654–664.
ICSE-2017-RojasWCF #crowdsourcing #effectiveness #game studies #mutation testing
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game (JMR, TDW, BSC, GF), pp. 677–688.
ICSE-2017-ShiTLBC #optimisation
Optimizing test placement for module-level regression testing (AS, ST, SKL, NB, JC), pp. 689–699.
ICSE-2017-SoutodG #configuration management #performance
Balancing soundness and efficiency for practical testing of configurable systems (SS, Md, RG), pp. 632–642.
ICSE-2017-ZhangK #automation #difference
Automated transplantation and differential testing for clones (TZ0, MK), pp. 665–676.
ASPLOSASPLOS-2017-LustigWPG #automation #memory management #synthesis
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites (DL, AW, AP, OG), pp. 661–675.
CASECASE-2017-CaoLZH #algorithm #scheduling
An improved cuckoo search algorithm for semiconductor final testing scheduling (ZC, CL, MZ, RH), pp. 1040–1045.
CASECASE-2017-DangD #hybrid #specification
Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.
CASECASE-2017-MaP #framework #modelling #programmable
A model-based testing framework with reduced set of test cases for programmable controllers (CM, JP), pp. 944–949.
CASECASE-2017-TuncaliYPF #automation #functional #generative #optimisation
Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
FASEFASE-2017-PhamKRR #analysis
Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.
ICSTICST-2017-AichernigS #model checking #statistics
Statistical Model Checking Meets Property-Based Testing (BKA, RS), pp. 390–400.
ICSTICST-2017-AlagozHG #black box #quality #statistics
A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level (IA, TH, RG), pp. 114–125.
ICSTICST-2017-AlegrothMVA #contest #overview
Overview of the ICST International Software Testing Contest (EA, SM, TEJV, KA), pp. 550–551.
ICSTICST-2017-ArcuriFJ #api #automation #functional #generative
Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
ICSTICST-2017-ArthoGRBMKHTY #api #modelling
Model-Based API Testing of Apache ZooKeeper (CA, QG, GR, KB, LM0, TK, MH, YT, MY), pp. 288–298.
ICSTICST-2017-ChenBHZZX #how #question #reduction
How Do Assertions Impact Coverage-Based Test-Suite Reduction? (JC0, YB, DH, LZ, LZ0, BX), pp. 418–423.
ICSTICST-2017-ConverseOK #execution #generative #semantics #symbolic computation #using
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.
ICSTICST-2017-DarwishGT #automation #empirical #industrial #modelling
A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry (RD, LNG, RT), pp. 546–547.
ICSTICST-2017-DwarakanathEPDP #automation #domain-specific language
Accelerating Test Automation through a Domain Specific Language (AD, DE, AP, ND, SP), pp. 460–467.
ICSTICST-2017-EnoiuSCP #automation #case study #comparative #industrial
A Comparative Study of Manual and Automated Testing for Industrial Control Software (EPE, DS, AC, PP), pp. 412–417.
ICSTICST-2017-FazziniFCO #android #encoding #framework #independence #named #platform
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests (MF, ENdAF, SRC, AO), pp. 149–160.
ICSTICST-2017-FlemstromGK #interactive
SAGA Toolbox: Interactive Testing of Guarded Assertions (DF, TG, AK), pp. 516–523.
ICSTICST-2017-GambiGZ #exclamation #in the cloud #low cost
O!Snap: Cost-Efficient Testing in the Cloud (AG, AG, AZ), pp. 454–459.
ICSTICST-2017-Gay #detection #fault #generative #search-based
The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults (GG), pp. 345–355.
ICSTICST-2017-JanNAB #approach #injection #search-based #web #xml
A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications (SJ, CDN, AA, LCB), pp. 356–366.
ICSTICST-2017-KleineS #combinator #named
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing (KK, DES), pp. 69–79.
ICSTICST-2017-LaurentPKHTV #mutation testing
Assessing and Improving the Mutation Testing Practice of PIT (TL0, MP, MK, CH, YLT, AV), pp. 430–435.
ICSTICST-2017-LiCWH0WL #automation #evolution #maintenance #mobile #named #user interface
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications (XL, NC, YW, HH, YP0, LW, XL), pp. 161–171.
ICSTICST-2017-LinWC #semantics #similarity #using #web
Using Semantic Similarity in Crawling-Based Web Application Testing (JWL, FW, PC), pp. 138–148.
ICSTICST-2017-MarijanLGSI #configuration management #named #optimisation
TITAN: Test Suite Optimization for Highly Configurable Software (DM, ML, AG, SS, CI), pp. 524–531.
ICSTICST-2017-OliveiraFDHS #effectiveness #named #performance
Perphecy: Performance Regression Test Selection Made Simple but Effective (ABdO, SF, AD, MH, PFS), pp. 103–113.
ICSTICST-2017-PatrickDG #probability #simulation #statistics #tool support
A Toolkit for Testing Stochastic Simulations against Statistical Oracles (MP, RD, CAG), pp. 448–453.
ICSTICST-2017-PouldingF17a #automation #multi #random testing
Automated Random Testing in Multiple Dispatch Languages (SMP, RF), pp. 333–344.
ICSTICST-2017-RamlerH #automation #how #locality
How to Test in Sixteen Languages? Automation Support for Localization Testing (RR, RH), pp. 542–543.
ICSTICST-2017-SullivanWZK #alloy #automation #generative #mutation testing
Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
ICSTICST-2017-TapplerAB #automaton #communication #learning #modelling
Model-Based Testing IoT Communication via Active Automata Learning (MT, BKA, RB), pp. 276–287.
ICSTICST-2017-TrautschG #empirical #open source #python
Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects (FT, JG), pp. 207–218.
ICSTICST-2017-WalkinshawF #black box #generative
Uncertainty-Driven Black-Box Test Data Generation (NW, GF), pp. 253–263.
ICSTICST-2017-WangBO #behaviour #comparison #execution #question
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? (QW, YB, AO), pp. 321–332.
ICSTICST-2017-WangPB #automaton #case study #requirements
System Testing of Timing Requirements Based on Use Cases and Timed Automata (CW, FP, LCB), pp. 299–309.
ICSTICST-2017-XuLC #concurrent #data type #debugging #using
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures (JX, YL, RHC), pp. 35–46.
ICSTICST-2017-YangHHLC #industrial #natural language
An Industrial Study of Natural Language Processing Based Test Case Prioritization (YY, XH, XH, ZL, ZC0), pp. 548–549.
ICSTICST-2017-ZhangYZLCHL #automation #data flow #parallel #source code #thread
Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.
ICTSSICTSS-2017-BosJM
n-Complete Test Suites for IOCO (PvdB, RJ, JM), pp. 91–107.
ICTSSICTSS-2017-CavalcantiS #csp #refinement
Fault-Based Testing for Refinement in CSP (AC, AdSS), pp. 21–37.
ICTSSICTSS-2017-FelbingerPW #equivalence #reduction
A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction (HF, IP, FW), pp. 197–212.
ICTSSICTSS-2017-Huang0
Safety-Complete Test Suites (WlH, JP0), pp. 145–161.
ICTSSICTSS-2017-HusterSRKR #robust #using #verification
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques (SH, JS, JR, TK, WR), pp. 54–70.
ICTSSICTSS-2017-MaAYE #execution #learning
Fragility-Oriented Testing with Model Execution and Reinforcement Learning (TM, SA0, TY0, ME), pp. 3–20.
ICTSSICTSS-2017-Nguena-TimoPR #finite #multi #mutation testing #state machine
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs (ONT, AP, SR), pp. 108–125.
ICTSSICTSS-2017-SalvaR #integration #security #using
Using Data Integration for Security Testing (SS, LR), pp. 178–194.
ICTSSICTSS-2017-SimosBDGKLW #combinator #execution #framework #using
Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
ICTSSICTSS-2017-Tvardovskii #automaton #reduction #specification
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation (AT), pp. 333–339.
TAPTAP-2017-FuchsK #enterprise #java
Unit Testing of Database-Driven Java Enterprise Edition Applications (AF, HK), pp. 59–76.
TAPTAP-2017-GerholdS #modelling #probability
Model-Based Testing of Probabilistic Systems with Stochastic Time (MG, MS), pp. 77–97.
TAPTAP-2017-IkeshitaIH #framework #reduction
Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
TAPTAP-2017-MaalejKJ #composition #modelling #named
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions (AJM, MK, MJ), pp. 139–151.
TAPTAP-2017-Reger0V #case study #challenge #experience #proving #theorem proving
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (GR, MS0, AV), pp. 152–161.
WICSAWICSA-2016-BuchgeherKHSH #approach #architecture #enterprise
Improving Testing in an Enterprise SOA with an Architecture-Based Approach (GB, CK, WH, MS, HH), pp. 231–240.
CSEETCSEET-2016-Sedano #empirical #readability
Code Readability Testing, an Empirical Study (TS), pp. 111–117.
EDMEDM-2016-NogaitoYK #automation #case study #similarity #using
Study on Automatic Scoring of Descriptive Type Tests using Text Similarity Calculations (IN, KY, HK), pp. 616–617.
ICPCICPC-2016-MaZYZ #automation #library #reuse
Retrofitting automatic testing through library tests reusing (LM0, CZ, BY, JZ), pp. 1–4.
ICSMEICSME-2016-AlghmadiSSH #approach #automation #performance #recommendation
An Automated Approach for Recommending When to Stop Performance Tests (HMA, MDS, WS, AEH), pp. 279–289.
ICSMEICSME-2016-AndersonDS #using
Customized Regression Testing Using Telemetry Usage Patterns (JA, HD, SS), pp. 572–581.
ICSMEICSME-2016-Dzakovic #automation #development #industrial
Industrial Application of Automated Regression Testing in Test-Driven ETL Development (MD), pp. 582–585.
ICSMEICSME-2016-MarijanL #performance
Effect of Time Window on the Performance of Continuous Regression Testing (DM, ML), pp. 568–571.
ICSMEICSME-2016-McMinnWKMCK #database #generative #named #relational #search-based
SchemaAnalyst: Search-Based Test Data Generation for Relational Database Schemas (PM, CJW, CK, CJM, MC, GMK), pp. 586–590.
ICSMEICSME-2016-Moran #debugging #mobile
Improving Bug Reporting and Testing for Mobile Applications (KM), p. 620.
ICSMEICSME-2016-MoranVP #android #automation #research #user interface
Automated GUI Testing of Android Apps: From Research to Practice (KM, MLV, DP), p. 648.
SANERSANER-2016-MoralesSMKCA #design #quality #refactoring
Finding the Best Compromise Between Design Quality and Testing Effort During Refactoring (RM, AS, PM, FK, FC, GA), pp. 24–35.
SCAMSCAM-2016-BaloghGBG #question
Are My Unit Tests in the Right Package? (GB, TG, ÁB, TG), pp. 137–146.
SCAMSCAM-2016-GaoHMW #bound #model checking #named
LLSPLAT: Improving Concolic Testing by Bounded Model Checking (MG0, LH, RM, ZW), pp. 127–136.
SCAMSCAM-2016-KintisPPVM #effectiveness #mutation testing #tool support
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study (MK, MP, AP, EV, NM), pp. 147–156.
FMFM-2016-BeckerCGHHKNSTT #analysis #formal method #modelling #proving
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor (HB, JMC, JG, UH, YH, CK, KN0, JLS, HT, TT), pp. 69–84.
FMFM-2016-KongLCSSW #hybrid #towards
Towards Concolic Testing for Hybrid Systems (PK, YL0, XC0, JS0, MS0, JW), pp. 460–478.
FMFM-2016-PeleskaH #modelling #safety
Industrial-Strength Model-Based Testing of Safety-Critical Systems (JP0, WlH), pp. 3–22.
IFM-2016-AlbertGI #concurrent #detection #static analysis
Combining Static Analysis and Testing for Deadlock Detection (EA, MGZ, MI), pp. 409–424.
IFM-2016-RiescoR #random testing #streaming
Temporal Random Testing for Spark Streaming (AR0, JRH), pp. 393–408.
HaskellHaskell-2016-BraquehaisR #functional #named
FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
ICFP-2016-Sergey #algorithm #case study #experience #geometry #random testing
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms (IS), pp. 193–199.
DiGRADiGRA-FDG-2016-CooperDT #game studies #rating
Player Rating Systems for Balancing Human Computation Games: Testing the Effect of Bipartiteness (SC, SD, TT).
ICMLICML-2016-LeiF #order #power of
Power of Ordered Hypothesis Testing (LL, WF), pp. 2924–2932.
ICMLICML-2016-LiuLJ #kernel
A Kernelized Stein Discrepancy for Goodness-of-fit Tests (QL, JDL, MIJ), pp. 276–284.
ICMLICML-2016-RogersVLG #independence
Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing (MG, HWL, RMR, SPV), pp. 2111–2120.
ICPRICPR-2016-AdakCB #identification
Writer identification by training on one script but testing on another (CA, BBC, MB), pp. 1153–1158.
KDDKDD-2016-WebbP #multi #statistics
A Multiple Test Correction for Streams and Cascades of Statistical Hypothesis Tests (GIW, FP), pp. 1255–1264.
KDDKDD-2016-XuC #mobile
Evaluating Mobile Apps with A/B and Quasi A/B Tests (YX, NC), pp. 313–322.
MoDELSMoDELS-2016-BatotS #framework #learning #unification
A generic framework for model-set selection for the unification of testing and learning MDE tasks (EB, HAS), pp. 374–384.
MoDELSMoDELS-2016-ChabotPN #design #multi
A requirement driven testing method for multi-disciplinary system design (MC, LP, ANM), pp. 396–405.
AdaEuropeAdaEurope-2016-Jones #ada #impact analysis #problem
Addressing the Regression Test Problem with Change Impact Analysis for Ada (AVJ), pp. 61–77.
AdaEuropeAdaEurope-2016-LaaliLHSS #detection #fault #online #using
Test Case Prioritization Using Online Fault Detection Information (ML, HL, MH, MS, HWS), pp. 78–93.
LOPSTRLOPSTR-2016-MesnardPV #logic programming #on the #source code #unification
On the Completeness of Selective Unification in Concolic Testing of Logic Programs (FM, ÉP, GV), pp. 205–221.
PLDIPLDI-2016-ChenSSSZ #difference #implementation #virtual machine
Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
PPDPPPDP-2016-AlbertAG #concurrent #imperative #using
Testing of concurrent and imperative software using CLP (EA, PA, MGZ), pp. 1–8.
ASEASE-2016-AbdessalemNBS #multi #network #using
Testing advanced driver assistance systems using multi-objective search and neural networks (RBA, SN, LCB, TS), pp. 63–74.
ASEASE-2016-AlipourSGMG #reduction
Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
ASEASE-2016-BaekB #android #automation #comparison #modelling #multi #user interface #using
Automated model-based Android GUI testing using multi-level GUI comparison criteria (YMB, DHB), pp. 238–249.
ASEASE-2016-CaiY #probability
Radius aware probabilistic testing of deadlocks with guarantees (YC, ZY), pp. 356–367.
ASEASE-2016-CeccatoNAB #automation #black box #injection #named #security
SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities (MC, CDN, DA, LCB), pp. 167–177.
ASEASE-2016-ChengCYW #as a service #named #user interface
GUICat: GUI testing as a service (LC, JC, ZY, CW), pp. 858–863.
ASEASE-2016-Keng #automation #behaviour #mobile #privacy
Automated testing and notification of mobile app privacy leak-cause behaviours (JCJK), pp. 880–883.
ASEASE-2016-LiLKLG #big data #combinator #generative
Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.
ASEASE-2016-LiuGAA #automation #integration #named #tool support
TeeVML: tool support for semi-automatic integration testing environment emulation (JL, JCG, IA, MAA), pp. 840–845.
ASEASE-2016-StratisR #execution #permutation
Test case permutation to improve execution time (PS, AR), pp. 45–50.
ASEASE-2016-TangWWZ #android #concurrent #debugging #generative
Generating test cases to expose concurrency bugs in Android applications (HT, GW, JW, HZ), pp. 648–653.
ASEASE-2016-Tzoref-BrillWM #combinator #modelling #visualisation
Visualization of combinatorial models and test plans (RTB, PW, SM), pp. 144–154.
ASEASE-2016-WangWCW #classification #crowdsourcing
Local-based active classification of test report to assist crowdsourced testing (JW, SW, QC, QW), pp. 190–201.
ASEASE-2016-YamadaBAKC #combinator #generative #satisfiability #using
Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
ASEASE-2016-ZhangHC #automation #generative #towards
Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSEFSE-2016-CohenPV #algorithm #lens
Budgeted testing through an algorithmic lens (MBC, AP, NVV), pp. 948–951.
FSEFSE-2016-DhokR #detection #generative
Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
FSEFSE-2016-Hajri #case study #development #product line
Supporting change in product lines within the context of use case-driven development and testing (IH), pp. 1082–1084.
FSEFSE-2016-Hammoudi #tool support #using #web
Regression testing of web applications using Record/Replay tools (MH), pp. 1079–1081.
FSEFSE-2016-HammoudiRS #approach #incremental #named #web
WATERFALL: an incremental approach for repairing record-replay tests of web applications (MH, GR, AS0), pp. 751–762.
FSEFSE-2016-Kellogg #debugging #detection #generative
Combining bug detection and test case generation (MK), pp. 1124–1126.
FSEFSE-2016-Kurtz #mutation testing #on the
On the utility of dominator mutants for mutation testing (BK), pp. 1088–1090.
FSEFSE-2016-LegunsenHSLZM #evolution
An extensive study of static regression test selection in modern software evolution (OL, FH, AS, YL, LZ, DM), pp. 583–594.
FSEFSE-2016-Luo #performance
Input-sensitive performance testing (QL), pp. 1085–1087.
FSEFSE-2016-Luo16a #automation #performance #profiling #using
Automatic performance testing using input-sensitive profiling (QL), pp. 1139–1141.
FSEFSE-2016-LuoMP #comparison #empirical #scalability
A large-scale empirical comparison of static and dynamic test case prioritization techniques (QL, KM, DP), pp. 559–570.
FSEFSE-2016-PonzioAFV
Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
FSEFSE-2016-SungKS0 #analysis #dependence #web
Static DOM event dependency analysis for testing web applications (CS, MK, NS0, CW0), pp. 447–459.
FSEFSE-2016-YoshidaTPGU #c #c++ #fine-grained #generative #incremental #named #source code
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
FSEFSE-2016-ZalmanoviciRT #analysis #clustering #functional
Cluster-based test suite functional analysis (MZ, OR, RTB), pp. 962–967.
FSEFSE-2016-ZhangLZHZM #branch
Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
FSEFSE-2016-ZhongZK #combinator #generative
Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
ICSE-2016-ChenHHXZ0X #comparison #compilation #empirical
An empirical comparison of compiler testing techniques (JC0, WH, DH, YX, HZ0, LZ0, BX), pp. 180–190.
ICSE-2016-DhokRS #javascript #source code
Type-aware concolic testing of JavaScript programs (MD, MKR, NS0), pp. 168–179.
ICSE-2016-LuLCZHZ0 #evolution #how #question
How does regression test prioritization perform in real-world software evolution? (YL, YL, SC0, LZ, DH, YZ, LZ0), pp. 535–546.
ICSE-2016-MatinnejadNBB #automation #generative #modelling
Automated test suite generation for time-continuous simulink models (RM, SN, LCB, TB), pp. 595–606.
ICSE-2016-MirzaeiGBSM #android #combinator #user interface
Reducing combinatorics in GUI testing of android applications (NM, JG, HB, AS, SM), pp. 559–570.
ICSE-2016-PalikarevaKC
Shadow of a doubt: testing for divergences between software versions (HP, TK, CC), pp. 1181–1192.
ICSE-2016-PanichellaPBZG #debugging #empirical #performance #summary
The impact of test case summaries on bug fixing performance: an empirical investigation (SP, AP, MB, AZ, HCG), pp. 547–558.
ICSE-2016-YuQC #automation #framework #named
VDTest: an automated framework to support testing for virtual devices (TY, XQ, MBC), pp. 583–594.
GPCEGPCE-2016-Al-HajjajiKTLS #incremental #named #performance #product line #using
IncLing: efficient product-line testing using incremental pairwise sampling (MAH, SK, TT, ML, GS), pp. 144–155.
GPCEGPCE-2016-Al-HajjajiMKSTL #configuration management
Tool demo: testing configurable systems with FeatureIDE (MAH, JM, SK, RS, TT, TL, GS), pp. 173–177.
GPCEGPCE-2016-BoussaaBBS #automation #code generation #non-functional #product line
Automatic non-functional testing of code generators families (MB, OB, BB, GS), pp. 202–212.
GPCEGPCE-2016-MakkiLJ #automation #delivery #framework #process
Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery (MM, DVL, WJ), pp. 178–189.
GPCEGPCE-2016-Rothberg00L #scalability #towards
Towards scalable configuration testing in variable software (VR, CD, AZ, DL), pp. 156–167.
SLESLE-2016-MeyersDDV #automation #domain-specific language #modelling
Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
CASECASE-2016-MaP #approach #embedded #named #programmable
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers (CM, JP), pp. 878–884.
CASECASE-2016-WiebeRRV #approach #automation #composition #delivery #fault #generative #injection #simulation #using
Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach (FW, SR, SR, BVH), pp. 758–765.
CCCC-2016-AlbertGI #concurrent #named
SYCO: a systematic testing tool for concurrent objects (EA, MGZ, MI), pp. 269–270.
FASEFASE-2016-GerholdS #modelling #probability
Model-Based Testing of Probabilistic Systems (MG, MS), pp. 251–268.
ICSTICST-2016-Al-RefaiGC #adaptation #modelling #runtime #validation
Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems (MAR, SG, WC), pp. 288–298.
ICSTICST-2016-ArcuriCF #development #generative #plugin
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.
ICSTICST-2016-BernardinoZR #domain-specific language #modelling #named #performance
Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.
ICSTICST-2016-Bianchi #concurrent
Testing Concurrent Software Systems (FAB), pp. 375–376.
ICSTICST-2016-ChenBHXZ0X #approach #compilation
Test Case Prioritization for Compilers: A Text-Vector Based Approach (JC0, YB, DH, YX, HZ0, LZ0, BX), pp. 266–277.
ICSTICST-2016-Dadkhah #generative #semantics
Semantic-Based Test Case Generation (MD), pp. 377–378.
ICSTICST-2016-EnoiuCSP #embedded #empirical #safety
A Controlled Experiment in Testing of Safety-Critical Embedded Software (EPE, AC, DS, PP), pp. 1–11.
ICSTICST-2016-FeldtPCY #set
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases (RF, SMP, DC, SY), pp. 223–233.
ICSTICST-2016-Gao #interactive #question #what
Making System User Interactive Tests Repeatable: When and What Should we Control? (ZG), pp. 379–380.
ICSTICST-2016-GaoJBL #analysis #effectiveness #framework
A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques (RG, ZMJ, CB, ML), pp. 22–32.
ICSTICST-2016-GarousiH #case study #experience #topic
Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report (VG, KH), pp. 213–222.
ICSTICST-2016-GhardallouDMF #debugging
Debugging without Testing (WG, ND, AM, MFF), pp. 113–123.
ICSTICST-2016-HammoudiRT #question #web #why
Why do Record/Replay Tests of Web Applications Break? (MH, GR, PT), pp. 180–190.
ICSTICST-2016-HollingHPG #integration
Profiting from Unit Tests for Integration Testing (DH, AH, AP, MG), pp. 353–363.
ICSTICST-2016-HughesPAN #distributed
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service (JH, BCP, TA, UN), pp. 135–145.
ICSTICST-2016-Kunze #product line
Symbolic Characterisation of Commonalities in Testing Software Product Lines (SK), pp. 387–388.
ICSTICST-2016-LiEK #modelling #named
Skyfire: Model-Based Testing with Cucumber (NL0, AE, TK), pp. 393–400.
ICSTICST-2016-Lima #automation #distributed
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems (BL), pp. 383–384.
ICSTICST-2016-LiVVPK #automation
Automatically Documenting Unit Test Cases (BL, CV, MLV, DP, NAK), pp. 341–352.
ICSTICST-2016-LongYPMS #collaboration #component #coordination
Coordinated Collaborative Testing of Shared Software Components (TL, ICY, AAP, AMM, AS), pp. 364–374.
ICSTICST-2016-MarculescuFT #evaluation #search-based #using
Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation (BM, RF, RT), pp. 69–79.
ICSTICST-2016-Mirshokraie0P #named #user interface
Atrina: Inferring Unit Oracles from GUI Test Cases (SM, AM0, KP), pp. 330–340.
ICSTICST-2016-PinaH #framework #named
Tedsuto: A General Framework for Testing Dynamic Software Updates (LP, MH0), pp. 278–287.
ICSTICST-2016-Segall #combinator #design #multi
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations (IS), pp. 12–21.
ICSTICST-2016-ShinB #comprehension #framework
A Theoretical Framework for Understanding Mutation-Based Testing Methods (DS0, DHB), pp. 299–308.
ICSTICST-2016-StivaletF #generative #php #scalability
Large Scale Generation of Complex and Faulty PHP Test Cases (BS, EF), pp. 409–415.
ICSTICST-2016-WetzlmaierRP #framework #user interface
A Framework for Monkey GUI Testing (TW, RR, WP), pp. 416–423.
ICSTICST-2016-YuWHH #concurrent #predict #source code
Predicting Testability of Concurrent Programs (TY, WW, XH, JHH), pp. 168–179.
ICSTICST-2016-Zuddas #interactive #semantics
Semantic Testing of Interactive Applications (DZ), pp. 391–392.
ICTSSICTSS-2016-Bochmann #consistency #partial order #specification
Conformance Testing with Respect to Partial-Order Specifications (GvB), pp. 3–17.
ICTSSICTSS-2016-EberhardingerHS #self
Back-to-Back Testing of Self-organization Mechanisms (BE, AH, HS, WR), pp. 18–35.
ICTSSICTSS-2016-EnoiuSCFP #embedded #generative #model checking #using
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking (EPE, DS, AC, RF, PP), pp. 155–171.
ICTSSICTSS-2016-GomesATLBCM #named
UTTOS: A Tool for Testing UEFI Code in OS Environment (ECMG, PRPA, EMT, AGSL, FTB, JFCC, JCM), pp. 218–224.
ICTSSICTSS-2016-HieronsMN #distributed #nondeterminism
Controllability Through Nondeterminism in Distributed Testing (RMH, MGM, MN0), pp. 89–105.
ICTSSICTSS-2016-Jaaskelainen #towards #user interface
Towards Model Construction Based on Test Cases and GUI Extraction (AJ), pp. 225–230.
ICTSSICTSS-2016-KampelS #algorithm #combinator #generative
Set-Based Algorithms for Combinatorial Test Set Generation (LK, DES), pp. 231–240.
ICTSSICTSS-2016-MartinezERVO #automation #industrial #locality
Automated Localisation Testing in Industry with Test ^* ∗ (MM, AEA, UR, TEJV, CO), pp. 241–248.
ICTSSICTSS-2016-PetrenkoNR #automaton #constraints #generative #theorem proving
Test Generation by Constraint Solving and FSM Mutant Killing (AP, ONT, SR), pp. 36–51.
ICTSSICTSS-2016-PradhanWAYL #industrial #multi #named #using
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice (DP, SW0, SA0, TY0, ML), pp. 172–190.
ICTSSICTSS-2016-ReichstallerEKR #learning #using
Risk-Based Interoperability Testing Using Reinforcement Learning (AR, BE, AK, WR, MG), pp. 52–69.
ICTSSICTSS-2016-SimosKGGL #approach #combinator #security #web
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing (DES, KK, LSGG, BG, YL), pp. 70–85.
ICTSSICTSS-2016-SipplBWAG #automation #simulation
From Simulation Data to Test Cases for Fully Automated Driving and ADAS (CS, FB, DW, HA, RG), pp. 191–206.
ICTSSICTSS-2016-YevtushenkoEE #adaptation #implementation #nondeterminism #on the fly #sequence #specification
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications (NY, KEF, AE), pp. 139–152.
IJCARIJCAR-2016-BrombergerW #constraints #performance #theorem proving
Fast Cube Tests for LIA Constraint Solving (MB, CW), pp. 116–132.
TAPTAP-2016-BruckerW #monad #sequence
Monadic Sequence Testing and Explicit Test-Refinements (ADB, BW), pp. 17–36.
TAPTAP-2016-CheneyMP #prolog #roadmap
Advances in Property-Based Testing for α Prolog (JC, AM, MP), pp. 37–56.
TAPTAP-2016-DuboisGG #combinator #proving
Tests and Proofs for Enumerative Combinatorics (CD, AG, RG), pp. 57–75.
TAPTAP-2016-FelbingerPW #effectiveness #model inference
Classifying Test Suite Effectiveness via Model Inference and ROBBDs (HF, IP, FW), pp. 76–93.
TAPTAP-2016-Liu #specification #theorem #verification
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (SL), pp. 112–129.
TAPTAP-2016-PetiotKBGJ #proving
Your Proof Fails? Testing Helps to Find the Reason (GP, NK, BB, AG, JJ), pp. 130–150.
TAPTAP-2016-Slama #automation #certification #exclamation #what
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! (FS), pp. 191–198.
TAPTAP-2016-TamaritRMC #debugging #erlang
Debugging Meets Testing in Erlang (ST, AR0, EMM, RC0), pp. 171–180.
VMCAIVMCAI-2016-DacaGH
Abstraction-driven Concolic Testing (PD, AG0, TAH), pp. 328–347.
CBSECBSE-2015-BenesDHKN #composition
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
PODSPODS-2015-HuQT15a #dependence
Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration (XH, MQ, YT), pp. 291–301.
PODSPODS-2015-IndykLR #approximate
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
VLDBVLDB-2015-SH #approach #big data #named
CODD: A Dataless Approach to Big Data Testing (AS, JRH), pp. 2008–2019.
EDMEDM-2015-ViePGBB #adaptation #modelling #performance #predict #scalability
Predicting Performance on Dichotomous Questions: Comparing Models for Large-Scale Adaptive Testing (JJV, FP, JBG, EB, YB), pp. 618–619.
ITiCSEITiCSE-2015-BrianTHF #debugging #student
Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.
SIGITESIGITE-2015-MillerSL #learning #object-oriented #programming #python #towards
Learning Object-Oriented Programming in Python: Towards an Inventory of Difficulties and Testing Pitfalls (CSM, AS, JL), pp. 59–64.
SCAMSCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation
Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
ICPCICPC-2015-ChittimalliS #fault #locality
Fault localization during system testing (PKC, VS), pp. 285–286.
ICPCICPC-2015-HauptmannJW #automation #generative #refactoring
Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPCICPC-2015-KhadkeRS #functional #workflow
Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.
ICSMEICSME-2015-EkelundE #evaluation #industrial #performance
Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
SANERSANER-2015-KochharTL #debugging #effectiveness #empirical #scalability #test coverage
Code coverage and test suite effectiveness: Empirical study with real bugs in large systems (PSK, FT, DL), pp. 560–564.
SCAMSCAM-2015-BrandtnerLG #dependence #integration #source code
Intent, tests, and release dependencies: Pragmatic recipes for source code integration (MB, PL, HCG), pp. 11–20.
SCAMSCAM-2015-GhafariGR #automation #identification
Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
SCAMSCAM-2015-GhanavatiA #automation #memory management
Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.
DLTDLT-2015-MasopustT #automaton #complexity #on the
On the Complexity of k-Piecewise Testability and the Depth of Automata (TM, MT), pp. 364–376.
ICALPICALP-v1-2015-BerkholzG #algebra #graph #morphism
Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
ICALPICALP-v1-2015-Canonne #big data
Big Data on the Rise? — Testing Monotonicity of Distributions (CLC), pp. 294–305.
LATALATA-2015-Salem #automaton #ltl #model checking
Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
FMFM-2015-MirandaMR #automation #design #generative #using #verification
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
SEFMSEFM-2015-CarvalhoBCCMS #csp #natural language #requirements
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
SEFMSEFM-2015-HanazumiM #on the
On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.
SEFMSEFM-2015-HusterBELRKR #performance
Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFMSEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #using
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
SEFMSEFM-2015-SavaryFLL #modelling #robust #using
Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
HaskellHaskell-2015-WalkerR #concurrent #haskell #library
Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.
CoGCIG-2015-OhK #reliability
Testing reliability of replay-based imitation for StarCraft (ISO, KJK), pp. 536–537.
CHICHI-2015-ChenZ #prototype
Remote Paper Prototype Testing (KC, HZ), pp. 77–80.
HCIDUXU-DD-2015-AsthanaS #modelling #named #usability #using #xml
Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
HCIDUXU-DD-2015-CyprianoP #design #interactive #process #prototype
Prototyping and Testing Throughout all the Design Process as a Methodology for Developing Interaction Design Projects (LC, MP), pp. 157–166.
HCIDUXU-DD-2015-DiasVSVPSE #approach #usability
A Living Labs Approach for Usability Testing of Ambient Assisted Living Technologies (MSD, EV, FS, AV, FMP, NS, SE), pp. 167–178.
HCIDUXU-DD-2015-FilhoPV15b #automation #mobile #usability
Emotions Logging in Automated Usability Tests for Mobile Devices (JFF, WP, TV), pp. 428–435.
HCIDUXU-DD-2015-TarkkanenHR #analysis #problem #usability
Are We Testing Utility? Analysis of Usability Problem Types (KT, VH, PR), pp. 269–280.
HCIHCI-DE-2015-ChynalS #usability
Web-Systems Remote Usability Tests and Their Participant Recruitment (PC, JS), pp. 175–183.
HCIHCI-UC-2015-BorsciFMC #assessment #usability
Short Scales of Satisfaction Assessment: A Proxy to Involve Disabled Users in the Usability Testing of Websites (SB, SF, MLM, MC), pp. 35–42.
HCIHIMI-IKC-2015-MatsudaOHT #analysis #automation #generative #multi #problem #using
Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
HCIHIMI-IKD-2015-FischerOFIW #framework #interface #multi #named #platform #prototype
URU: A Platform for Prototyping and Testing Compatibility of Multifunction Interfaces with User Knowledge Schemata (SF, BO, MF, MI, EW), pp. 151–160.
ICEISICEIS-v1-2015-SilveiraCC #fault #monitoring
Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
ICEISICEIS-v2-2015-AbadeFL #overview #perspective
Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.
ICEISICEIS-v2-2015-MunizNM #functional #modelling #named #statistics
TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEISICEIS-v2-2015-ThommazoCHGPBF #complexity #dependence #requirements #using
Using the Dependence Level Among Requirements to Priorize the Regression Testing Set and Characterize the Complexity of Requirements Change (ADT, KC, EMH, GG, JP, AB, SF), pp. 231–241.
KDDKDD-2015-Kohavi #lessons learnt #online
Online Controlled Experiments: Lessons from Running A/B/n Tests for 12 Years (RK), p. 1.
KDDKDD-2015-Llinares-LopezS #mining #mutation testing #performance #permutation
Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.
KDDKDD-2015-XuCFSB #challenge #framework #network #scalability #social
From Infrastructure to Culture: A/B Testing Challenges in Large Scale Social Networks (YX, NC, AF, OS, AB), pp. 2227–2236.
SEKESEKE-2015-BritoSSS #integration #mobile
Integration testing criteria for mobile robotic systems (MASB, MS, PSLS, SRSS), pp. 182–187.
SEKESEKE-2015-ElerDE #exception #execution #generative #symbolic computation
Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKESEKE-2015-Hori0TO #comparison #image #web
An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.
SEKESEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKESEKE-2015-LinHX #automation #framework #statistics #user interface
An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKESEKE-2015-LinYX #automation #detection #generative #parametricity
Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKESEKE-2015-SongHJC #android #generative
Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SEKESEKE-2015-WangJC #similarity
Similarity-based regression test case prioritization (RW, SJ, DC), pp. 358–363.
SEKESEKE-2015-XuA #component
A JVM-based Testing Harness for Improving Component Testability (WX, OeA), pp. 421–426.
SEKESEKE-2015-XuSZ #algorithm #policy
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SIGIRSIGIR-2015-Carterette #effectiveness #random
The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
SIGIRSIGIR-2015-KharitonovVMSO #online
Sequential Testing for Early Stopping of Online Experiments (EK, AV, CM, PS, IO), pp. 473–482.
ICMTICMT-J-2012-GuerraS15 #model transformation
Specification-driven model transformation testing (EG, MS), pp. 623–644.
MoDELSMoDELS-2015-AliY #formal method #standard
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELSMoDELS-2015-GogollaVBH #model transformation
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELSMoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #platform
An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELSMoDELS-2015-MannaSG #combinator #specification
Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
SPLCSPLC-2015-LachmannLLBSS #integration #product line
Delta-oriented test case prioritization for integration testing of software product lines (RL, SL, SL, SB, SS, IS), pp. 81–90.
SPLCSPLC-2015-PatelS #as a service #automation #using #variability
Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
SPLCSPLC-2015-ReulingBRLK #effectiveness #generative #product line
Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
LOPSTRLOPSTR-2015-CaballeroMKH #automation #generative #java #using
Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.
PLDIPLDI-2015-DeligiannisDKLT #analysis #programming #state machine
Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
PLDIPLDI-2015-SamakRJ
Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
POPLPOPL-2015-Pous #algebra #algorithm #equivalence
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
PPDPPPDP-2015-GiantsiosPS #functional
Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
ASEASE-2015-ArthoSGCKMRY #api #modelling
Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.
ASEASE-2015-Boushehrinejadmoradi #development #framework #mobile #platform
Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
ASEASE-2015-CarinoA #optimisation #user interface #using
Dynamically Testing GUIs Using Ant Colony Optimization (T) (SC, JHA), pp. 138–148.
ASEASE-2015-Fard0W #generative #javascript
Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
ASEASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #performance
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.
ASEASE-2015-MaAZSGR #named #random testing
GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.
ASEASE-2015-MorgadoP #mobile #user interface
The iMPAcT Tool: Testing UI Patterns on Mobile Applications (ICM, ACRP), pp. 876–881.
ASEASE-2015-NardoPAB #modelling #robust #using
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T) (DDN, FP, AA, LCB), pp. 126–137.
ASEASE-2015-ShamshiriJRFMA #automation #challenge #effectiveness #empirical #fault
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T) (SS, RJ, JMR, GF, PM, AA), pp. 201–211.
ASEASE-2015-WaterlooPE #analysis #fault
Test Analysis: Searching for Faults in Tests (N) (MW, SP, SGE), pp. 149–154.
ASEASE-2015-YouRHKKS #implementation #modelling #platform
Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.
ESEC-FSEESEC-FSE-2015-ArcainiGR #composition #generative #modelling
Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSEESEC-FSE-2015-ArcuriFG #automation #generative #network
Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSEESEC-FSE-2015-ChenS #difference #implementation #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ESEC-FSEESEC-FSE-2015-DakaCFDW #modelling #readability
Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSEESEC-FSE-2015-DesaiQS
Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ESEC-FSEESEC-FSE-2015-FengCJFX #crowdsourcing
Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.
ESEC-FSEESEC-FSE-2015-KimNYCK #api #fault #named #performance #predict
REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSEESEC-FSE-2015-MatinnejadNBB #effectiveness
Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
ESEC-FSEESEC-FSE-2015-ParameshwaranBS15a #framework #named #platform #robust
DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ESEC-FSEESEC-FSE-2015-Prasetya #generative #java #named #query
T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSEESEC-FSE-2015-SamakR #detection
Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.
ESEC-FSEESEC-FSE-2015-Shamshiri #automation #evolution #generative
Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSEESEC-FSE-2015-ShiYGM #reduction
Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
ESEC-FSEESEC-FSE-2015-SunXLLQ #abstraction #learning #named #validation
TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ESEC-FSEESEC-FSE-2015-WangPGBI #automation #case study #named #specification #tool support
UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ESEC-FSEESEC-FSE-2015-White #generative #parametricity #performance #search-based #using
Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
ESEC-FSEESEC-FSE-2015-XuanXM
Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.
ESEC-FSEESEC-FSE-2015-Yu #concurrent #named #source code
TACO: test suite augmentation for concurrent programs (TY), pp. 918–921.
ESEC-FSEESEC-FSE-2015-ZhangM #correlation #effectiveness
Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.
ICSEICSE-v1-2015-DenaroMPV #data flow #object-oriented
Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSEICSE-v1-2015-GaoLCMW #interactive #question #what
Making System User Interactive Tests Repeatable: When and What Should We Control? (ZG, YL, MBC, AMM, ZW), pp. 55–65.
ICSEICSE-v1-2015-HerzigGCM #quality
The Art of Testing Less without Sacrificing Quality (KH, MG, JC, BM), pp. 483–493.
ICSEICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #using
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
ICSEICSE-v1-2015-SahaZKP #approach #information retrieval
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
ICSEICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSEICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code
RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
ICSEICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSEICSE-v1-2015-YandrapallySS #automation #composition #user interface
Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSEICSE-v1-2015-YiYLZW #analysis
A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
ICSEICSE-v1-2015-YuBC #approach #fault #multi
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests (ZY, CB, KYC), pp. 924–935.
ICSEICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints
A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
ICSEICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named
FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSEICSE-v2-2015-GligoricEM #lightweight #named
Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
ICSEICSE-v2-2015-Imparato #android #user interface
A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.
ICSEICSE-v2-2015-Jiang #scalability
Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSEICSE-v2-2015-KlasBDSH #analysis #evaluation #modelling #scalability
A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing (MK, TB, AD, TS, PH), pp. 119–128.
ICSEICSE-v2-2015-LindvallGAW #case study #experience #modelling
Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
ICSEICSE-v2-2015-NetoTM #empirical #evaluation
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
ICSEICSE-v2-2015-Ouriques #modelling
Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSEICSE-v2-2015-ParkHKLC #case study #nondeterminism
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
ICSEICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #tool support
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
ICSEICSE-v2-2015-Vasquez #android
Enabling Testing of Android Apps (MLV), pp. 763–765.
ICSEICSE-v2-2015-Zhang #mutation testing #scalability
Scalability Studies on Selective Mutation Testing (JZ), pp. 851–854.
SACSAC-2015-BrideJM #approximate #generative
Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SACSAC-2015-ByunC #automation #constraints #operating system #safety #using
Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SACSAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random
Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.
SACSAC-2015-ElyasovPHRVC #equivalence #execution
AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
SACSAC-2015-Homm0G #concurrent #markov #modelling #statistics
Concurrent streams in Markov chain usage models for statistical testing of complex systems (DH, JE, RG), pp. 1803–1807.
SACSAC-2015-JesusVB #functional #web
Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SACSAC-2015-LeottaSRT #automation #generative #visual notation #web
Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SACSAC-2015-SanchezJ #interactive #modelling #music
Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SACSAC-2015-SunyaevB #empirical #independence
Truth and myth of independent software testing: a controlled human experiment (AS, DB), pp. 1722–1728.
SACSAC-2015-VieiraHH #mobile
A context simulator as testing support for mobile apps (VV, KH, MH), pp. 535–541.
CASECASE-2015-MaP #approach #black box #programmable
Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.
DACDAC-2015-PetrenkoTR #challenge #modelling
Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DACDAC-2015-Pomeranz #generative
Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
DATEDATE-2015-DupuisBFNR #hardware
New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
DATEDATE-2015-HaghbayanRFLPNT #manycore #online #power management
Power-aware online testing of manycore systems in the dark silicon era (MHH, AMR, MF, PL, JP, ZN, HT), pp. 435–440.
DATEDATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation
Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
DATEDATE-2015-KunduBK #design #fault
Fault diagnosis in designs with extreme low pin test data compressors (SK, PB, RK), pp. 1285–1288.
DATEDATE-2015-LiaperdosAT #detection #estimation #fault #probability
A method for the estimation of defect detection probability of analog/RF defect-oriented tests (JL, AA, YT), pp. 1395–1400.
DATEDATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #validation
Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.
DATEDATE-2015-TchagouTMVSQ #multi
Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.
DATEDATE-2015-TouatiBDGVBR #functional #power management #source code
Exploring the impact of functional test programs re-used for power-aware testing (AT, AB, LD, PG, AV, PB, MSR), pp. 1277–1280.
DATEDATE-2015-TrinadhBSPK #approach #named #programming
DP-fill: a dynamic programming approach to X-filling for minimizing peak test power in scan tests (ST, CSB, SGS, SP, VK), pp. 836–841.
DATEDATE-2015-YangRMDV #embedded #framework #generative #on the fly #platform #random
Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
PPoPPPPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
SOSPSOSP-2015-RidgeSTGMS #file system #named #specification
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
ESOPESOP-2015-SeidelVJ
Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
FASEFASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
FASEFASE-2015-JehanPW #integration
BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
STOCSTOC-2015-ChenDST #adaptation #query
Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.
STOCSTOC-2015-CzumajPS #clustering #graph
Testing Cluster Structure of Graphs (AC, PP, CS), pp. 723–732.
STOCSTOC-2015-ODonnellW #quantum
Quantum Spectrum Testing (RO, JW), pp. 529–538.
ICLPICLP-J-2015-MesnardPV #logic programming
Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
ICSTICST-2015-0001YPGS #analysis #generative #using
Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
ICSTICST-2015-AlegrothGOM #component #concept #empirical #evaluation #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.
ICSTICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICSTICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling
Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICSTICST-2015-ArltMPW #dependence
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
ICSTICST-2015-BrajnikBF #integration #latency #modelling #web
Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICSTICST-2015-CarboneCPP #identification #security
Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.
ICSTICST-2015-ErmanTBRA #approach #automation #clustering #development #information management #multi #navigation
Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.
ICSTICST-2015-FarzanHV #concurrent #execution
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICSTICST-2015-Felbinger #assessment #model inference #quality #using
Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ICSTICST-2015-HalleBGB #constraints #layout #web
Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
ICSTICST-2015-HarmanJZ #challenge #problem
Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICSTICST-2015-Haser #integration
Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.
ICSTICST-2015-HemmatiFM #agile
Prioritizing Manual Test Cases in Traditional and Rapid Release Environments (HH, ZF, MVM), pp. 1–10.
ICSTICST-2015-HerboldFGHHKMMN #framework #platform
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.
ICSTICST-2015-Holleis #development #embedded #industrial #workflow
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICSTICST-2015-HuuhtanenIL #algebra #algorithm #design
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
ICSTICST-2015-JensenTSC #generative
Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
ICSTICST-2015-KobashiYWFYOK #design pattern #named #security #verification
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.
ICSTICST-2015-KochharTNZL #automation #comprehension #developer
Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.
ICSTICST-2015-KrennSTAJB #modelling #mutation testing #named #uml
MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICSTICST-2015-KunzleW #development
A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.
ICSTICST-2015-LeottaSRT #multi #robust #using #web
Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICSTICST-2015-Mirshokraie0P #automation #generative #javascript #named
JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICSTICST-2015-MohacsiFB #case study #modelling #performance
A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ICSTICST-2015-MondalHD #multi #test coverage
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.
ICSTICST-2015-NardoPB #analysis #generative #modelling #mutation testing
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICSTICST-2015-NoguchiWFSO #black box #optimisation #using
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
ICSTICST-2015-Oriol #embedded #legacy #re-engineering
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICSTICST-2015-PouldingF #generative
Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
ICSTICST-2015-Rapos #co-evolution #industrial #modelling
Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICSTICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #uml #using
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.
ICSTICST-2015-RodriguesBCZO #modelling #named #performance
PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICSTICST-2015-SantosC #agile #challenge #industrial #mobile #using
Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.
ICSTICST-2015-Tiran #incremental #modelling #mutation testing
Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICSTICST-2015-TokcanOT #automation #development #framework #multi #named
MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
ICSTICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability
Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
ICSTICST-2015-YuC #embedded #generative #stack #worst-case
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ICTSSICTSS-2015-AbreuAHW #approach #spreadsheet
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach (RA, SA, BH, FW), pp. 124–140.
ICTSSICTSS-2015-AsadollahIH #overview #physics
A Survey on Testing for Cyber Physical System (SAA, RI, HH), pp. 194–207.
ICTSSICTSS-2015-AzizS #generative #parallel #realtime
Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.
ICTSSICTSS-2015-BoudhibaGGP #contract #modelling
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts (IB, CG, PLG, VP), pp. 35–51.
ICTSSICTSS-2015-CheMNZ #monitoring #tool support
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.
ICTSSICTSS-2015-HalleCG #constraints #generative #graph
Graph Methods for Generating Test Cases with Universal and Existential Constraints (SH, ELC, SG), pp. 55–70.
ICTSSICTSS-2015-HentzVM #cost analysis #grammarware #using
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage (CH, JJV, AMM), pp. 71–85.
ICTSSICTSS-2015-LahamiKBJ #adaptation #approach #behaviour #generative
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations (ML, MK, HB, MJ), pp. 224–239.
ICTSSICTSS-2015-SchneiderWH #complexity #metric
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing (MAS, MFW, AH0), pp. 257–262.
ICTSSICTSS-2015-TaylorD #erlang #framework #mutation testing #named
mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.
ISSTAISSTA-2015-AdamsenMM #android #execution
Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTAISSTA-2015-CongLYX #automation #fault #injection #robust
Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
ISSTAISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #verification
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
ISSTAISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTAISSTA-2015-GligoricEM #dependence
Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTAISSTA-2015-GyoriSHM #dependence #detection #reliability
Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
ISSTAISSTA-2015-Hothersall-Thomas #automation #named #security
BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ISSTAISSTA-2015-MusluBM #fault
Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ISSTAISSTA-2015-RojasFA #automation #development #empirical #generative
Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTAISSTA-2015-SatoHC
Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.
ISSTAISSTA-2015-WangPGBI #automation #case study #generative #specification
Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
ISSTAISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
ISSTAISSTA-2015-YatohSIH #generative #random testing
Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
ISSTAISSTA-2015-YueAZ #automation #framework #generative #named #natural language
RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
TAPTAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAPTAP-2015-AthanasiouLS #concurrent #generative #using
Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAPTAP-2015-BirchFP #fault #locality #modelling #performance
Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TAPTAP-2015-BloemHRS #automation #case study #generative #implementation
Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
TAPTAP-2015-HubnerHP #equivalence #evaluation #novel
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.
TAPTAP-2015-MijatovMLK #diagrams #functional #process #requirements #uml
Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
TAPTAP-2015-MoreiraHDMNM #case study #code generation #tool support #using #verification
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.
VMCAIVMCAI-2015-ChristakisG #composition #image #memory management #parsing #proving #safety #using
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (MC, PG), pp. 373–392.
VMCAIVMCAI-2015-ZhuNJ #array #type inference
Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
CBSECBSE-2014-LongYMPS #collaboration #component
Enabling collaborative testing across shared software components (TL, ICY, AMM, AAP, AS), pp. 55–64.
EDMEDM-2014-BengsB #adaptation
Computer-based Adaptive Speed Tests (DB, UB), pp. 221–224.
EDMEDM-2014-LiuMK #dataset
Interpreting model discovery and testing generalization to a new dataset (RL0, EAM, KRK), pp. 107–113.
EDMEDM-2014-OstrowH #authentication #comparison #feedback #multi #video
Testing the Multimedia Principle in the Real World: A Comparison of Video vs. Text Feedback in Authentic Middle School Math Assignments (KO, NTH), pp. 296–299.
ITiCSEITiCSE-2014-BuffardiE #adaptation #feedback
Responses to adaptive feedback for software testing (KB, SHE), pp. 165–170.
ITiCSEITiCSE-2014-EdwardsS #question #student
Do student programmers all tend to write the same software tests? (SHE, ZS), pp. 171–176.
SANERCSMR-WCRE-2014-BuchlerHMMGO #model inference #security
Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
SANERCSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #tool support
Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
SANERCSMR-WCRE-2014-VidacsBTSG #approach #detection #fault #locality #reduction
Test suite reduction for fault detection and localization: A combined approach (LV, ÁB, DT, IS, TG), pp. 204–213.
SANERCSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process
FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICPCICPC-2014-GhafariGMT #mining #recommendation
Mining unit tests for code recommendation (MG, CG, AM, GT), pp. 142–145.
ICSMEICSME-2014-ChristopheSRM #automation #functional #maintenance #web
Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSMEICSME-2014-Ghafari
Extracting Code Examples from Unit Test Cases (MG), p. 667.
ICSMEICSME-2014-MongioviMGSR #refactoring #scalability
Scaling Testing of Refactoring Engines (MM, GM, RG, GS, MR), pp. 371–380.
ICSMEICSME-2014-Rapos #co-evolution #industrial #modelling
Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSMEICSME-2014-Reiss #code search #towards #using
Towards Creating Test Cases Using Code Search (SPR), pp. 436–440.
ICSMEICSME-2014-Syer #evolution #maintenance #performance
The Maintenance and Evolution of Field-Representative Performance Tests (MDS), p. 665.
MSRMSR-2014-AndersonSD #effectiveness #mining
Improving the effectiveness of test suite through mining historical data (JA, SS, HD), pp. 142–151.
SCAMSCAM-2014-PetiotBJKS #c #generative #source code
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAMSCAM-2014-StoccoLRT #migration #named #visual notation #web
PESTO: A Tool for Migrating DOM-Based to Visual Web Tests (AS, ML, FR, PT), pp. 65–70.
SCAMSCAM-2014-TengeriBHG #analysis #repository #test coverage #tool support
Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
ICALPICALP-v1-2014-CanonneR #probability
Testing Probability Distributions Underlying Aggregated Data (CLC, RR), pp. 283–295.
ICALPICALP-v1-2014-DvirOS #equivalence
Testing Equivalence of Polynomials under Shifts (ZD, RMdO, AS), pp. 417–428.
ICALPICALP-v1-2014-KusumotoY #morphism
Testing Forest-Isomorphism in the Adjacency List Model (MK, YY), pp. 763–774.
SEFMSEFM-2014-BonifacioM #modelling
Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFMSEFM-2014-ChristakisMW #detection #invariant
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
SEFMSEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SFMSFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
SFMSFM-2014-LochauPKS #modelling
Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
FLOPSFLOPS-2014-AmaralFC #named #prolog
PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
DiGRADiGRA-2014-MarteySSKCFSS #bias #game studies #power of
Testing the Power of Game Lessons: The Effects of Art and Narrative on Reducing Cognitive Biases (RMM, AS, JSG, KK, BAC, JEF, ETS, TS).
GT-VMTGT-VMT-2014-BrennerGHLST #case study #realtime #sequence #validation
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
CHICHI-2014-SondereggerUPS #usability
The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.
HCIDHM-2014-HuangC #usability
Evaluating the Healthcare Management System by Usability Testing (PHH, MCC), pp. 369–376.
HCIDHM-2014-MirandaRV #analysis #development #memory management #mobile
Analysis of Luria Memory Tests for Development on Mobile Devices (JAHM, EHR, AMV), pp. 546–557.
HCIDUXU-TMT-2014-KojoHV #mobile #self
Customer Journey Mapping of an Experience-Centric Service by Mobile Self-reporting: Testing the Qualiwall Tool (IK, MH, JPV), pp. 261–272.
HCIHCI-TMT-2014-HoroldMK #guidelines #usability
Guidelines for Usability Field Tests in the Dynamic Contexts of Public Transport (SH, CM, HK), pp. 489–499.
HCIHCI-TMT-2014-LizanoSS #agile #case study #usability
Integrating Usability Evaluations into Scrum: A Case Study Based on Remote Synchronous User Testing (FL, MMS, JS), pp. 500–509.
HCIHCI-TMT-2014-MayasHRK #usability
Evaluating Methods and Equipment for Usability Field Tests in Public Transport (CM, SH, CR, HK), pp. 545–553.
HCILCT-NLE-2014-UlbrichtBFQ #component #interface #learning #usability
The Emotion Component on Usability Testing Human Computer Interface of an Inclusive Learning Management System (VRU, CHB, LF, SRPdQ), pp. 334–345.
ICEISICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #process #towards
Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.
ICEISICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements
An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
ICEISICEIS-v3-2014-PutterRS #consistency #enterprise
Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
ICEISICEIS-v3-2014-SwennenDVJ #framework #towards
Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
ICMLICML-c1-2014-CicaleseLS #optimisation
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICMLICML-c2-2014-LiuZBP #dependence #modelling #multi #visual notation
Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
ICPRICPR-2014-BaiRH #kernel #morphism
A Hypergraph Kernel from Isomorphism Tests (LB, PR, ERH), pp. 3880–3885.
KDDKDD-2014-LiWW #matrix #rank
Improved testing of low rank matrices (YL, ZW, DPW), pp. 691–700.
SEKESEKE-2014-CheMLC #network #online #protocol #runtime
Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKESEKE-2014-HirasakiKT #interactive #random testing
Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.
SEKESEKE-2014-HuangCWC #how #interactive #question
How to Do Tie-breaking in Prioritization of Interaction Test Suites? (RH, JC, RW, DC), pp. 121–125.
SEKESEKE-2014-JiangCKZD #model transformation #source code #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKESEKE-2014-LiLWC #automation #data access #generative #policy
Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKESEKE-2014-OliveiraMGND #framework #source code
An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKESEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #web
Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SEKESEKE-2014-SolariM #detection #empirical #fault
A Controlled Experiment to Explore Potentially Undetectable Defects for Testing Techniques (MS, SM), pp. 106–109.
SEKESEKE-2014-ToureBL #metric #towards
Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.
SEKESEKE-2014-WangGZLLYY
Reducing Test Cases with Causality Partitions (HW, XG, QZ, TL, XL, LY, ZY), pp. 223–228.
SEKESEKE-2014-XuFWLC
Testing as an Investment (XX, CF, QW, JL, ZC), pp. 723–728.
SEKESEKE-2014-XuS #automation #effectiveness #petri net
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SEKESEKE-2014-ZhangCL #adaptation #random #sequence
An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SEKESEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
SIGIRSIGIR-2014-Carterette #information retrieval #statistics #theory and practice
Statistical significance testing in information retrieval: theory and practice (BC), p. 1286.
SIGIRSIGIR-2014-DincerMO #evaluation #retrieval
Hypothesis testing for the risk-sensitive evaluation of retrieval systems (BTD, CM, IO), pp. 23–32.
SIGIRSIGIR-2014-RaiberK14a #clustering #correlation #effectiveness #retrieval
The correlation between cluster hypothesis tests and the effectiveness of cluster-based retrieval (FR, OK), pp. 1155–1158.
SIGIRSIGIR-2014-YeniterziC #bias
Analyzing bias in CQA-based expert finding test sets (RY, JC), pp. 967–970.
AMTAMT-2014-RichaBPBR #algebra #graph transformation #model transformation #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMTAMT-2014-TisoRL #model-to-text
Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
ICMTICMT-2014-GarciaAID
Testing MOFScript Transformations with HandyMOF (JG, MA, AI, OD), pp. 42–56.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-JilaniIK #approach #generative #model transformation
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMTICMT-2014-WieberAS #automation #graph grammar #model transformation #on the
On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
SPLCSPLC-2014-Al-HajjajiTMLS #product line #similarity
Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLCSPLC-2014-HartmannLB #product line
Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLCSPLC-2014-KnappRS #development #modelling #on the #product line #using
On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
SPLCSPLC-2014-WangBAGPL #case study #industrial #multi #product line
Multi-objective test prioritization in software product line testing: an industrial case study (SW, DB, SA, AG, DP, ML), pp. 32–41.
OOPSLAOOPSLA-2014-PradelSNS #generative #latency #named #user interface
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
LOPSTRLOPSTR-2014-Vidal #execution #generative #prolog
Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PEPMPEPM-2014-LiTSF #automation #evolution #web #web service
Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PLDIPLDI-2014-AlglaveMT #memory management #modelling #simulation
Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
PLDIPLDI-2014-PerelmanGGP #synthesis
Test-driven synthesis (DP, SG, DG, PP), p. 43.
PLDIPLDI-2014-SurendranRCMS #parallel #source code
Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
ASEASE-2014-ArcuriFG #automation #dependence #generative
Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASEASE-2014-CamposAFA #automation #generative #integration
Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASEASE-2014-FardMM #automation #generative #web
Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASEASE-2014-GiannakopoulouHILRR #assurance
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
ASEASE-2014-GligoricNLM #automation #comparison #empirical #evaluation
An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
ASEASE-2014-HollingPG #generative #lightweight #named
8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASEASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation
Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASEASE-2014-MatinnejadNBB #configuration management #modelling #scalability #using
MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
ASEASE-2014-MatinnejadNBB14a #named
CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASEASE-2014-Miranda #metric
A proposal for revisiting coverage testing metrics (BM), pp. 899–902.
ASEASE-2014-MoreiraP #modelling #user interface
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASEASE-2014-PirzadehS #user interface
Resilient user interface level tests (HP, SS), pp. 683–688.
ASEASE-2014-RanganathVG #comparison #using
Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.
ASEASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #variability
Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.
ASEASE-2014-TillmannHX #automation #generative
Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
FSEFSE-2014-Banerjee #energy #performance #static analysis
Static analysis driven performance and energy testing (AB), pp. 791–794.
FSEFSE-2014-Bell #dependence #detection
Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.
FSEFSE-2014-BohmeP #automation #on the #performance
On the efficiency of automated testing (MB, SP), pp. 632–642.
FSEFSE-2014-ElbaumR #nondeterminism
Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
FSEFSE-2014-ElbaumRP #development #integration
Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
FSEFSE-2014-Gao #program analysis
Numerical program analysis and testing (ZG), pp. 779–782.
FSEFSE-2014-HavrikovHGZ #generative #named #xml
XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
FSEFSE-2014-HuoC #detection #quality
Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.
FSEFSE-2014-JustJIEHF #fault #question
Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
FSEFSE-2014-LiAG #automation #javascript #named #web
SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSEFSE-2014-LuoHEM #analysis #empirical
An empirical analysis of flaky tests (QL, FH, LE, DM), pp. 643–653.
FSEFSE-2014-MahmoodMM #android #named
EvoDroid: segmented evolutionary testing of Android apps (RM, NM, SM), pp. 599–609.
FSEFSE-2014-Pham #social
Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.
FSEFSE-2014-PhamKLSS
Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.
FSEFSE-2014-SeoK #how
How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.
FSEFSE-2014-ShiGGZM #reduction #trade-off
Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
FSEFSE-2014-XuanM #fault #locality
Test case purification for improving fault localization (JX, MM), pp. 52–63.
ICSEICSE-2014-AndroutsopoulosCDHH #analysis #fault
An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSEICSE-2014-BellK
Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ICSEICSE-2014-HuangMSZ #analysis #performance
Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSEICSE-2014-InozemtsevaH #correlation #effectiveness
Coverage is not strongly correlated with test suite effectiveness (LI, RH), pp. 435–445.
ICSEICSE-2014-MantylaPLL #development #empirical #overview #perspective #requirements
Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.
ICSEICSE-2014-NguyenKN #execution #variability #web
Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSEICSE-2014-TonellaTN #modelling #n-gram
Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSEICSE-2014-YuSR #automation #framework #named
SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SACSAC-2014-BeoharM #consistency
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SACSAC-2014-BonifacioM #on the
On the completeness of test suites (ALB, AVM), pp. 1287–1292.
SACSAC-2014-ChenML #case study #education #research
Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SACSAC-2014-ChenZW #detection #named
Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
SACSAC-2014-GamaD #approach #deployment #fault #self
A fault deployment and activation approach for testing self-recovery mechanisms (KG, DD), pp. 1114–1119.
SACSAC-2014-GaoEWGL #empirical #generative
An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
SACSAC-2014-GriebeG #approach #automation #mobile #modelling
A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SACSAC-2014-HuangCLWL #adaptation #interactive #random
Adaptive random prioritization for interaction test suites (RH, JC, ZL, RW, YL), pp. 1058–1063.
SACSAC-2014-NoureddineRS #energy #library
Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
SACSAC-2014-SilvaPBAP #architecture #cyber-physical #modelling
A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SACSAC-2014-SuzakiYTOS #protocol #virtual machine
Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
GPCEGPCE-2014-MaAZS #performance #product line
Efficient testing of software product lines via centralization (LM, CA, CZ, HS), pp. 49–52.
SLESLE-2014-HartelHL #generative #xtext
Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
CASECASE-2014-WangW #algorithm #estimation #problem #scheduling
Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
DACDAC-2014-AdirGGS #generative #network #using
Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
DACDAC-2014-ChienHLYC
Contactless Stacked-die Testing for Pre-bond Interposers (JHC, RSH, HJL, KYY, SCC), p. 6.
DACDAC-2014-MotamanG #array #robust #self
Simultaneous Sizing, Reference Voltage and Clamp Voltage Biasing for Robustness, Self-Calibration and Testability of STTRAM Arrays (SM, SG), p. 2.
DATEDATE-2014-BalckGP #generative #modelling #protocol #using
Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
DATEDATE-2014-CasparLH #automation #strict #using
Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATEDATE-2014-CongLYX #evaluation #prototype #validation
Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATEDATE-2014-CortezRHN
Testing PUF-based secure key storage circuits (MC, GR, SH, GDN), pp. 1–6.
DATEDATE-2014-GinesL #pipes and filters
Sigma-delta testability for pipeline A/D converters (AJG, GL), pp. 1–6.
DATEDATE-2014-KimHPSL #approach #implementation #modelling
A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATEDATE-2014-Pomeranz #generative
Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-WangLLW0 #design #functional #generative
Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
OSDIOSDI-2014-YuanLZRZZJS #analysis #data-driven #distributed
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (DY, YL, XZ, GRR, XZ, YZ, PJ, MS), pp. 249–265.
PPoPPPPoPP-2014-ThomsonDB #bound #concurrent #empirical #using
Concurrency testing using schedule bounding: an empirical study (PT, AFD, AB), pp. 15–28.
FASEFASE-2014-CavalcantiG #data flow
Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
FASEFASE-2014-CristiaMF #framework #integration
Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
FASEFASE-2014-MoreauHM #algorithm #api #design #online #validation
An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
STOCSTOC-2014-Neeman
Testing surface area with arbitrary accuracy (JN), pp. 393–397.
TACASTACAS-2014-JahierDML #case study #modelling
Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACASTACAS-2014-SalemDKT #automaton #invariant #model checking #using
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
CAVCAV-2014-GligoricMSEM #distributed
Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
ICSTICST-2014-AliH #challenge #lessons learnt #modelling #video
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ICSTICST-2014-AraujoC #data flow #in the large
Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
ICSTICST-2014-AydinAB #automation #generative
Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICSTICST-2014-BallerLLS #incremental #multi #optimisation #product line
Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
ICSTICST-2014-DacaHKN #composition #specification
Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
ICSTICST-2014-DenaroPV #data flow #on the
On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
ICSTICST-2014-EngstromMRB #visual notation
Supporting Regression Test Scoping with Visual Analytics (EE, MM, PR, MB), pp. 283–292.
ICSTICST-2014-Feldt #question
Do System Test Cases Grow Old? (RF), pp. 343–352.
ICSTICST-2014-GroceAZCR #reduction
Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ICSTICST-2014-HaysHB #validation
Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ICSTICST-2014-HuntBF #automation #user interface
Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ICSTICST-2014-JohanssonSLAG #fuzzing #modelling #named #protocol #robust
T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols (WJ, MS, UEL, MA, VG), pp. 323–332.
ICSTICST-2014-KimXKCR #framework #hybrid
Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ICSTICST-2014-LiO #analysis #empirical #modelling
An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.
ICSTICST-2014-Marin #approach #automation #database #multi
A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.
ICSTICST-2014-MiicBT #analysis #automation #multi #platform #test coverage
Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICSTICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ICSTICST-2014-PatelK #case study #enterprise #experience #implementation #reuse
Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
ICSTICST-2014-SanchezSC #comparison #product line
A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICSTICST-2014-WeisslederS #embedded #evaluation #modelling
An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICSTICST-2014-WiklundSEL #analysis #automation #empirical
Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.
ICSTICST-2014-WojciakT #case study #combinator #concurrent #maintenance
System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.
ICSTICST-2014-YuSCR #embedded #framework #named #worst-case
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
ICSTICST-2014-ZaeemPK #automation #generative #mobile
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-2014-Bures #automation #detection #maintenance
Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSSICTSS-2014-ChoiKAO #design
Design of Prioritized N-Wise Testing (EHC, TK, CA, YO), pp. 186–191.
ICTSSICTSS-2014-Deak #overview #what
What Characterizes a Good Software Tester? — A Survey in Four Norwegian Companies (AD), pp. 161–172.
ICTSSICTSS-2014-DoganayEAB #embedded #search-based
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ICTSSICTSS-2014-EberhardingerSKR #adaptation #self #towards
Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.
ICTSSICTSS-2014-El-FakihSY #assessment #automaton #on the #test coverage
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
ICTSSICTSS-2014-Estero-BotaroGDPM #composition #framework #generative #search-based
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
ICTSSICTSS-2014-MossigeGM #case study #constraints #industrial #programming #using
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
ICTSSICTSS-2014-PalmieriCO #automation
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, ), pp. 129–144.
ICTSSICTSS-2014-SamihGBAB #approach #modelling
An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
ICTSSICTSS-2014-WotawaB #automation #exclamation #security
Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
IJCARIJCAR-2014-CerritoDG #atl #logic #satisfiability
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
ISSTAISSTA-2014-AlshahwanH #detection #fault
Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
ISSTAISSTA-2014-AppeltNBA #approach #automation #injection #sql
Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTAISSTA-2014-ArltPW #slicing #user interface
Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ISSTAISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #web
X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
ISSTAISSTA-2014-GalindoAABB #approach #sequence #variability #video
A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
ISSTAISSTA-2014-GotliebM #named #network #reduction
FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTAISSTA-2014-JustJE #database #fault #java #named #source code
Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.
ISSTAISSTA-2014-KingNSCM #agile #domain-specific language #named #tool support #web
Legend: an agile DSL toolset for web acceptance testing (TMK, GN, DS, AC, CM), pp. 409–412.
ISSTAISSTA-2014-LeAGG #haskell #mutation testing #named #source code
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTAISSTA-2014-LiJSCH #energy #optimisation
Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
ISSTAISSTA-2014-MarianiPRS #named #web
Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
ISSTAISSTA-2014-Mirshokraie #assessment #effectiveness #generative #web
Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
ISSTAISSTA-2014-MirzaAghaeiM #test coverage #web
DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
ISSTAISSTA-2014-PastoreMHFSSM
Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
ISSTAISSTA-2014-PradelHG #concurrent #performance
Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.
ISSTAISSTA-2014-YandrapallyTSC #automation #robust #using
Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
ISSTAISSTA-2014-ZhangGA #execution #reduction #symbolic computation #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
ISSTAISSTA-2014-ZouCZZG #effectiveness #web
Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
TAPTAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing
Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
TAPTAP-2014-ArcainiGR #abstraction #model checking
An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
TAPTAP-2014-BardinCDK #automation #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
TAPTAP-2014-DiepenbeckKSD #behaviour #development #verification
Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.
TAPTAP-2014-JannesariKSW #classification #generative #parallel
Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAPTAP-2014-KahkonenH #automation #lightweight #parallel #source code #thread
Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
TAPTAP-2014-KosmatovLA #case study #proving #verification
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.
TAPTAP-2014-KurthSW #constraints #generative #interface #process #theorem proving #uml #using
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
TAPTAP-2014-PetiotKGJ #deduction #generative #how #specification #verification
How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.
VMCAIVMCAI-2014-Romano #float #integer
Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
JCDLJCDL-2013-HallK #development #metadata
The user-centered development and testing of a dublin core metadata tool (CH, MK), pp. 249–252.
PODSPODS-2013-Figueira #on the #transitive #xpath
On XPath with transitive axes and data tests (DF), pp. 249–260.
VLDBVLDB-2013-CherniakZZ #optimisation
Optimization Strategies for A/B Testing on HADOOP (AC, HZ, VZ), pp. 973–984.
CSEETCSEET-2013-Edwards #programming
Adding software testing to programming assignments (SHE), pp. 371–373.
CSEETCSEET-2013-KanijMG #empirical
An empirical study of the effects of personality on software testing (TK, RM, JG), pp. 239–248.
CSEETCSEET-2013-KumarW #problem
Guidance for exploratory testing through problem frames (SK, CW), pp. 284–288.
CSEETCSEET-2013-StejskalS #learning
Test-driven learning in high school computer science (RS, HPS), pp. 289–293.
SIGITESIGITE-2013-GasparLBT #overview #programming #student #using
A preliminary review of undergraduate programming students’ perspectives on writing tests, working with others, & using peer testing (AG, SL, NRB, RT), pp. 109–114.
CSMRCSMR-2013-AnicheOG #case study #industrial #open source #quality #what
What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.
CSMRCSMR-2013-BagnatoSBV #case study #industrial #internet #uml
The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.
CSMRCSMR-2013-DuclosDGA #automation #c++ #named
ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
CSMRCSMR-2013-GhaithWPM #analysis #detection #independence #performance
Profile-Based, Load-Independent Anomaly Detection and Analysis in Performance Regression Testing of Software Systems (SG, MW, PP, JM), pp. 379–383.
CSMRCSMR-2013-KochharBLJ #case study #open source
Adoption of Software Testing in Open Source Projects — A Preliminary Study on 50,000 Projects (PSK, TFB, DL, LJ), pp. 353–356.
CSMRCSMR-2013-SabanePAG #case study #cost analysis
A Study on the Relation between Antipatterns and the Cost of Class Unit Testing (AS, MDP, GA, YGG), pp. 167–176.
CSMRCSMR-2013-SoetensDZ #developer
Change-Based Test Selection in the Presence of Developer Tests (QDS, SD, AZ), pp. 101–110.
ICPCICPC-2013-KamimuraM #generative #summary #towards
Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICSMEICSM-2013-Lopez-HerrejonCFEA #multi #product line
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing (RELH, JFC, JF, AE, EA), pp. 404–407.
ICSMEICSM-2013-MantylaKAEP #agile #on the
On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSMEICSM-2013-MarijanGS #case study #industrial
Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.
ICSMEICSM-2013-QiML #automation #performance #program repair
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSMEICSM-2013-RosePFP #framework #platform #probability #scalability #search-based #towards
Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
ICSMEICSM-2013-SchwartzD #effectiveness #fuzzy
A Fuzzy Expert System for Cost-Effective Regression Testing Strategies (AS, HD), pp. 1–10.
ICSMEICSM-2013-SemenenkoDS #image #machine learning #named
Browserbite: Accurate Cross-Browser Testing via Machine Learning over Image Features (NS, MD, TS), pp. 528–531.
ICSMEICSM-2013-ToroiRV #case study #identification #process
Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
MSRMSR-2013-RaemaekersNDV #locality
Testing principles, current practices, and effects of change localization (SR, GFN, AvD, JV), pp. 257–266.
SCAMSCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation
A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
WCREWCRE-2013-AvanciniC #grammarware #named #web
Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.
WCREWCRE-2013-LeottaCRT #assessment #empirical #evolution #programmable #web
Capture-replay vs. programmable web testing: An empirical assessment during test case evolution (ML, DC, FR, PT), pp. 272–281.
CIAACIAA-J-2012-Crespi-ReghizziP13 #strict
Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.
CIAACIAA-2013-BelliB #using
Using Regular Grammars for Event-Based Testing (FB, MB), pp. 48–59.
CIAACIAA-2013-HenryS #equivalence
LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.
ICALPICALP-v1-2013-WimmerY #invariant #morphism
Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
ICALPICALP-v2-2013-LipmaaT #complexity #online #similarity #sublinear
Secure Equality and Greater-Than Tests with Sublinear Online Complexity (HL, TT), pp. 645–656.
LATALATA-2013-KociumakaRRW #algorithm #linear
Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
IFMIFM-2013-SavaryFL #bytecode #detection #modelling #using #verification
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
SEFMSEFM-2013-Choi #constraints #generative #operating system #specification
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
SEFMSEFM-2013-CristiaRF #framework #generative
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICFPICFP-2013-HritcuHPSVAL
Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
ICFPICFP-2013-St-AmourT #case study #experience #random testing
Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
GT-VMTGT-VMT-2013-RungeKH #contract #generative #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
CHICHI-2013-McDonaldP
The effect of global instructions on think-aloud testing (SM, HP), pp. 2941–2944.
CHICHI-2013-Mirza-BabaeiNGCF #game studies #how #research
How does it play better?: exploring user testing and biometric storyboards in games user research (PMB, LEN, JG, NC, GF), pp. 1499–1508.
CHICHI-2013-ScarrCGM #consistency #interface #performance #robust
Testing the robustness and performance of spatially consistent interfaces (JS, AC, CG, SM), pp. 3139–3148.
HCIDUXU-CXC-2013-HassB #usability
Usability Testing Medical Devices: A Practical Guide to Minimizing Risk and Maximizing Success (CH, DB), pp. 407–416.
HCIDUXU-CXC-2013-Maciel #named #usability
PALMA: Usability Testing of an Application for Adult Literacy in Brazil (FRM), pp. 229–237.
HCIDUXU-CXC-2013-YouX #usability
A Usability Testing of Chinese Character Writing System for Foreign Learners (MY, YJX), pp. 149–157.
HCIDUXU-WM-2013-MeierBBW #crowdsourcing #navigation
Evaluating a Web-Based Tool for Crowdsourced Navigation Stress Tests (FM, AB, MB, CW), pp. 248–256.
HCIDUXU-WM-2013-PrataMQ #mobile #usability
Usability Testing of Mobile Applications Store: Purchase, Search and Reviews (WP, CRM, MQ), pp. 714–722.
HCIDUXU-WM-2013-SpiliotopoulosBKST #design #interface #retrieval #social #usability #web
Usability Design and Testing of an Interface for Search and Retrieval of Social Web Data (DS, RB, GK, PS, DT), pp. 575–580.
HCIHCI-AS-2013-DixonDD13a #design #health #implementation #mobile
Designing, Implementing and Testing a Mobile Application to Assist with Pediatric-to-Adult Health Care Transition (JD, JD, SDD), pp. 66–75.
HCIHCI-AS-2013-MontAlvaoPL #case study #usability
Usability Testing for e-health Application: A Case Study for Sana/Open MRS (CRM, FP, CAPdL), pp. 144–149.
VISSOFTVISSOFT-2013-Lopez-HerrejonE #interactive #product line #towards #visualisation
Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.
CAiSECAiSE-2013-SenG #case study #data-driven #interactive
Testing a Data-Intensive System with Generated Data Interactions — The Norwegian Customs and Excise Case Study (SS, AG), pp. 657–671.
CAiSECAiSE-2013-YuHGV #composition #framework #protocol #web #web service
A Business Protocol Unit Testing Framework for Web Service Composition (JY, JH, SOG, SV), pp. 17–34.
ICEISICEIS-v2-2013-EomA
Developing and Testing a Model to Understand Relationships between e-Learning Outcomes and Human Factors (SBE, NJA), pp. 361–370.
ICEISICEIS-v2-2013-MarynowskiPWM #dependence #pipes and filters
Dependability Testing of MapReduce Systems (JEM, ARP, TSW, AJM), pp. 165–172.
ICEISICEIS-v2-2013-Milosz #case study #enterprise #legacy #performance #using
Performance Testing of New Enterprise Applications using Legacy Load Data — A HIS Case Study (MM), pp. 151–156.
ICEISICEIS-v3-2013-LambeckKG #case study #design #enterprise #interface #overview
Discovering Potentials in Enterprise Interface Design — A Review of Our Latest Case Studies in the Enterprise Domain (CL, DK, RG), pp. 99–104.
SEKESEKE-2013-AbdouGK #open source #process
Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKESEKE-2013-Alegroth #concept #proving #random #user interface #visual notation
Random Visual GUI Testing: Proof of Concept (EA), pp. 178–183.
SEKESEKE-2013-CarvalhoNM #exception
Structural Testing of Exceptions Handling (LAFC, VdON, PCM), pp. 206–209.
SEKESEKE-2013-FerreiraVQ #approach #product line
A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKESEKE-2013-LiLY #fault #locality
Exploiting Weights of Test Cases to Enhance Fault Localization (YL, CL, ZY), pp. 589–593.
SEKESEKE-2013-NetoMGA #effectiveness #product line
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (CRLN, IdCM, VCG, ESdA), pp. 584–588.
SEKESEKE-2013-NevesDMMW
Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
SEKESEKE-2013-NishiuraMWH #analysis #mutation testing
Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
SEKESEKE-2013-QiHW #combinator #concurrent #source code
A Mixed-way Combinatorial Testing for Concurrent Programs (XQ, JH, PW), pp. 699–702.
SEKESEKE-2013-SouzaFV #information management
Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKESEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #using
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SEKESEKE-2013-WangGZZX #array #combinator #generative #interactive
Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
SEKESEKE-2013-YuYLC #empirical #web
An Empirical Study of an Improved Web Application Fuzz Testing Technique (LY, ZY, CL, FC), pp. 400–404.
SEKESEKE-2013-ZouFCZZ #hybrid #test coverage
A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIRSIGIR-2013-UrbanoMM13a #comparison #evaluation #information retrieval #statistics
A comparison of the optimality of statistical significance tests for information retrieval evaluation (JU, MM, DM), pp. 925–928.
SIGIRSIGIR-2013-WebberBLO #classification #effectiveness #evaluation
Sequential testing in classifier evaluation yields biased estimates of effectiveness (WW, MB, DDL, DWO), pp. 933–936.
AMTAMT-2013-CalegariD #qvt
Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
AMTAMT-2013-FinotMSD #metamodelling #using
Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.
AMTAMT-2013-MatragkasKPZ #approach #model transformation
A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMTAMT-2013-TisoRL #model-to-text
A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.
ECMFAECMFA-2013-AmbertBLLP #approach #modelling
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.
ECMFAECMFA-2013-KholkarYTDS #experience #industrial #modelling #process
Experience with Industrial Adoption of Business Process Models for User Acceptance Testing (DK, PY, HT, AD, AS), pp. 192–206.
ICMTICMT-2013-FinotMSA #model transformation
Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMTICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
ICMTICMT-2013-WieberS #approach #graph transformation
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
MODELSMoDELS-2013-ChavezSFM #approach #implementation #java #uml
An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
MODELSMoDELS-2013-WangGAL #automation #case study #feature model #industrial #using
Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
MODELSMoDELS-2013-WimmerB
Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
PLEASEPLEASE-2013-DukaczewskiSLL
Requirements-based delta-oriented SPL testing (MD, IS, RL, ML), pp. 49–52.
PLEASEPLEASE-2013-PatelGS #feature model #interactive #variability
Feature interaction testing of variability intensive systems (SP, PG, VS), pp. 53–56.
SPLCSPLC-2013-HenardPPKT #generative #multi #product line
Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLCSPLC-2013-MarijanGSH #product line
Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
SPLCSPLC-2013-XuCMR #product line
Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
ECOOPECOOP-2013-GligoricBLOHM #refactoring
Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
OOPSLAOOPSLA-2013-AzimN #android
Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
OOPSLAOOPSLA-2013-ChoiNS #android #approximate #learning #user interface
Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.
PLDIPLDI-2013-MorissetPN #compilation #formal method #memory management #optimisation
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.
PPDPPPDP-2013-Holdermans #data type #functional #guidelines #random testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
RERE-2013-HesariBY #challenge #framework #generative #industrial #towards
Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
ASEASE-2013-CamposAFd #fault #generative #locality
Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASEASE-2013-CotroneoLFN #named #operating system #robust
SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
ASEASE-2013-GambiHD #automation
Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASEASE-2013-KimKKLJK #automation #embedded #industrial #scalability #using
Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASEASE-2013-KukrejaHT #game studies #using
Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.
ASEASE-2013-MirshokraieMP #generative #javascript #named
PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASEASE-2013-NguyenT #automation #classification #combinator #dependence
Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASEASE-2013-SagdeoEPV #automation #debugging #invariant #locality #using
Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASEASE-2013-SchaeferDS #framework #independence #named #towards
Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ASEASE-2013-TasharofiPLJ #automation #named #source code
Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASEASE-2013-TillmannHXB #automation #education #game studies #generative #named
Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASEASE-2013-XiaoLXT #execution #generative #problem #symbolic computation
Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ASEASE-2013-XuHRW #data flow
Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
ESEC-FSEESEC-FSE-2013-AlbertAGW #concurrent #generative #named
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSEESEC-FSE-2013-BohmeOR #fault #interactive
Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSEESEC-FSE-2013-FarzanHRV
Con2colic testing (AF, AH, NR, HV), pp. 37–47.
ESEC-FSEESEC-FSE-2013-GambiFD #refinement
Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSEESEC-FSE-2013-JaffarMN
Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
ESEC-FSEESEC-FSE-2013-JensenMS #automation #interface #javascript #web
Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSEESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ESEC-FSEESEC-FSE-2013-MarinescuC #named
KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSEESEC-FSE-2013-MusluBM #debugging
Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
ESEC-FSEESEC-FSE-2013-Nori0 #proving #termination
Termination proofs from tests (AVN, RS), pp. 246–256.
ESEC-FSEESEC-FSE-2013-PetkeYCH #combinator #detection #fault #interactive #performance
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (JP, SY, MBC, MH), pp. 26–36.
ESEC-FSEESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ICSEICSE-2013-BlueSTZ
Interaction-based test-suite minimization (DB, IS, RTB, AZ), pp. 182–191.
ICSEICSE-2013-BounimovaGM #constraints
Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
ICSEICSE-2013-CotroneoPR
A learning-based method for combining testing techniques (DC, RP, SR), pp. 142–151.
ICSEICSE-2013-GargIBMG #c #c++ #execution #generative #using
Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSEICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string
JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSEICSE-2013-HauptmannJEHVB #natural language #smell
Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSEICSE-2013-HenardPPKT #automation #feature model #modelling #towards
Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSEICSE-2013-JanzenCH #evaluation #interactive
An evaluation of interactive test-driven labs with WebIDE in CS0 (DSJ, JC, MH), pp. 1090–1098.
ICSEICSE-2013-Kuhn #interactive #live programming #on the #programming
On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSEICSE-2013-MalikHH #automation #detection #performance #scalability
Automatic detection of performance deviations in the load testing of large scale systems (HM, HH, AEH), pp. 1012–1021.
ICSEICSE-2013-MemonC #automation #modelling #tool support #user interface
Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSEICSE-2013-NetoCLGM #approach #named #problem #programming #student
POPT: a problem-oriented programming and testing approach for novice students (VLN, RC, LL, DSG, APM), pp. 1099–1108.
ICSEICSE-2013-PhamSLFS #comprehension #social
Creating a shared understanding of testing culture on a social coding site (RP, LS, OL, FMFF, KS), pp. 112–121.
ICSEICSE-2013-PhamSS #commit #social
Building test suites in social coding sites by leveraging drive-by commits (RP, LS, KS), pp. 1209–1212.
ICSEICSE-2013-PintoSO #evolution #named
TestEvol: a tool for analyzing test-suite evolution (LSP, SS, AO), pp. 1303–1306.
ICSEICSE-2013-PradelG #automation #concurrent
Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSEICSE-2013-SwearnginCJB #performance
Human performance regression testing (AS, MBC, BEJ, RKEB), pp. 152–161.
ICSEICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance
Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSEICSE-2013-ThummalapentaLSSC #generative #web
Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
ICSEICSE-2013-Yu #framework
An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSEICSE-2013-ZhangH0RM
Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
SACSAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification
Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SACSAC-2013-FuriaMOTW #automation #random testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SACSAC-2013-HeckelerSK #component #execution #robust #using
Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SACSAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #parallel #random testing
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.
SACSAC-2013-MaalejKJ #composition #consistency #named
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SACSAC-2013-PapadakisT #classification #mutation testing #using
Mutation testing strategies using mutant classification (MP, YLT), pp. 1223–1229.
SACSAC-2013-SunGYFC #multi #user interface
Multi-objective test case prioritization for GUI applications (WS, ZG, WY, CF, ZC), pp. 1074–1079.
SACSAC-2013-ZiftciK #requirements #semantics #traceability
Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.
GPCEGPCE-2013-AnKGTS #automation #framework #generative #in the cloud #modelling #performance
Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
ASPLOSASPLOS-2013-RaghavanESPPWM #hardware
Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
CASECASE-2013-LiK #automation #generative #novel #reachability #reduction
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
CASECASE-2013-ZhongLEHF #analysis #modelling #process
Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.
DACDAC-2013-DevWR #3d #integration #using
High-throughput TSV testing and characterization for 3D integration using thermal mapping (KD, GW, SR), p. 6.
DACDAC-2013-YuanLJX #on the
On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DATEDATE-2013-CassanoCKHPS #configuration management #online
On-line testing of permanent radiation effects in reconfigurable systems (LC, DC, SK, JH, MP, LS), pp. 717–720.
DATEDATE-2013-HuangKCM #correlation #modelling
Handling discontinuous effects in modeling spatial correlation of wafer-level analog/RF tests (KH, NK, JMCJ, YM), pp. 553–558.
DATEDATE-2013-Kae-NuneP #anti #process
Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATEDATE-2013-KavousianosC
Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATEDATE-2013-ObergMSK #framework #hardware
A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATEDATE-2013-RakossyHTSNO #architecture #array #fault #functional
Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.
DATEDATE-2013-ZhangYH0
Capturing post-silicon variation by layout-aware path-delay testing (XZ, JY, YH, XL), pp. 288–291.
FASEFASE-2013-CavalcantiH #csp
Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
FASEFASE-2013-SakamotoTHWF #code generation #integration #named #web
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
FASEFASE-2013-SanthiarPK #api #mining
Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
STOCSTOC-2013-ChakrabartyS13a #bound
Optimal bounds for monotonicity and lipschitz testing over hypercubes and hypergrids (DC, CS), pp. 419–428.
STOCSTOC-2013-ChenST #design #morphism #multi
Multi-stage design for quasipolynomial-time isomorphism testing of steiner 2-systems (XC, XS, SHT), pp. 271–280.
STOCSTOC-2013-KawarabayashiY #graph
Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
TACASTACAS-2013-NagyST #automation #realtime
Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
ICLPICLP-J-2013-AlbertBGRS #generative
A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
ICSTICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability
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.
ICSTICST-2013-AfshanMS #evolution #natural language #string #using
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
ICSTICST-2013-AlegrothFO #automation #case study #industrial
Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.
ICSTICST-2013-AlegrothNO #automation #named
JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICSTICST-2013-AliYB #empirical #quality #robust #state machine
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.
ICSTICST-2013-ArafeenD #clustering #using
Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.
ICSTICST-2013-BagnaraCGG #float #generative #source code
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICSTICST-2013-Bauersfeld #named #user interface #visual notation
GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.
ICSTICST-2013-BertolinoBDKLM #design #policy
A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.
ICSTICST-2013-BlomeOLPD #flexibility #modelling #named
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ICSTICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling
Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.
ICSTICST-2013-Buchler #security
Security Testing with Fault-Models and Properties (MB), pp. 501–502.
ICSTICST-2013-CalvagnaGV #combinator #interactive
Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.
ICSTICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #user interface
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.
ICSTICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code
Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICSTICST-2013-CraciunML #modelling #towards
Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
ICSTICST-2013-DadeauCLTVBT #evaluation #generative
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.
ICSTICST-2013-DolstraVP #crowdsourcing #user interface
Crowdsourcing GUI Tests (ED, RV, JAP), pp. 332–341.
ICSTICST-2013-ErikssonLO #empirical #framework #independence #platform
Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICSTICST-2013-FarooqQA #effectiveness #empirical #performance
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICSTICST-2013-FraserA #challenge #generative #named
EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICSTICST-2013-Gauthier #generative #modelling #research
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICSTICST-2013-GraslandBGP #approach #functional #hybrid #safety
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ICSTICST-2013-GrechanikHB #database
Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.
ICSTICST-2013-HongSAKR #concurrent #effectiveness #metric
The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
ICSTICST-2013-IchidaSO
A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.
ICSTICST-2013-KapfhammerMW #constraints #database #multi #relational #search-based
Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems (GMK, PM, CJW), pp. 31–40.
ICSTICST-2013-LegeardB #enterprise #modelling
Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.
ICSTICST-2013-Lelli #challenge #interactive
Challenges of Testing for Critical Interactive Systems (VL), pp. 509–510.
ICSTICST-2013-LeottaCRS #case study #industrial #locality #web
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.
ICSTICST-2013-LuchscheiderHG #named
CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.
ICSTICST-2013-MeinkeS #named
LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICSTICST-2013-MirshokraieMP #javascript #mutation testing #performance
Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICSTICST-2013-MossigeGM #constraints #generative #integration #programming #using
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICSTICST-2013-MunetohY #agile #development #framework #named #security
RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICSTICST-2013-NardoABL #case study #industrial
Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.
ICSTICST-2013-PezzeRW #effectiveness #generative #integration
Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICSTICST-2013-Roper #fault
Estimating Fault Numbers Remaining After Testing (MR), pp. 272–281.
ICSTICST-2013-SteenbuckF #concurrent #generative
Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICSTICST-2013-Torsel #domain-specific language #model checking #modelling #using #web
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
ICSTICST-2013-UrataK #diagrams #visualisation
Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.
ICSTICST-2013-Vernotte #modelling #research #web
Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.
ICSTICST-2013-YeolekarUAKV #generative #model checking #scalability #using
Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICSTICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
ICSTICST-2013-YuLKK #combinator #generative #named
ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICSTICST-2013-YuQAR
Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.
ICTSSICTSS-2013-BadriBF #case study #empirical #predict
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.
ICTSSICTSS-2013-DavidLMNR #specification
Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
ICTSSICTSS-2013-EnoiuSP #diagrams #logic #using
Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.
ICTSSICTSS-2013-FariaPC #consistency #diagrams #sequence chart #tool support #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
ICTSSICTSS-2013-FengLMNSW #case study
Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.
ICTSSICTSS-2013-GuoQ #automation #generative #grammarware
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ICTSSICTSS-2013-GuttingerKKW #reduction
Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
ICTSSICTSS-2013-HuangP #equivalence #modelling
Exhaustive Model-Based Equivalence Class Testing (WlH, JP), pp. 49–64.
ICTSSICTSS-2013-LeonHL #concurrent #consistency
Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
ICTSSICTSS-2013-SchrammelMK
Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.
ICTSSICTSS-2013-StepienP #challenge #using
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.
ISSTAISSTA-2013-BindalBL #bound #concurrent #parallel #source code #thread
Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTAISSTA-2013-Buda #database #generative #using
Generation of test databases using sampling methods (TSB), pp. 366–369.
ISSTAISSTA-2013-FraserSMAP #automation #generative #question
Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTAISSTA-2013-Ghaith #analysis #performance #transaction
Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.
ISSTAISSTA-2013-GligoricGZSAM #test coverage #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTAISSTA-2013-GligoricZPP #concurrent #mutation testing
Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
ISSTAISSTA-2013-GuiSLSDW #model checking #predict #reliability
Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
ISSTAISSTA-2013-JensenPM #automation #generative #sequence
Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTAISSTA-2013-KifetewPLOT #generative #orthogonal
Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
ISSTAISSTA-2013-TrippWG #approach #learning #security #web
Finding your way in the testing jungle: a learning approach to web security testing (OT, OW, LG), pp. 347–357.
ISSTAISSTA-2013-TsankovDB
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ISSTAISSTA-2013-YuSR #automation #framework #named
SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
ISSTAISSTA-2013-ZhangMK #mutation testing #performance #reduction
Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
TAPTAP-2013-AichernigJK #generative #incremental #refinement
Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAPTAP-2013-AichernigLN #automaton #modelling #mutation testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
TAPTAP-2013-ArthoBS #modelling #verification
Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.
TAPTAP-2013-BeckertB0 #metric #verification
A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.
TAPTAP-2013-JamrozikFTH #execution #generative #symbolic computation
Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
QoSAQoSA-2012-YuHSHV #deployment #enterprise
A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
WICSA-ECSAWICSA-ECSA-2012-Al-AzzaniB #architecture #evaluation #named #security
SecArch: Architecture-level Evaluation and Testing for Security (SAA, RB), pp. 51–60.
PODSPODS-2012-IndykLR #approximate
Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
CSEETCSEET-2012-Virseda #algebra #data type #implementation #specification #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSEITiCSE-2012-BuffardiE #agile #development #student
Exploring influences on student adherence to test-driven development (KB, SHE), pp. 105–110.
ITiCSEITiCSE-2012-HiltonJ #array #education #learning #on the
On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
ITiCSEITiCSE-2012-Johnson #automation #consistency #generative #interface #named
SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ITiCSEITiCSE-2012-SalzerHY
The scientific method and software testing integrated into the same lesson (HTS, BH, CY), p. 385.
SIGITESIGITE-2012-BrannockN #development #using
Real-world testing: using FOSS for software development courses (EB, NPN), pp. 87–88.
CSMRCSMR-2012-HurdugaciZ #developer #maintenance
Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.
CSMRCSMR-2012-IslamMSS #multi #semantics
A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing (MMI, AM, AS, GS), pp. 21–30.
ICSMEICSM-2012-AmalfitanoFTCI #android #tool support #user interface
A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
ICSMEICSM-2012-BavotaQOLB #analysis #empirical #maintenance #smell
An empirical analysis of the distribution of unit test smells and their impact on software maintenance (GB, AQ, RO, ADL, DB), pp. 56–65.
ICSMEICSM-2012-BeszedesGSJLG #test coverage
Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.
ICSMEICSM-2012-IslamMSKS #algorithm #named #search-based #semantics #sorting
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.
ICSMEICSM-2012-MateoU #framework #java #mutation testing #named #quality
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.
ICSMEICSM-2012-QuAR #impact analysis #using
Configuration selection using code change impact analysis for regression testing (XQ, MA, BR), pp. 129–138.
ICSMEICSM-2012-RachatasumritK #empirical #refactoring
An empirical investigation into the impact of refactoring on regression testing (NR, MK), pp. 357–366.
ICSMEICSM-2012-SuttonZ #c++ #library
Testing C++ generic libraries (AS, MZ), pp. 36–45.
MSRMSR-2012-NguyenK #api #mutation testing
Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
SCAMSCAM-2012-Xie #analysis
Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
WCREWCRE-2012-NegaraS #automation #javascript #web
Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
WCREWCRE-2012-VonkenZ #question #refactoring
Refactoring with Unit Testing: A Match Made in Heaven? (FV, AZ), pp. 29–38.
CIAACIAA-2012-Crespi-ReghizziP #strict
Strict Local Testability with Consensus Equals Regularity (SCR, PSP), pp. 113–124.
ICALPICALP-v1-2012-ChakrabartyH
Testing Coverage Functions (DC, ZH), pp. 170–181.
ICALPICALP-v1-2012-LeviRR
Testing Similar Means (RL, DR, RR), pp. 629–640.
ICALPICALP-v2-2012-GellesOW #multi #proximity #similarity
Multiparty Proximity Testing with Dishonest Majority from Equality Testing (RG, RO, KW), pp. 537–548.
LATALATA-2012-ArvindV #morphism
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
FMFM-2012-ChristakisMW #collaboration #verification
Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.
FMFM-2012-HieronsMN #distributed #order #using
Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
FMFM-2012-MinamideM #analysis #html #parsing #reachability #specification
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.
IFMIFM-2012-AndradeFLP #generative #java
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
SEFMSEFM-2012-DranidisBI #automation #generative #named
JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFMSEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #using
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
SFMSFM-2012-VallecilloGBWH #model transformation #specification
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
HaskellHaskell-2012-JeuringJA
Testing type class laws (JJ, PJ, CA), pp. 49–60.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMTGT-VMT-2012-ArifulinaSE #specification #test coverage
Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
GT-VMTGT-VMT-2012-KhanRH #contract #visual notation
Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGTICGT-2012-KhanRH #contract #modelling #visual notation
Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
CHICHI-2012-BrehmerMTJ
Investigating interruptions in the context of computerised cognitive testing for older adults (MB, JM, CT, CJ), pp. 2649–2658.
CHICHI-2012-BruunS #usability
The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.
CAiSECAiSE-2012-EnsanBG #feature model #generative #modelling #product line #search-based
Evolutionary Search-Based Test Generation for Software Product Line Feature Models (FE, EB, DG), pp. 613–628.
ICEISICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
ICEISICEIS-v2-2012-AbdallahR #embedded #performance
Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICEISICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #using
Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
ICMLICML-2012-BachrachGMG #adaptation #crowdsourcing #how #visual notation
How To Grade a Test Without Knowing the Answers — A Bayesian Graphical Model for Adaptive Crowdsourcing and Aptitude Testing (YB, TG, TM, JG), p. 108.
ICMLICML-2012-FedorovaGNV #online #plugin
Plug-in martingales for testing exchangeability on-line (VF, AJG, IN, VV), p. 121.
ICMLICML-2012-SejdinovicGSF #kernel #using
Hypothesis testing using pairwise distances and associated kernels (DS, AG, BKS, KF), p. 104.
ICPRICPR-2012-Berrar #classification #comparison #null #visual notation
Null QQ plots: A simple graphical alternative to significance testing for the comparison of classifiers (DPB), pp. 1852–1855.
ICPRICPR-2012-TangS #independence #learning #network #performance #using
Efficient and accurate learning of Bayesian networks using chi-squared independence tests (YT, SNS), pp. 2723–2726.
KDDKDD-2012-KawaleCOSLK
Testing the significance of spatio-temporal teleconnection patterns (JK, SC, DO, KS, SL, VK), pp. 642–650.
KRKR-2012-OetschPPST #on the #source code
On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
MLDMMLDM-2012-LeiteBV #algorithm #classification
Selecting Classification Algorithms with Active Testing (RL, PB, JV), pp. 117–131.
SEKESEKE-2012-CorreaSSA #modelling #rest #uml #web #web service
Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
SEKESEKE-2012-CostaCORSZ #generative #modelling #performance
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
SEKESEKE-2012-DingX #case study #modelling
Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
SEKESEKE-2012-LiuLLGCYL #automation #execution #parallel
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKESEKE-2012-MaarabaniAC #policy #security
Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
SEKESEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #thread
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SEKESEKE-2012-MiaoCLZZ #clustering #correctness #fault #identification #locality
Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases (YM, ZC, SL, ZZ, YZ), pp. 267–272.
SEKESEKE-2012-NetoBSACR #fuzzy
Regression Testing Prioritization Based on Fuzzy Inference Systems (PSN, RB, TS, WA, JC, RALR), pp. 273–278.
SEKESEKE-2012-NetoNAM #product line #tool support
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKESEKE-2012-SunLTZ #impact analysis #using
Using FCA-based Change Impact Analysis for Regression Testing (XS, BL, CT, QZ), pp. 452–457.
SEKESEKE-2012-ZhangCGZSC #named #reduction #requirements
CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.
AMTAMT-2012-SelimCD #model transformation #state of the art
Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMTAMT-2012-TisoRL #case study #experience #model transformation
Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
ECMFAECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
ECMFAECMFA-2012-ElaasarL #case study #process
Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
ECMFAECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
ICMTICMT-2012-Guerra #generative #model transformation
Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
MODELSMoDELS-2012-AliYBW #case study #industrial #modelling #product line
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
PLEASEPLEASE-2012-LityLSG #modelling
Delta-oriented model-based SPL regression testing (SL, ML, IS, UG), pp. 53–56.
PLEASEPLEASE-2012-ShimbaraWKKO
Feature-analysis-based selection method for system configuration for system testing (DS, HW, SK, MK, HO), pp. 61–64.
SPLCSPLC-2012-HeiderRGL #impact analysis #modelling #using #variability
Using regression testing to analyze the impact of changes to variability models on products (WH, RR, PG, DL), pp. 196–205.
SPLCSPLC-2012-LeeKL #overview #product line
A survey on software product line testing (JL, SK, DL), pp. 31–40.
TOOLSTOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
OOPSLAOOPSLA-2012-YuNPP #named #parallel #source code #thread
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLATEAUPLATEAU-2012-SpinellisKL #comparative #programming language
Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
TOOLSTOOLS-EUROPE-2012-GreilerDZ #comprehension #similarity
Measuring Test Case Similarity to Support Test Suite Understanding (MG, AvD, AZ), pp. 91–107.
HILTHILT-2012-Kanig #ada #verification
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
LOPSTRLOPSTR-2012-RojasG #constraints #framework #generative #logic programming
A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
PLDIPLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction
Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
POPLPOPL-2012-NaikYCS #abstraction
Abstractions from tests (MN, HY, GC, MS), pp. 373–386.
ASEASE-2012-AmalfitanoFTCM #android #automation #user interface #using
Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.
ASEASE-2012-BauersfeldV #automation #java #library #named #robust #user interface
GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASEASE-2012-CamposRPA #debugging #eclipse #named #plugin
GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.
ASEASE-2012-ChenK #automation
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.
ASEASE-2012-DosingerMB #automation #communication #effectiveness #integration
Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
ASEASE-2012-HwangXKMT #evolution #policy #security
Selection of regression system tests for security policy evolution (JH, TX, DEK, TM, YLT), pp. 266–269.
ASEASE-2012-KahkonenSH #automation #parallel #source code #thread #using
Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
ASEASE-2012-LedruVTB #traceability
Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.
ASEASE-2012-LuciaLJB #evolution #named #source code
kbe-anonymity: test data anonymization for evolving programs (L, DL, LJ, AB), pp. 262–265.
ASEASE-2012-Nogueira #complexity #predict
Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.
FSEFSE-2012-AnandNHY #automation #smarttech
Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
FSEFSE-2012-GabelS #specification
Testing mined specifications (MG, ZS), p. 4.
FSEFSE-2012-PintoSO #comprehension #evolution
Understanding myths and realities of test-suite evolution (LSP, SS, AO), p. 33.
FSEFSE-2012-ThummalapentaSDSCDM
Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
FSEFSE-2012-Torlak #generative #modelling #multi #scalability
Scalable test data generation from multidimensional models (ET), p. 36.
ICSEICSE-2012-AlshahwanH #effectiveness
Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
ICSEICSE-2012-Avancini #research #security #web
Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSEICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing
An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
ICSEICSE-2012-Cowling #education
Stages in teaching software testing (TC), pp. 1185–1194.
ICSEICSE-2012-Elyasov
Log-based testing (AE), pp. 1591–1594.
ICSEICSE-2012-Estefo
Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.
ICSEICSE-2012-FraserA #empirical
Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSEICSE-2012-GrechanikFX #automation #learning #performance #problem
Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSEICSE-2012-GreilerDS #case study #plugin
Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSEICSE-2012-GrossFZ #named #search-based #user interface
EXSYST: Search-based GUI testing (FG, GF, AZ), pp. 1423–1426.
ICSEICSE-2012-HaoZWMR #on-demand #reduction
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
ICSEICSE-2012-KimKKJ #approach #case study #industrial #using
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
ICSEICSE-2012-MarinescuC #execution #symbolic computation
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
ICSEICSE-2012-Mayerhofer #debugging #modelling #uml
Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSEICSE-2012-Penix #automation #in the cloud #scalability
Large-scale test automation in the cloud (JP), p. 1122.
ICSEICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification
Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ICSEICSE-2012-RubinovW #automation
Augmenting test suites automatically (KR, JW), pp. 1433–1434.
ICSEICSE-2012-SegallT #combinator #interactive #refinement
Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
ICSEICSE-2012-StaatsGH #automation #fault #how #mutation testing
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
ICSEICSE-2012-ThummalapentaSSC #automation
Automating test automation (ST, SS, NS, SC), pp. 881–891.
ICSEICSE-2012-ZhangE #exception #validation
Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
SACSAC-2012-CasadoTY #reliability #transaction #web #web service
Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SACSAC-2012-Longuet #sequence chart
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SACSAC-2012-MajchrzakS #agile #development #using #web
Using spring Roo for the test-driven development of Web applications (TAM, AS), pp. 664–671.
SACSAC-2012-NathML #classification #fault #on the
On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SACSAC-2012-NguyenPZ #consistency
Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
SACSAC-2012-OongI #classification #fuzzy #learning #multi #performance
Multilayer Fuzzy ARTMAP: fast learning and fast testing for pattern classification (THO, NAMI), pp. 27–32.
SACSAC-2012-UkimotoDO #resource management
Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
ASPLOSASPLOS-2012-MartignoniMPSM
Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
CASECASE-2012-LiK #automation #automaton #finite #generative #modelling #using
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
DACDAC-2012-HuangLTCSCK #3d
Small delay testing for TSVs in 3-D ICs (SYH, YHL, KHT, WTC, SKS, YFC, DMK), pp. 1031–1036.
DACDAC-2012-LionelPSE #monitoring #statistics
Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DACDAC-2012-WangPYLKB #optimisation
Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.
DATEDATE-2012-AbdallahSMA
Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
DATEDATE-2012-DasKSV #design #encryption
PUF-based secure test wrapper design for cryptographic SoC testing (AD, ÜK, ARS, IV), pp. 866–869.
DATEDATE-2012-JongheMGMTS #modelling #roadmap #verification
Advances in variation-aware modeling, verification, and testing of analog ICs (DdJ, EM, GGEG, TM, BT, HGDS), pp. 1615–1620.
DATEDATE-2012-KarimiCGP #fault #generative
Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATEDATE-2012-Marinissen #2d #3d #challenge
Challenges and emerging solutions in testing TSV-based 2 1 over 2D- and 3D-stacked ICs (EJM), pp. 1277–1282.
DATEDATE-2012-MeissnerMLH #framework #graph #morphism #performance #synthesis
Fast isomorphism testing for a graph-based analog circuit synthesis framework (MM, OM, LL, LH), pp. 757–762.
DATEDATE-2012-MillerVG #automation #cyber-physical #mockup #named #using
MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups (BM, FV, TG), pp. 1417–1420.
DATEDATE-2012-PeranandamRSYGR #generative #modelling
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
DATEDATE-2012-QinM #automation #generative #protocol
Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATEDATE-2012-SabenaRS #algorithm
A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
DATEDATE-2012-SinghNL #generative #smt
Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
DATEDATE-2012-VeljkovicRV #generative #implementation #low cost #on the fly #random
Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.
DATEDATE-2012-ZhaCL #fault #memory management #modelling
Modeling and testing of interference faults in the nano NAND Flash memory (JZ, XC, CLL), pp. 527–531.
OSDIOSDI-2012-RenzelmannKS #named
SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
PDPPDP-2012-SterponeSR #approach #fault #injection
A New Fault Injection Approach for Testing Network-on-Chips (LS, DS, MSR), pp. 530–535.
PPoPPPPoPP-2012-LiLSGGR #generative #named #verification
GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
FASEFASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #using
Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
FASEFASE-2012-StaatsGWH #generative #on the
On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
FASEFASE-2012-TrikiLBDB #combinator #modelling
Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.
FASEFASE-2012-UsaolaML #reduction #using
Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.
FoSSaCSFoSSaCS-2012-BernardoNL #nondeterminism #probability #process
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
STOCSTOC-2012-Ajtai #nondeterminism
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOCSTOC-2012-ForbesS #on the #rank
On identity testing of tensors, low-rank recovery and compressed sensing (MAF, AS), pp. 163–172.
ICLPICLP-2012-AlbertAG #concurrent #towards
Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.
ICLPICLP-2012-BanbaraTI #generative #matrix #programming
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICSTICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICSTICST-2012-AlesioGNB #constraints #optimisation #realtime #using
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICSTICST-2012-BallanceVJ #effectiveness
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICSTICST-2012-BertolinoDLM #automation #generative #policy
Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICSTICST-2012-BeyeneA #generative #string #test coverage
Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICSTICST-2012-BlancoTS #approach #evaluation #interactive #test coverage
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
ICSTICST-2012-BorazjanyYLKK #case study #combinator
Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.
ICSTICST-2012-Borjesson #automation #industrial #user interface #visual notation
Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.
ICSTICST-2012-BorjessonF #automation #case study #comparative #industrial #tool support #user interface #using #visual notation
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry (EB, RF), pp. 350–359.
ICSTICST-2012-BuchlerOP #named #web
SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
ICSTICST-2012-CaliebeHG #dependence #embedded
Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICSTICST-2012-ChenLYS #question #user interface #what
When a GUI Regression Test Failed, What Should be Blamed? (JC, ML, KY, BS), pp. 467–470.
ICSTICST-2012-ChoudharyDBJOI #challenge #internet #modelling #security
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (SC, MED, GvB, GVJ, IVO, PI), pp. 850–857.
ICSTICST-2012-ChrzaszczCST #evolution #protocol
Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
ICSTICST-2012-CunninghamHH #analysis #combinator
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment (AMCJ, JDH, RJH), pp. 630–635.
ICSTICST-2012-DanH12a #c #mutation testing #named #semantics #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICSTICST-2012-DurelliOD #mutation testing #towards #virtual machine
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
ICSTICST-2012-DustmannSW #distributed
Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICSTICST-2012-EldhS #case study #challenge #industrial #mobile #robust
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges (SE, DS), pp. 895–900.
ICSTICST-2012-ElrakaibyMT #analysis #mutation testing #policy #using
Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.
ICSTICST-2012-EnderlinDGB #grammarware #php #using
Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICSTICST-2012-EndoS #comparison #finite #generative #state machine
Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICSTICST-2012-FilhoB #approach #modelling
An Integrated Model-Driven Approach for Mechatronic Systems Testing (RSSF, CJB), pp. 447–456.
ICSTICST-2012-FrankeKWP #consistency #lifecycle #mobile
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICSTICST-2012-FraserA #search-based
The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.
ICSTICST-2012-FraserW #behaviour
Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICSTICST-2012-GansR #protocol #smarttech
The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.
ICSTICST-2012-GargantiniV #combinator #interactive #named
CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.
ICSTICST-2012-GargD #database #web
Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICSTICST-2012-GhandehariLXKK #combinator #identification
Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICSTICST-2012-GuoSC #analysis #clustering
Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.
ICSTICST-2012-JollyGE #automation #case study #industrial #research
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
ICSTICST-2012-JuzgadoVSAR #abstraction #branch #clustering #effectiveness #equivalence
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects (NJJ, SV, MS, SA, IR), pp. 330–339.
ICSTICST-2012-Kapfhammer #database #towards
Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.
ICSTICST-2012-KauffmanK #framework #industrial #research
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.
ICSTICST-2012-KimKJ #case study #embedded #industrial
Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICSTICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
ICSTICST-2012-KruseBW #combinator #constraints #interactive
Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.
ICSTICST-2012-KruseW #classification #generative #sequence
Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICSTICST-2012-KuhnHLKL #combinator #sequence
Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICSTICST-2012-Li #automation
A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
ICSTICST-2012-MalzJG #fuzzy #logic #using
Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.
ICSTICST-2012-MarbackDE #approach #effectiveness #php #web
An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.
ICSTICST-2012-MarianiPRS #automation #black box #interactive #named
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ICSTICST-2012-MassicotteCNM #analysis
A Testing Model for Dynamic Malware Analysis Systems (FM, MC, HN, FM), pp. 826–833.
ICSTICST-2012-MeiraATS #peer-to-peer
Peer-to-Peer Load Testing (JAM, ECdA, YLT, GS), pp. 642–647.
ICSTICST-2012-MirzaAghaeiPP #adaptation #evolution
Supporting Test Suite Evolution through Test Case Adaptation (MM, FP, MP), pp. 231–240.
ICSTICST-2012-Oriol #evaluation #fault #random testing
Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICSTICST-2012-PaciMBD #evolution #process #requirements
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ICSTICST-2012-PavlovF #automation #generative #search-based
Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICSTICST-2012-Praphamontripong #mutation testing #web
Web Mutation Testing (UP), pp. 495–498.
ICSTICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #uml #using
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
ICSTICST-2012-RunesonE #3d #problem #product line
Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.
ICSTICST-2012-SaleckerG #combinator #grammarware #interactive
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.
ICSTICST-2012-Schieferdecker #modelling
Model-Based Fuzz Testing (IS), p. 814.
ICSTICST-2012-ShakyaXLLKK #classification #combinator #using
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
ICSTICST-2012-SheltonLAO #development
Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
ICSTICST-2012-TanMTL #consistency #detection #nondeterminism
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ICSTICST-2012-VorobyovK #automation #constraints #generative #static analysis #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ICSTICST-2012-WahlerFSJN #automation #embedded #named
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICSTICST-2012-WiklundESL #automation #technical debt
Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.
ICSTICST-2012-Woehrle #network #protocol #search-based
Search-Based Stress Testing of Wireless Network Protocol Stacks (MW), pp. 794–803.
ICSTICST-2012-ZaraketMAHHFKN #named #user interface
GUICOP: Specification-Based GUI Testing (FAZ, WM, MA, DH, RH, RF, EK, JN), pp. 747–751.
ICSTICST-2012-ZhangLZ #combinator
Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.
ICTSSICTSS-2012-ArltBSP #user interface
Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.
ICTSSICTSS-2012-BannourEGG #consistency #generative #modelling
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
ICTSSICTSS-2012-BrauerPS #modelling #performance #tool support
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ICTSSICTSS-2012-ChenV #protocol
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
ICTSSICTSS-2012-DangS #estimation #hybrid
State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
ICTSSICTSS-2012-HervieuBG #execution #experience #industrial #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ICTSSICTSS-2012-HiromoriUYH #evaluation #performance #protocol
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.
ICTSSICTSS-2012-JohansenHFCEW #agile #automation #interactive #product line
A Technique for Agile and Automatic Interaction Testing for Product Lines (MFJ, ØH, FF, EC, JE, TW), pp. 39–54.
ICTSSICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #towards
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
ICTSSICTSS-2012-MayerSWM #framework #named #performance
CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.
ICTSSICTSS-2012-StrugS #approach #machine learning #mutation testing
Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.
ICTSSICTSS-2012-TaylorHBD #behaviour #using
Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
ISSTAISSTA-2012-AlshahwanH #detection #fault #web
State aware test case regeneration for improving web application test suite coverage and fault detection (NA, MH), pp. 45–55.
ISSTAISSTA-2012-GroceZECR
Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.
ISSTAISSTA-2012-GrossFZ #search-based
Search-based system testing: high coverage, no false alarms (FG, GF, AZ), pp. 67–77.
ISSTAISSTA-2012-HongAPKH #concurrent #source code
Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
ISSTAISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
ISSTAISSTA-2012-KimCHKOSPMN #performance
Efficient regression testing of ontology-driven systems (MK, JC, MJH, TMK, AO, JHS, ARP, KM, SBN), pp. 320–330.
ISSTAISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling
Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
ISSTAISSTA-2012-RobetalerFZO #generative
Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
ISSTAISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named
THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ISSTAISSTA-2012-ZhangED #composition #generative #pipes and filters
Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
ISSTAISSTA-2012-ZhangMZK #mutation testing
Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
LICSLICS-2012-Berkholz #bound #game studies
Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.
TAPTAP-2012-ArmandoPCMB #automation #model checking #protocol #security
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.
TAPTAP-2012-BengoleaAMF #bound #test coverage #using
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
TAPTAP-2012-BroschEGKSTWW #diagrams #towards #uml
Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
TAPTAP-2012-CarlierDG #constraints #design
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
TAPTAP-2012-ChedorJM #generative #recursion
Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
TAPTAP-2012-KiniryZH #consistency #library #specification #verification
Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
TAPTAP-2012-KosmatovW #automation #tutorial
Tutorial on Automated Structural Testing with PathCrawler — (NK, NW), p. 176.
TAPTAP-2012-KosmatovWBRC
A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.
TAPTAP-2012-Kuehlmann
The Technology and Psychology of Testing Your Code as You Develop It (AK), p. 1.
TAPTAP-2012-LochauSKL #incremental #modelling #product line
Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
TAPTAP-2012-Pasareanu #execution #model checking #symbolic computation
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
TAPTAP-2012-SenniF #constraints #data type #generative #logic programming #using
Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
CBSECBSE-2011-YoonSMP #component #incremental #towards
Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.
ECSAECSA-2011-OliveiraN #architecture #tool support
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
CSEETCSEET-2011-CarverK #student
Evaluating the testing ability of senior-level computer science students (JCC, NAK), pp. 169–178.
CSEETCSEET-2011-ChenZL #education
Teaching software testing methods based on diversity principles (ZC, JZ, BL), pp. 391–395.
CSEETCSEET-2011-DvornikJCD
Supporting introductory test-driven labs with WebIDE (TD, DSJ, JC, OD), pp. 51–60.
CSEETCSEET-2011-Garousi #challenge #industrial #lessons learnt
Incorporating real-world industrial testing projects in software testing courses: Opportunities, challenges, and lessons learned (VG), pp. 396–400.
CSEETCSEET-2011-SouzaMB #evaluation #named #process #programming
ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities (DMdS, JCM, EFB), pp. 1–10.
CSEETCSEET-2011-WongBDMOV #case study #education #experience #lessons learnt
Teaching software testing: Experiences, lessons learned and the path forward (WEW, AB, VD, APM, JO, MAV), pp. 530–534.
ICPCICPC-J-2009-PoonTTK11 #category theory #experience #identification
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing (PLP, THT, SFT, FCK), pp. 141–163.
CSMRCSMR-2011-JurgensHDFSW
Regression Test Selection of Manual System Tests in Practice (EJ, BH, FD, MF, CS, AW), pp. 309–312.
CSMRCSMR-2011-MendeKP #case study #fault #integration #on the #predict
On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study (TM, RK, JP), pp. 259–268.
CSMRCSMR-2011-SalehieLTDLM
Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.
CSMRCSMR-2011-VosTWHPPN #internet
Future Internet Testing with FITTEST (TEJV, PT, JW, MH, WP, EP, YNB), pp. 355–358.
ICSMEICSM-2011-BrunetGF #consistency #design #evaluation #usability
Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.
ICSMEICSM-2011-CarlsonDD #approach #case study #clustering #industrial
A clustering approach to improving test case prioritization: An industrial case study (RC, HD, AD), pp. 382–391.
ICSMEICSM-2011-HuangLZXW #approach #novel
A novel approach to regression test selection for J2EE applications (SH, ZJL, JZ, YX, WW), pp. 13–22.
ICSMEICSM-2011-KhomhCZSD #fault #predict #using
Predicting post-release defects using pre-release field testing results (FK, BC, YZ, AS, DD), pp. 253–262.
ICSMEICSM-2011-KuhnK #combinator #detection #fault
Practical combinatorial (t-way) methods for detecting complex faults in regression testing (RK, RK), p. 599.
ICSMEICSM-2011-MatthesSH #assurance #migration #quality
Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.
ICSMEICSM-2011-RogstadBDRA #automation #case study #database #experience #industrial #legacy
Industrial experiences with automated regression testing of a legacy database application (ER, LCB, RD, MR, EA), pp. 362–371.
ICSMEICSM-2011-SampathBJM #reduction
A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
ICSMEICSM-2011-SrikanthC #as a service #case study #industrial
Regression testing in Software as a Service: An industrial case study (HS, MBC), pp. 372–381.
SCAMSCAM-2011-AvanciniC #approach #search-based #security #web
Security Testing of Web Applications: A Search-Based Approach for Cross-Site Scripting Vulnerabilities (AA, MC), pp. 85–94.
WCREWCRE-2011-AlbertCFGG #automation #generative #java #named
jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
WCREWCRE-2011-KaushikTM #case study #debugging #traceability
Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.
ICALPICALP-v2-2011-BeeckenMS #algebra #independence
Algebraic Independence and Blackbox Identity Testing (MB, JM, NS), pp. 137–148.
SEFMSEFM-2011-NorooziKMW #consistency
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
SFMSFM-2011-Tretmans #modelling #towards
Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.
IFLIFL-2011-KoopmanAP #logic #modelling #state machine
Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
IFLIFL-2011-Page #verification
Property-Based Testing and Verification: A Catalog of Classroom Examples (RP), pp. 134–147.
AIIDEAIIDE-2011-BlackadarD #behaviour #contest
Behavior Learning-Based Testing of Starcraft Competition Entries (MB, JD).
AGTIVEAGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
CHICHI-2011-GormanRYBK #adaptation #usability
Adapting usability testing for oral, rural users (TG, EJR, JY, AB, BEK), pp. 1437–1440.
CHICHI-2011-HirshfieldGHHRWWJ #functional #interface #usability
This is your brain on interfaces: enhancing usability testing with functional near-infrared spectroscopy (LMH, RG, SHH, SWH, MR, RW, TW, RJKJ), pp. 373–382.
CHICHI-2011-MadathilG #approach #usability
Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CSCWCSCW-2011-GutwinLG #network #performance #realtime
Real-time groupware in the browser: testing the performance of web-based networking (CG, ML, TCNG), pp. 167–176.
HCIDUXU-v1-2011-RiceTW #enterprise #scalability #usability
ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.
HCIDUXU-v1-2011-WebbOMPC #mobile
Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.
HCIDUXU-v2-2011-OlsenPB #effectiveness #game studies #how #usability
Serious Games Usability Testing: How to Ensure Proper Usability, Playability, and Effectiveness (TO, KP, CAB), pp. 625–634.
HCIHCD-2011-AndradeTSRB #3d #multi #navigation #usability
Usability Tests for Improvement of 3D Navigation in Multiscale Environments (TMA, DRT, ERS, ABR, SDJB), pp. 481–490.
HCIHCD-2011-HoriKK #usability
Investigation of Indirect Oral Operation Method for Think Aloud Usability Testing (MH, YK, TK), pp. 38–46.
HCIHCI-ITE-2011-JokischBS #interactive #multi #usability
Usability Testing of the Interaction of Novices with a Multi-touch Table in Semi Public Space (MJ, TB, AS), pp. 71–80.
HCIIDGD-2011-BakerSH
Testing Touch: Emulators vs. Devices (RMSB, XS, BH), pp. 135–142.
HCIIDGD-2011-EksiogluKCSO #case study #evaluation #heuristic #usability
Heuristic Evaluation and Usability Testing: Case Study (ME, EK, , MNS, SO), pp. 143–151.
ICEISICEIS-J-2011-MateoPC11a #modelling #product line
Model Based Testing in Software Product Lines (PRM, MP, DC), pp. 270–283.
ICEISICEIS-v3-2011-AndreouSP #automation #user interface
Specification-based Automated Automated GUI Testing (ASA, AAS, CP), pp. 318–323.
ICEISICEIS-v3-2011-MateoPC #approach #modelling #product line
Testing in Software Product Lines — A Model based Approach (PRM, MP, DC), pp. 46–54.
ECIRECIR-2011-ThotaC #statistics
Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing (SLT, BC), pp. 543–554.
KDDKDD-2011-ThanhRT #implementation
k-NN as an implementation of situation testing for discrimination discovery and prevention (BLT, SR, FT), pp. 502–510.
RecSysRecSys-2011-CamposDS #evaluation #matrix #predict #recommendation #towards
Towards a more realistic evaluation: testing the ability to predict future tastes of matrix factorization-based recommenders (PGC, FD, MASM), pp. 309–312.
SEKESEKE-2011-BadriT #analysis #control flow #dependence #empirical
Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes (MB, FT), pp. 475–480.
SEKESEKE-2011-GaoGMTBK #analysis #complexity #component #configuration management #modelling
Testing Configurable Component-Based Software — Configuration Test Modeling and Complexity Analysis (JG, JG, AM, CT, XB, DCK), pp. 495–502.
SEKESEKE-2011-MachadoNAM #named #process #product line
RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKESEKE-2011-NetoMNAM #product line
Software Product Lines System Test Case Tool: A Proposal (CRLN, IdCM, PAdMSN, ESdA, SRdLM), pp. 699–704.
SEKESEKE-2011-NoorianBD #classification #framework #machine learning #towards
Machine Learning-based Software Testing: Towards a Classification Framework (MN, EB, WD), pp. 225–229.
SEKESEKE-2011-SantosSN #functional #order #performance #reuse
Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.
SEKESEKE-2011-SilveiraRZCVO #generative #modelling #performance #uml
Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.
SEKESEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #using
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.
SEKESEKE-2011-TaoLG #approach #component #modelling
A Model-based Approach to Regression Testing of Component-based Software (CT, BL, JG), pp. 230–237.
SEKESEKE-2011-ThiryZS #education #empirical #game studies #learning
Empirical study upon software testing learning with support from educational game (MT, AZ, ACdS), pp. 481–484.
SEKESEKE-2011-VilkomirKT #algorithm #case study #interface #using
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (SV, AAK, NT), pp. 219–224.
SEKESEKE-2011-YuLFC #composition
A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
ECMFAECMFA-2011-GogollaV #model transformation
Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ECMFAECMFA-2011-YueAB #automation #case study #state machine #uml
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
MODELSMoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #uml #using
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MODELSMoDELS-2011-CichosOLS #generative #modelling #product line
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
MODELSMoDELS-2011-Garcia-DominguezKRPM #framework #model management #named
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
MODELSMoDELS-2011-JohansenHF #combinator #feature model #modelling #product line
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
MODELSMoDELS-2011-WilkeGRA #energy #modelling #towards
Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.
SPLCSPLC-2011-SinhaDR #development #multi #performance #product line #reduction #scalability
Governance and Cost Reduction through Multi-tier Preventive Performance Tests in a Large-Scale Product Line Development (SS, TD, RR), pp. 295–302.
OOPSLAOOPSLA-2011-KatsVV #development
Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
OOPSLAOOPSLA-2011-ShachamBASVY #concurrent
Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.
OOPSLAOOPSLA-2011-ThummalapentaXTHS #sequence
Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
TOOLSTOOLS-EUROPE-2011-BauerKE #model transformation #quality
Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
AdaEuropeAdaEurope-2011-EilersK #adaptation #framework
Adapting ACATS to the Ahven Testing Framework (DE, TK), pp. 75–88.
LOPSTRLOPSTR-2011-AlbertGR #generative
Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
PLDIPLDI-2011-Godefroid #generative #higher-order
Higher-order test generation (PG), pp. 258–269.
PPDPPPDP-2011-Lagoon #challenge #constraints #generative
The challenges of constraint-based test generation (VL), pp. 1–2.
QAPLQAPL-2011-DengGHM #probability #process
Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
AdaSIGAda-2011-EilersK #execution
Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ASEASE-2011-AlshahwanH #automation #re-engineering #using #web
Automated web application testing using search based software engineering (NA, MH), pp. 3–12.
ASEASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
ASEASE-2011-BaarsHHLMTV #search-based
Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
ASEASE-2011-Bandyopadhyay #fault #locality #using
Improving spectrum-based fault localization using proximity-based weighting of test cases (AB), pp. 660–664.
ASEASE-2011-BandyopadhyayG #fault #locality #proximity
Proximity based weighting of test cases to improve spectrum based fault localization (AB, SG), pp. 420–423.
ASEASE-2011-Dwyer #analysis #behaviour
Unifying testing and analysis through behavioral coverage (MBD), p. 2.
ASEASE-2011-GanaiAWGB #concurrent #multi #named #predict #thread
BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ASEASE-2011-Gonzalez-SanchezAGG #ambiguity #fault #locality #reduction
Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.
ASEASE-2011-KhalekYZMK #alloy #java #named #source code #specification #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ASEASE-2011-MalburgF #constraints #search-based
Combining search-based and constraint-based testing (JM, GF), pp. 436–439.
ASEASE-2011-PanWX #database #generative
Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASEASE-2011-RobinsonEPAL #automation #generative #scalability #source code
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASEASE-2011-WeiRFPHSNM #contract #fault
Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ASEASE-2011-WinbladhR
Evaluating test selection strategies for end-user specified flow-based applications (KW, AR), pp. 400–403.
ASEASE-2011-ZhangED #automation #generative
Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ASEASE-2011-ZhangZE #automation #documentation
Automated documentation inference to explain faile