testing
software testing
Q188522

Softwaretest

Software testing

Testen (software)

Тестирование программного обеспечения










Tag #testing
4091 papers:
POPL-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.
ASPLOS-2020-YuanY #concurrent #distributed #effectiveness
- Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.
CGO-2020-TanejaLR #analysis #precise
- Testing static analyses for precision and soundness (JT, ZL, JR), pp. 81–93.
ICSA-2019-JahicKAW #architecture #concurrent #implementation
- Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions (JJ, VK, POA, GW), pp. 171–180.
ICPC-2019-GaoLLLYLGC #automation #distributed #towards
- Towards automated testing of blockchain-based decentralized applications (JG, HL0, YL, CL, ZY, QL, ZG, ZC), pp. 294–299.
ICSME-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.
ICSME-2019-Bello-JimenezML #android #named
- OPIA: A Tool for On-Device Testing of Vulnerabilities in Android Applications (LBJ, AMR, MLV, GB), pp. 418–421.
ICSME-2019-BraiekK #approach #named #network #search-based
- DeepEvolution: A Search-Based Testing Approach for Deep Neural Networks (HBB, FK), pp. 454–458.
ICSME-2019-Ravelo-MendezEL #android #named
- Kraken-Mobile: Cross-Device Interaction-Based Testing of Android Apps (WRM, CEV, MLV), pp. 410–413.
ICSME-2019-ZhaoDXQ #android #latency
- Systematically Testing and Diagnosing Responsiveness for Android Apps (WZ, ZD, MX, ZQ), pp. 449–453.
MSR-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.
MSR-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.
SANER-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.
SANER-2019-MaJXLLLZ #combinator #learning #named
- DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems (LM0, FJX, MX, BL0, LL0, YL0, JZ), pp. 614–618.
SANER-2019-QiZ #concurrent #source code
- A Splitting Strategy for Testing Concurrent Programs (XQ, HZ), pp. 388–398.
SANER-2019-WangWSZ #contract #effectiveness #generative #towards
- Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract (XW, HW, WS, YZ), pp. 549–553.
SANER-2019-ZhangDYSG #android
- Testing the Message Flow of Android Auto Apps (YZ, XD, JY0, HS, HG), pp. 559–563.
SCAM-2019-StorerB #automation #behaviour #development #exclamation #generative
- Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
SCAM-2019-YackleyKBAM #refactoring
- Simultaneous Refactoring and Regression Testing (JJY, MK, GB, VA, BRM), pp. 216–227.
FM-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.
SEFM-2019-AraujoCMS #cyber-physical #effectiveness #multi
- Multi-objective Search for Effective Testing of Cyber-Physical Systems (HLSA, GC, MRM, AS), pp. 183–202.
SEFM-2019-FellnerBW #mutation testing
- Mutation Testing with Hyperproperties (AF, MTB, GW), pp. 203–221.
CoG-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.
CIKM-2019-WangGLML #bias #on the
- On Heavy-user Bias in A/B Testing (YW, SG, JL, AM, SL), pp. 2425–2428.
ICML-2019-FeldmanFH #multi #reuse
- The advantages of multiple classes for reducing overfitting from test set reuse (VF, RF, MH), pp. 1892–1900.
ICML-2019-RollandKISC #learning #performance #probability
- Efficient learning of smooth probability functions from Bernoulli tests with guarantees (PR, AK, AI, AS, VC), pp. 5459–5467.
ICML-2019-ShenHCD #independence #network
- Conditional Independence in Testing Bayesian Networks (YS, HH, AC, AD), pp. 5701–5709.
ICML-2019-WestphalB
- Improving Model Selection by Employing the Test Data (MW, WB), pp. 6747–6756.
ICML-2019-ZhangZT #adaptation #monte carlo #multi
- Adaptive Monte Carlo Multiple Testing via Multi-Armed Bandits (MJZ, JZ, DT), pp. 7512–7522.
KDD-2019-DengL
- Testing Dynamic Incentive Compatibility in Display Ad Auctions (YD, SL), pp. 1616–1624.
KDD-2019-PellegrinaRV #mining #named
- SPuManTE: Significant Pattern Mining with Unconditional Testing (LP, MR, FV), pp. 1528–1538.
KDD-2019-PellegrinaRV19a #mining #statistics
- Hypothesis Testing and Statistically-sound Pattern Mining (LP, MR, FV), pp. 3215–3216.
KDD-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.
MoDELS-2019-GuerraCL #atl #effectiveness #mutation testing #towards
- Towards Effective Mutation Testing for ATL (EG, JSC, JdL), pp. 78–88.
MoDELS-2019-IqbalSKHQ #approach #modelling
- A Model-Based Testing Approach for Cockpit Display Systems of Avionics (MZI, HS, MUK, FUH, IQ), pp. 67–77.
MoDELS-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.
OOPSLA-2019-Lampropoulos0P
- Coverage guided, property based testing (LL, MH0, BCP), p. 29.
OOPSLA-2019-OzkanMO #distributed #random testing
- Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
OOPSLA-2019-RahmaniNDJ #consistency #database #generative #named
- CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
OOPSLA-2019-ShiHZML
- Reflection-aware static regression test selection (AS, MHT, LZ, DM, OL), p. 29.
PADL-2019-Tarau #combinator #framework #proving #theorem proving
- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (PT), pp. 115–132.
PLDI-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.
PPDP-2019-Blanco0M #proving #re-engineering
- Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.
SAS-2019-YinCL0C #source code #verification
- Verifying Numerical Programs via Iterative Abstract Testing (BY, LC, JL, JW0, PC), pp. 247–267.
ASE-2019-AfzalACCDDKV #abstraction #generative #verification
- VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.
ASE-2019-AhmadiJD #named #state machine #uml
- mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines (RA, KJ, JD), pp. 1182–1185.
ASE-2019-BeyerL #execution #metric #named #robust
- TestCov: Robust Test-Suite Execution and Coverage Measurement (DB0, TL0), pp. 1074–1077.
ASE-2019-ChenPSAZ #cyber-physical #fuzzing #network
- Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences (YC, CMP, JS, SA, FZ), pp. 962–973.
ASE-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.
ASE-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.
ASE-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.
ASE-2019-GodioBPAF #generative #performance #test coverage
- Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASE-2019-Hu0XY0Z #framework #learning #mutation testing
- DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASE-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.
ASE-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.
ASE-2019-Lukasczyk #dynamic typing #generative #source code
- Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ASE-2019-NejadgholiY #approximate #case study #learning #library
- A Study of Oracle Approximations in Testing Deep Learning Libraries (MN, JY0), pp. 785–796.
ASE-2019-Osei-OwusuAB0C
- Grading-Based Test Suite Augmentation (JOO, AA, LB, TX0, GC), pp. 226–229.
ASE-2019-SungKKJK #automation #case study
- Test Automation and Its Limitations: A Case Study (AS, SK, YK, YJ, JK), pp. 1208–1209.
ASE-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.
ASE-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.
ASE-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-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-FSE-2019-AhmadiD #modelling
- Concolic testing for models of state-based systems (RA, JD), pp. 4–15.
ESEC-FSE-2019-BiagiolaSRT #generative #web
- Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.
ESEC-FSE-2019-ChaO #adaptation #heuristic
- Concolic testing with adaptively changing search heuristics (SC, HO), pp. 235–245.
ESEC-FSE-2019-Correia #industrial #using
- An industrial application of test selection using test suite diagnosability (DC), pp. 1214–1216.
ESEC-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-FSE-2019-Coviello #distributed #execution #integration
- Distributed execution of test cases and continuous integration (CC), pp. 1148–1151.
ESEC-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-FSE-2019-EckPCB #comprehension #developer #perspective
- Understanding flaky tests: the developer's perspective (ME, FP, MC, AB), pp. 830–840.
ESEC-FSE-2019-FuRMSYJLS #detection #named
- EVMFuzzer: detect EVM vulnerabilities via fuzz testing (YF, MR, FM, HS, XY, YJ0, HL, XS), pp. 1110–1114.
ESEC-FSE-2019-GambiHF #effectiveness #generative #self
- Generating effective test cases for self-driving cars from police reports (AG, TH, GF), pp. 257–267.
ESEC-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-FSE-2019-HeMS0PS #performance #statistics
- A statistics-based performance testing methodology for cloud applications (SH, GM, JS, WW0, LLP, MLS), pp. 188–199.
ESEC-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-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-FSE-2019-LiM0CX0 #performance
- Boosting operational DNN testing efficiency through conditioning (ZL, XM, CX0, CC, JX0, JL0), pp. 499–509.
ESEC-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-FSE-2019-LuPZ0L #android
- Preference-wise testing for Android applications (YL, MP, JZ, TZ0, XL), pp. 268–278.
ESEC-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-FSE-2019-Moghadam #machine learning #performance
- Machine learning-assisted performance testing (MHM), pp. 1187–1189.
ESEC-FSE-2019-MollerT #library #modelling
- Model-based testing of breaking changes in Node.js libraries (AM, MTT), pp. 409–419.
ESEC-FSE-2019-NajafiRS #commit #modelling
- Bisecting commits and modeling commit risk during testing (AN, PCR, WS), pp. 279–289.
ESEC-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-FSE-2019-Radavelli #modelling #using
- Using software testing to repair models (MR), pp. 1253–1255.
ESEC-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-FSE-2019-StahlbauerKF #automation #source code
- Testing scratch programs automatically (AS, MK, GF), pp. 165–175.
ESEC-FSE-2019-Sun #adaptation
- Context-aware test case adaptation (PS), pp. 1259–1261.
ESEC-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.
ASPLOS-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.
ASPLOS-2019-MahmoudVAMMFA #adaptation #fault #hardware #named
- Minotaur: Adapting Software Testing Techniques for Hardware Errors (AM, RV, KA, SM, DM, CWF, SVA), pp. 1087–1103.
CASE-2019-ThonnessenSFCK #quickcheck #safety #using
- Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.
CC-2019-LiC0 #performance
- Efficient concolic testing of MPI applications (HL, ZC, RG0), pp. 193–204.
FASE-2019-BeyerJ #named
- CoVeriTest: Cooperative Verifier-Based Testing (DB0, MCJ), pp. 389–408.
FASE-2019-GharachorluS #reduction
- : Priority Aware Test Case Reduction (GG, NS), pp. 409–426.
CAV-2019-EmmiE #concurrent #generative #named #refinement
- Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
ICST-2019-BaderCF #parallel
- Parallel Many-Objective Search for Unit Tests (VB, JC, GF), pp. 37–47.
ICST-2019-DiniYGK #automation #imperative
- Extension-Aware Automated Testing Based on Imperative Predicates (ND, CY, MG, SK), pp. 25–36.
ICST-2019-FuMG #c++
- Resurgence of Regression Test Selection for C++ (BF, SM, MG), pp. 323–334.
ICST-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.
ICST-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.
ICST-2019-IwamaF #automation #recognition #speech
- Automated Testing of Basic Recognition Capability for Speech Recognition Systems (FI, TF), pp. 13–24.
ICST-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.
ICST-2019-Junior
- Operational Profile and Software Testing: Aligning User Interest and Test Strategy (LCJ), pp. 492–494.
ICST-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.
ICST-2019-KooS0B #automation #generative #learning #named #worst-case
- PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.
ICST-2019-LamOSM0 #detection #framework #named
- iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (WL, RO, AS, DM, TX0), pp. 312–322.
ICST-2019-Lima #automation #distributed #integration
- Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems (BL), pp. 486–488.
ICST-2019-MaoCZ #mutation testing #predict
- An Extensive Study on Cross-Project Predictive Mutation Testing (DM, LC, LZ), pp. 160–171.
ICST-2019-MuscoYN #approach #clustering #implementation #named
- SmokeOut: An Approach for Testing Clustering Implementations (VM, XY, IN), pp. 473–480.
ICST-2019-PaivaGB #android
- Testing Android Incoming Calls (ACRP, MAG, ARB), pp. 441–448.
ICST-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.
ICST-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.
ICST-2019-Radavelli #modelling #using
- Using Testing to Repair Models (MR), pp. 489–491.
ICST-2019-RwemalikaKPTL #evolution #keyword #on the
- On the Evolution of Keyword-Driven Test Suites (RR, MK, MP, YLT, PL), pp. 335–345.
ICST-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.
ICST-2019-SharmaW #algorithm #machine learning
- Testing Machine Learning Algorithms for Balanced Data Usage (AS, HW), pp. 125–135.
ICST-2019-Sondhi #consistency #documentation #implementation #nondeterminism
- Testing for Implicit Inconsistencies in Documentation and Implementation (DS), pp. 483–485.
ICST-2019-SondhiRP #library
- Similarities Across Libraries: Making a Case for Leveraging Test Suites (DS, DR, RP), pp. 79–89.
ICST-2019-Tan #approach #modelling
- A Model-Based Approach to Generate Dynamic Synthetic Test Data (CT), pp. 495–497.
ICST-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.
ICST-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.
ICST-2019-ZhongZK #named #scalability #web #web service
- TestSage: Regression Test Selection for Large-Scale Web Service Testing (HZ, LZ, SK), pp. 430–440.
ICTSS-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.
ICTSS-2019-ArcainiGR #learning #regular expression
- Regular Expression Learning with Evolutionary Testing and Repair (PA, AG, ER), pp. 22–40.
ICTSS-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.
ICTSS-2019-BozicW #using
- Testing Chatbots Using Metamorphic Relations (JB, FW), pp. 41–55.
ICTSS-2019-ErardG #bound #source code
- Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs (CE, AG), pp. 159–175.
ICTSS-2019-Huerta-GuevaraA #adaptation #performance #towards
- Towards an Efficient Performance Testing Through Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 215–233.
ICTSS-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.
ICTSS-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.
ICTSS-2019-NakajimaC #dataset #generative #machine learning #source code
- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs (SN0, TYC), pp. 56–64.
ICTSS-2019-SamsonV #architecture #automation #component #generative
- Automatic Generation of Test Oracles from Component Based Software Architectures (MS, TV), pp. 261–269.
ICTSS-2019-SellAFGWF #algorithm #empirical #evaluation
- An Empirical Evaluation of Search Algorithms for App Testing (LS, MA, CF, MG, PW, GF), pp. 123–139.
ICTSS-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.
TAP-2019-AichernigPSW #case study #learning #predict
- Predicting and Testing Latencies with Deep Learning: An IoT Case Study (BKA, FP, RS, AW), pp. 93–111.
TAP-2019-AndreAGR #abstraction #automaton
- Repairing Timed Automata Clock Guards through Abstraction and Testing (ÉA, PA, AG, MR), pp. 129–146.
TAP-2019-AngelisFPPP #for free #generative
- Property-Based Test Case Generators for Free (EDA, FF, AP, AP, MP), pp. 186–206.
TAP-2019-BosT
- Coverage-Based Testing with Symbolic Transition Systems (PvdB, JT), pp. 64–82.
TAP-2019-CavalcantiBHL #csp #using
- Testing Robots Using CSP (AC, JB, RMH, RL), pp. 21–38.
TAP-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.
TAP-2019-OliveiraMDM #modelling #named
- BTestBox: A Tool for Testing B Translators and Coverage of B Models (DdAO, VMJ, DD, MAM), pp. 83–92.
TAP-2019-RoblesKPRG #proving #specification
- Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties (VR, NK, VP, LR, PLG), pp. 167–185.
ECSA-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.
EDM-2018-MatayoshiGDUC #adaptation #assessment #learning
- Forgetting curves and testing effect in an adaptive learning and assessment system (JM, UG, CD, HU, EC).
EDM-2018-SalesBPH #big data #using
- Using Big Data to Sharpen Design-Based Inference in A/B Tests (AS, AB, TP, NTH).
ICPC-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.
ICPC-2018-GranoSGO #empirical #readability
- An empirical investigation on the readability of manual and generated test cases (GG, SS, HCG, RO), pp. 348–351.
ICPC-2018-LiVLP #comprehension
- Aiding comprehension of unit test cases and test suites with stereotype-based tagging (BL, CV, MLV, DP), pp. 52–63.
ICSME-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.
ICSME-2018-LuoMPP #fault
- Assessing Test Case Prioritization on Real Faults and Mutants (QL, KM, DP, MDP), pp. 240–251.
ICSME-2018-Nucci #tool support
- Methods and Tools for Focusing and Prioritizing the Testing Effort (DDN), pp. 722–726.
ICSME-2018-ThorveSM #android #empirical
- An Empirical Study of Flaky Tests in Android Apps (ST, CS, NM), pp. 534–538.
ICSME-2018-XiongCZXQ #mobile
- Reproducible Interference-Aware Mobile Testing (WX, SC, YZ, MX, ZQ), pp. 36–47.
ICSME-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.
ICSME-2018-ZhuSR
- Test Re-Prioritization in Continuous Testing Environments (YCZ, ES, PCR), pp. 69–79.
MSR-2018-GaoYJLYZ #concurrent #dataset #named
- Jbench: a dataset of data races for concurrency testing (JG, XY, YJ0, HL0, WY, XZ), pp. 6–9.
SANER-2018-Coviello0SMAC #clustering #reduction
- Clustering support for inadequate test suite reduction (CC, SR0, GS, AM, GA, AC), pp. 95–105.
SANER-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.
SANER-2018-JayM #difference #random
- Structured random differential testing of instruction decoders (NJ, BPM), pp. 84–94.
SANER-2018-LiangWCJZ
- Fuzz testing in practice: Obstacles and solutions (JL, MW, YC, YJ0, RZ), pp. 562–566.
SANER-2018-LiuZFJ #crowdsourcing #generative
- Generating descriptions for screenshots to assist crowdsourced testing (DL, XZ, YF, JAJ), pp. 492–496.
FM-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.
SEFM-2018-Harman #semantics
- We Need a Testability Transformation Semantics (MH), pp. 3–17.
Haskell-2018-Breitner
- A promise checked is a promise kept: inspection testing (JB), pp. 14–25.
CIG-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.
VS-Games-2018-SarupuriHWL #artificial reality #named #usability
- LUTE: A Locomotion Usability Test Environmentfor Virtual Reality (BS, SH, MCW, RWL), pp. 1–4.
CIKM-2018-MedinaVY #learning #online
- Online Learning for Non-Stationary A/B Tests (AMM, SV, DY), pp. 317–326.
ICML-2018-AliakbarpourDR #equivalence
- Differentially Private Identity and Equivalence Testing of Discrete Distributions (MA, ID, RR), pp. 169–178.
ICML-2018-BarmanBG
- Testing Sparsity over Known and Unknown Bases (SB, AB0, SG), pp. 500–509.
ICML-2018-Gaboardi0
- Local Private Hypothesis Testing: Chi-Square Tests (MG, RR0), pp. 1612–1621.
ICML-2018-JinKL #network
- Network Global Testing by Counting Graphlets (JJ, ZTK, SL), pp. 2338–2346.
ICML-2018-KimWGCWVS #concept
- Interpretability Beyond Feature Attribution: Quantitative Testing with Concept Activation Vectors (TCAV) (BK, MW, JG, CJC, JW, FBV, RS), pp. 2673–2682.
ICML-2018-NguyenRF #framework #performance #robust
- Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICML-2018-Sheffet
- Locally Private Hypothesis Testing (OS), pp. 4612–4621.
ICML-2018-YangLRN
- Goodness-of-fit Testing for Discrete Distributions via Stein Discrepancy (JY, QL, VAR, JN), pp. 5557–5566.
ICPR-2018-BhaskaruniML #framework #predict
- Estimating Prediction Qualities without Ground Truth: A Revisit of the Reverse Testing Framework (DB, FPM, CL), pp. 49–54.
ICPR-2018-SantacruzS #distance #edit distance #generative #graph
- Graph Edit Distance Testing through Synthetic Graphs Generation (PS, FS), pp. 572–577.
KDD-2018-PellegrinaV #mining #mutation testing #performance #permutation
- Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.
ECMFA-2018-AhmadiHD #modelling #uml
- Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.
ECMFA-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.
MoDELS-2018-GonzalezVNBI #cyber-physical
- Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
MoDELS-2018-Petrenko #finite #state machine #towards
- Towards Testing from Finite State Machines with Symbolic Inputs and Outputs (AP), p. 187.
MoDELS-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.
ECOOP-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.
ECOOP-2018-LiHA #generative
- Targeted Test Generation for Actor Systems (SL, FH, GA), p. 31.
ECOOP-2018-MezzettiMT #detection #library
- Type Regression Testing to Detect Breaking Changes in Node.js Libraries (GM, AM, MTT), p. 24.
OOPSLA-2018-DesaiPQS #composition #distributed #programming
- Compositional programming and testing of dynamic distributed systems (AD, AP, SQ, SAS), p. 30.
OOPSLA-2018-OzkanMNBW #distributed #probability #random
- Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.
OOPSLA-2018-SelakovicPKT #generative #higher-order
- Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.
LOPSTR-2018-TitoloMFM #float #source code
- Eliminating Unstable Tests in Floating-Point Programs (LT, CAM, MAF, MMM), pp. 169–183.
PEPM-2018-Midtgaard
- Developments in property-based testing (invited talk) (JM), p. 1.
POPL-2018-MajumdarN #debugging #effectiveness #question #random testing #why
- Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.
PPDP-2018-Gardner #framework #javascript #named #verification
- JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
ASE-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.
ASE-2018-BorgesHZ #android #framework #generative #named #platform
- DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASE-2018-BugariuWC0 #abstract domain #automation #implementation
- Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.
ASE-2018-ChaLO #learning #online
- Template-guided concolic testing via online learning (SC, SL, HO), pp. 408–418.
ASE-2018-GafurovHM #automation #industrial
- Achieving test automation with testers without coding skills: an industrial report (DG, AEH, MM), pp. 749–756.
ASE-2018-GaoTDR #android #execution #symbolic computation
- Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.
ASE-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.
ASE-2018-LemieuxS #named
- FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage (CL, KS), pp. 475–485.
ASE-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.
ASE-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.
ASE-2018-SunWRHKK #network
- Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
ASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #thread
- Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ASE-2018-UdeshiAC #automation
- Automated directed fairness testing (SU, PA, SC0), pp. 98–108.
ASE-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.
ASE-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-FSE-2018-AngellJBM #automation #named
- Themis: automatically testing software for discrimination (RA, BJ, YB, AM), pp. 871–875.
ESEC-FSE-2018-BrabermanGGUCPP #validation
- Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.
ESEC-FSE-2018-CelikLG
- Regression test selection for TizenRT (AÇ, YCL, MG), pp. 845–850.
ESEC-FSE-2018-Chen00M0 #concurrent #parallel #source code #thread
- Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.
ESEC-FSE-2018-DuttaLHM #probability #programming
- Testing probabilistic programming systems (SD0, OL, ZH, SM), pp. 574–586.
ESEC-FSE-2018-Fazzini #automation #maintenance #mobile
- Automated support for mobile application testing and maintenance (MF), pp. 932–935.
ESEC-FSE-2018-GuoJZCS #difference #fuzzing #learning #named
- DLFuzz: differential fuzzing testing of deep learning systems (JG, YJ0, YZ, QC, JS), pp. 739–743.
ESEC-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-FSE-2018-LehmannP #difference #interactive
- Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.
ESEC-FSE-2018-Lima #automation #distributed #integration
- Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.
ESEC-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-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-FSE-2018-Spadini #tool support
- Practices and tools for better software testing (DS), pp. 928–931.
ESEC-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-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-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, AÇ, 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.
GPCE-2018-RulandLBLTLR #effectiveness #product line
- Measuring effectiveness of sample-based product-line testing (SR, LL, JB, SL, TT, ML, MR), pp. 119–133.
SLE-2018-Zaytsev #case study #compilation #industrial
- An industrial case study in compiler testing (VZ), pp. 97–102.
CASE-2018-DingLWL #automation #using
- 6-DOF Automated Flight Testing Using a Humanoid Robot Arm (CD, LL0, CW0, JL), pp. 217–222.
CASE-2018-KhanDFF #legacy #simulation #validation
- Digital Twin for Legacy Systems: Simulation Model Testing and Validation (AK, MD, PF, MF), pp. 421–426.
CC-2018-Barany #compilation #difference #optimisation
- Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
FASE-2018-ChenHYCKX #framework #named
- CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.
FASE-2018-KorogluS #android #detection #named
- TCM: Test Case Mutation to Improve Crash Detection in Android (YK, AS0), pp. 264–280.
FASE-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.
ICST-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.
ICST-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.
ICST-2018-Arcuri #automation #generative #multi #named
- EvoMaster: Evolutionary Multi-context Automated System Test Generation (AA), pp. 394–397.
ICST-2018-BajammalM #visual notation #web
- Web Canvas Testing Through Visual Inference (MB, AM0), pp. 193–203.
ICST-2018-ChenZ #mutation testing
- Speeding up Mutation Testing via Regression Test Selection: An Extensive Study (LC, LZ), pp. 58–69.
ICST-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.
ICST-2018-ElerRGF #automation #mobile
- Automated Accessibility Testing of Mobile Apps (MME, JMR, YG, GF), pp. 116–126.
ICST-2018-HemmatiS #predict
- Investigating NLP-Based Approaches for Predicting Manual Test Case Failure (HH, FS), pp. 309–319.
ICST-2018-HodovanK #composition #framework #named #open source #random testing
- Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
ICST-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.
ICST-2018-KhosrowjerdiMR #approach #injection #machine learning
- Virtualized-Fault Injection Testing: A Machine Learning Approach (HK, KM, AR), pp. 297–308.
ICST-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.
ICST-2018-Listenmaa #natural language
- Testing Natural Language Grammars (IL), pp. 428–429.
ICST-2018-LoscherS #automation
- Automating Targeted Property-Based Testing (AL, KS), pp. 70–80.
ICST-2018-PiresA #generative #information management #metamodelling
- Knowledge Discovery Metamodel-Based Unit Test Cases Generation (JPP, FBeA), pp. 432–433.
ICST-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.
ICST-2018-Rajaram #fault #taxonomy #using
- Taxonomy Based Testing Using SW91, a Medical Device Software Defect Taxonomy (HKR), pp. 422–423.
ICST-2018-RayROMO #energy #framework #security
- Bluetooth Low Energy Devices Security Testing Framework (AR, VR, MO, AM, SO), pp. 384–393.
ICST-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.
ICST-2018-ShamshiriRGWF #automation #how #maintenance #question
- How Do Automatically Generated Unit Tests Influence Software Maintenance? (SS, JMR, JPG, NW, GF), pp. 250–261.
ICST-2018-SullivanWK #alloy #automation #named
- AUnit: A Test Automation Tool for Alloy (AS, KW, SK), pp. 398–403.
ICST-2018-Wang #assessment #automation #maturity
- Test Automation Maturity Assessment (YW), pp. 424–425.
ICST-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.
ICST-2018-WangTHHSSP #performance
- Testing Cloud Applications under Cloud-Uncertainty Performance Effects (WW0, NT, SH, SH, AS, MLS, LLP), pp. 81–92.
ICST-2018-ZhuPZ #mutation testing
- An Investigation of Compression Techniques to Speed up Mutation Testing (QZ, AP, AZ), pp. 274–284.
ICTSS-2018-ArcainiGR #interactive #regular expression
- Interactive Testing and Repairing of Regular Expressions (PA, AG, ER), pp. 1–16.
ICTSS-2018-BordingHJW #automation #contract #java #named
- JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
ICTSS-2018-BozicW #security
- Security Testing for Chatbots (JB, FW), pp. 33–38.
ICTSS-2018-CardenasGP #simulation
- Testing Ambient Assisted Living Solutions with Simulations (MC, JJGS, JP), pp. 56–61.
ICTSS-2018-DesaiG #behaviour #constraints #generative #ocl
- Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (ND0, MG), pp. 62–68.
ICTSS-2018-MizumotoEYH #energy #framework
- An Energy Aware Testing Framework for Smart-Spaces (TM, KEF, KY, TH), pp. 85–101.
ICTSS-2018-PetrenkoA #component #consistency #embedded
- Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.
ICTSS-2018-TvardovskiiEY #fault #finite #state machine
- Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts (AT, KEF, NY), pp. 149–154.
ICTSS-2018-WotawaL #combinator #modelling #ontology
- From Ontologies to Input Models for Combinatorial Testing (FW, YL), pp. 155–170.
IJCAR-2018-HuangMGZZ #satisfiability #scalability
- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.
TAP-2018-0001DLT #validation #verification
- Tests from Witnesses - Execution-Based Validation of Verification Results (DB0, MD, TL0, MT), pp. 3–23.
TAP-2018-Fuchs #automation #generative #java #web
- Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.
TAP-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.
TAP-2018-Keller #bound #higher-order #verification
- Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL (CK), pp. 103–119.
VMCAI-2018-PelegRY #generative
- Generating Tests by Example (HP, DR, EY), pp. 406–429.
ICSME-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.
ICSME-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.
ICSME-2017-NguyenNNN #evolution
- Interaction-Based Tracking of Program Entities for Test Case Evolution (HAN, TTN, TNN, HVN), pp. 433–443.
ICSME-2017-PalombaZ #question #refactoring #smell
- Does Refactoring of Test Smells Induce Fixing Flaky Tests? (FP, AZ), pp. 1–12.
ICSME-2017-VasquezMP #automation #mobile #scalability
- Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing (MLV, KM, DP), pp. 399–410.
ICSME-2017-Yu #evolution #multi #named
- SimEvo: Testing Evolving Multi-process Software Systems (TY), pp. 204–215.
MSR-2017-BellerGZ #analysis #git
- Oops, my tests broke the build: an explorative analysis of Travis CI with GitHub (MB, GG, AZ), pp. 356–367.
MSR-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.
MSR-2017-GautamVS #empirical #integration #process
- An empirical study of activity, popularity, size, testing, and stability in continuous integration (AG, SV, FS), pp. 495–498.
MSR-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.
MSR-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.
SANER-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.
SANER-2017-RoyHD #spreadsheet
- Spreadsheet testing in practice (SR, FH, AvD), pp. 338–348.
SANER-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.
VS-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.
ICML-2017-CaiDK #performance
- Priv'IT: Private and Sample Efficient Identity Testing (BC, CD, GK0), pp. 635–644.
ICML-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.
ICML-2017-UbaruM #classification #multi
- Multilabel Classification with Group Testing and Codes (SU, AM), pp. 3492–3501.
ICML-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.
KDD-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.
KDD-2017-KomiyamaIANM #mining #multi #statistics
- Statistical Emerging Pattern Mining with Multiple Testing Correction (JK, MI, HA, TN, SiM), pp. 897–906.
ICMT-2017-BurguenoHVG #modelling #using
- Testing Transformation Models Using Classifying Terms (LB, FH, AV, MG), pp. 69–85.
MoDELS-2017-Al-RefaiCG #approach #fuzzy #logic #modelling
- A Fuzzy Logic Based Approach for Model-Based Regression Test Selection (MAR, WC, SG), pp. 55–62.
Onward-2017-LamZC #generative #interactive #named #random
- ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.
OOPSLA-2017-DonaldsonELT #automation #compilation
- Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.
OOPSLA-2017-KristensenM #typescript
- Type test scripts for TypeScript testing (EKK, AM), p. 25.
OOPSLA-2017-LiZ #fault #locality #source code
- Transforming programs and tests in tandem for fault localization (XL, LZ), p. 30.
PADL-2017-FowlerH #performance
- Failing Faster: Overlapping Patterns for Property-Based Testing (JF, GH), pp. 103–119.
PLDI-2017-BornholtT #framework #memory management #modelling #sketching
- Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
PLDI-2017-ZhangSS #compilation
- Skeletal program enumeration for rigorous compiler testing (QZ, CS, ZS), pp. 347–361.
ASE-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.
ASE-2017-ChengYW #reduction #sequence #user interface
- Systematic reduction of GUI test sequences (LC, ZY, CW0), pp. 849–860.
ASE-2017-HerfertPP #automation
- Automatically reducing tree-structured test inputs (SH, JP, MP), pp. 861–871.
ASE-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.
ASE-2017-KimFJJOLC #analysis
- Testing intermediate representations for binary analysis (SK0, MF, MJ, SJ, DO, JL, SKC), pp. 353–364.
ASE-2017-LegunsenSM #named
- STARTS: STAtic regression test selection (OL, AS, DM), pp. 949–954.
ASE-2017-MaoHJ #automation #mobile
- Crowd intelligence enhances automated mobile testing (KM, MH, YJ0), pp. 16–26.
ASE-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.
ASE-2017-SaddlerC #generative #named #user interface
- EventFlowSlicer: a tool for generating realistic goal-driven GUI tests (JAS, MBC), pp. 955–960.
ASE-2017-SoltanaSB #generative #statistics
- Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
ASE-2017-SongQH #android #named #user interface
- EHBDroid: beyond GUI testing for Android applications (WS0, XQ, JH0), pp. 27–37.
ASE-2017-ToffolaSP #effectiveness #exclamation #generative #mining
- Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ASE-2017-ZhangCTCBL #generative #mobile #sketching #user interface
- Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.
ASE-2017-ZhangLLC #mobile
- Systematically testing background services of mobile apps (LLZ, CJML, YL, EC), pp. 4–15.
ESEC-FSE-2017-CelikVMG #bound #virtual machine
- Regression test selection across JVM boundaries (AÇ, MV, AM, MG), pp. 809–820.
ESEC-FSE-2017-GalhotraBM
- Fairness testing: testing software for discrimination (SG, YB, AM), pp. 498–510.
ESEC-FSE-2017-JabbarvandM #android #energy #framework #mutation testing #named
- µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.
ESEC-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-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-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-FSE-2017-SadeghiJM #android #named #user interface
- PATDroid: permission-aware GUI testing of Android (AS, RJ, SM), pp. 220–232.
ESEC-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-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-FSE-2017-VasicPMG #dot-net
- File-level vs. module-level regression test selection for .NET (MV, ZP, AM, MG), pp. 848–853.
ESEC-FSE-2017-VasquezBTMPVBP #android #mutation testing
- Enabling mutation testing for Android apps (MLV, GB, MT, KM, MDP, CV, CBC, DP), pp. 233–244.
ESEC-FSE-2017-WangNT #named
- QTEP: quality-aware test case prioritization (SW0, JN, LT0), pp. 523–534.
ESEC-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.
ASPLOS-2017-LustigWPG #automation #memory management #synthesis
- Automated Synthesis of Comprehensive Memory Model Litmus Test Suites (DL, AW, AP, OG), pp. 661–675.
CASE-2017-CaoLZH #algorithm #scheduling
- An improved cuckoo search algorithm for semiconductor final testing scheduling (ZC, CL, MZ, RH), pp. 1040–1045.
CASE-2017-DangD #hybrid #specification
- Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.
CASE-2017-MaP #framework #modelling #programmable
- A model-based testing framework with reduced set of test cases for programmable controllers (CM, JP), pp. 944–949.
CASE-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.
FASE-2017-PhamKRR #analysis
- Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.
ICST-2017-AichernigS #model checking #statistics
- Statistical Model Checking Meets Property-Based Testing (BKA, RS), pp. 390–400.
ICST-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.
ICST-2017-AlegrothMVA #contest #overview
- Overview of the ICST International Software Testing Contest (EA, SM, TEJV, KA), pp. 550–551.
ICST-2017-ArcuriFJ #api #automation #functional #generative
- Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
ICST-2017-ArthoGRBMKHTY #api #modelling
- Model-Based API Testing of Apache ZooKeeper (CA, QG, GR, KB, LM0, TK, MH, YT, MY), pp. 288–298.
ICST-2017-ChenBHZZX #how #question #reduction
- How Do Assertions Impact Coverage-Based Test-Suite Reduction? (JC0, YB, DH, LZ, LZ0, BX), pp. 418–423.
ICST-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.
ICST-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.
ICST-2017-DwarakanathEPDP #automation #domain-specific language
- Accelerating Test Automation through a Domain Specific Language (AD, DE, AP, ND, SP), pp. 460–467.
ICST-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.
ICST-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.
ICST-2017-FlemstromGK #interactive
- SAGA Toolbox: Interactive Testing of Guarded Assertions (DF, TG, AK), pp. 516–523.
ICST-2017-GambiGZ #exclamation #in the cloud #low cost
- O!Snap: Cost-Efficient Testing in the Cloud (AG, AG, AZ), pp. 454–459.
ICST-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.
ICST-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.
ICST-2017-KleineS #combinator #named
- Coveringcerts: Combinatorial Methods for X.509 Certificate Testing (KK, DES), pp. 69–79.
ICST-2017-LaurentPKHTV #mutation testing
- Assessing and Improving the Mutation Testing Practice of PIT (TL0, MP, MK, CH, YLT, AV), pp. 430–435.
ICST-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.
ICST-2017-LinWC #semantics #similarity #using #web
- Using Semantic Similarity in Crawling-Based Web Application Testing (JWL, FW, PC), pp. 138–148.
ICST-2017-MarijanLGSI #configuration management #named #optimisation
- TITAN: Test Suite Optimization for Highly Configurable Software (DM, ML, AG, SS, CI), pp. 524–531.
ICST-2017-OliveiraFDHS #effectiveness #named #performance
- Perphecy: Performance Regression Test Selection Made Simple but Effective (ABdO, SF, AD, MH, PFS), pp. 103–113.
ICST-2017-PatrickDG #probability #simulation #statistics #tool support
- A Toolkit for Testing Stochastic Simulations against Statistical Oracles (MP, RD, CAG), pp. 448–453.
ICST-2017-PouldingF17a #automation #multi #random testing
- Automated Random Testing in Multiple Dispatch Languages (SMP, RF), pp. 333–344.
ICST-2017-RamlerH #automation #how #locality
- How to Test in Sixteen Languages? Automation Support for Localization Testing (RR, RH), pp. 542–543.
ICST-2017-SullivanWZK #alloy #automation #generative #mutation testing
- Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
ICST-2017-TapplerAB #automaton #communication #learning #modelling
- Model-Based Testing IoT Communication via Active Automata Learning (MT, BKA, RB), pp. 276–287.
ICST-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.
ICST-2017-WalkinshawF #black box #generative
- Uncertainty-Driven Black-Box Test Data Generation (NW, GF), pp. 253–263.
ICST-2017-WangBO #behaviour #comparison #execution #question
- Behavioral Execution Comparison: Are Tests Representative of Field Behavior? (QW, YB, AO), pp. 321–332.
ICST-2017-WangPB #automaton #case study #requirements
- System Testing of Timing Requirements Based on Use Cases and Timed Automata (CW, FP, LCB), pp. 299–309.
ICST-2017-XuLC #concurrent #data type #debugging #using
- Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures (JX, YL, RHC), pp. 35–46.
ICST-2017-YangHHLC #industrial #natural language
- An Industrial Study of Natural Language Processing Based Test Case Prioritization (YY, XH, XH, ZL, ZC0), pp. 548–549.
ICST-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.
ICTSS-2017-BosJM
- n-Complete Test Suites for IOCO (PvdB, RJ, JM), pp. 91–107.
ICTSS-2017-CavalcantiS #csp #refinement
- Fault-Based Testing for Refinement in CSP (AC, AdSS), pp. 21–37.
ICTSS-2017-FelbingerPW #equivalence #reduction
- A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction (HF, IP, FW), pp. 197–212.
ICTSS-2017-Huang0
- Safety-Complete Test Suites (WlH, JP0), pp. 145–161.
ICTSS-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.
ICTSS-2017-MaAYE #execution #learning
- Fragility-Oriented Testing with Model Execution and Reinforcement Learning (TM, SA0, TY0, ME), pp. 3–20.
ICTSS-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.
ICTSS-2017-SalvaR #integration #security #using
- Using Data Integration for Security Testing (SS, LR), pp. 178–194.
ICTSS-2017-SimosBDGKLW #combinator #execution #framework #using
- Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
ICTSS-2017-Tvardovskii #automaton #reduction #specification
- Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation (AT), pp. 333–339.
TAP-2017-FuchsK #enterprise #java
- Unit Testing of Database-Driven Java Enterprise Edition Applications (AF, HK), pp. 59–76.
TAP-2017-GerholdS #modelling #probability
- Model-Based Testing of Probabilistic Systems with Stochastic Time (MG, MS), pp. 77–97.
TAP-2017-IkeshitaIH #framework #reduction
- Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
TAP-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.
TAP-2017-Reger0V #case study #challenge #experience #proving #theorem proving
- Testing a Saturation-Based Theorem Prover: Experiences and Challenges (GR, MS0, AV), pp. 152–161.
WICSA-2016-BuchgeherKHSH #approach #architecture #enterprise
- Improving Testing in an Enterprise SOA with an Architecture-Based Approach (GB, CK, WH, MS, HH), pp. 231–240.
CSEET-2016-Sedano #empirical #readability
- Code Readability Testing, an Empirical Study (TS), pp. 111–117.
EDM-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.
ICPC-2016-MaZYZ #automation #library #reuse
- Retrofitting automatic testing through library tests reusing (LM0, CZ, BY, JZ), pp. 1–4.
ICSME-2016-AlghmadiSSH #approach #automation #performance #recommendation
- An Automated Approach for Recommending When to Stop Performance Tests (HMA, MDS, WS, AEH), pp. 279–289.
ICSME-2016-AndersonDS #using
- Customized Regression Testing Using Telemetry Usage Patterns (JA, HD, SS), pp. 572–581.
ICSME-2016-Dzakovic #automation #development #industrial
- Industrial Application of Automated Regression Testing in Test-Driven ETL Development (MD), pp. 582–585.
ICSME-2016-MarijanL #performance
- Effect of Time Window on the Performance of Continuous Regression Testing (DM, ML), pp. 568–571.
ICSME-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.
ICSME-2016-Moran #debugging #mobile
- Improving Bug Reporting and Testing for Mobile Applications (KM), p. 620.
ICSME-2016-MoranVP #android #automation #research #user interface
- Automated GUI Testing of Android Apps: From Research to Practice (KM, MLV, DP), p. 648.
SANER-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.
SCAM-2016-BaloghGBG #question
- Are My Unit Tests in the Right Package? (GB, TG, ÁB, TG), pp. 137–146.
SCAM-2016-GaoHMW #bound #model checking #named
- LLSPLAT: Improving Concolic Testing by Bounded Model Checking (MG0, LH, RM, ZW), pp. 127–136.
SCAM-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.
FM-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.
FM-2016-KongLCSSW #hybrid #towards
- Towards Concolic Testing for Hybrid Systems (PK, YL0, XC0, JS0, MS0, JW), pp. 460–478.
FM-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.
Haskell-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.
DiGRA-FDG-2016-CooperDT #game studies #rating
- Player Rating Systems for Balancing Human Computation Games: Testing the Effect of Bipartiteness (SC, SD, TT).
ICML-2016-LeiF #order #power of
- Power of Ordered Hypothesis Testing (LL, WF), pp. 2924–2932.
ICML-2016-LiuLJ #kernel
- A Kernelized Stein Discrepancy for Goodness-of-fit Tests (QL, JDL, MIJ), pp. 276–284.
ICML-2016-RogersVLG #independence
- Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing (MG, HWL, RMR, SPV), pp. 2111–2120.
ICPR-2016-AdakCB #identification
- Writer identification by training on one script but testing on another (CA, BBC, MB), pp. 1153–1158.
KDD-2016-WebbP #multi #statistics
- A Multiple Test Correction for Streams and Cascades of Statistical Hypothesis Tests (GIW, FP), pp. 1255–1264.
KDD-2016-XuC #mobile
- Evaluating Mobile Apps with A/B and Quasi A/B Tests (YX, NC), pp. 313–322.
MoDELS-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.
MoDELS-2016-ChabotPN #design #multi
- A requirement driven testing method for multi-disciplinary system design (MC, LP, ANM), pp. 396–405.
AdaEurope-2016-Jones #ada #impact analysis #problem
- Addressing the Regression Test Problem with Change Impact Analysis for Ada (AVJ), pp. 61–77.
AdaEurope-2016-LaaliLHSS #detection #fault #online #using
- Test Case Prioritization Using Online Fault Detection Information (ML, HL, MH, MS, HWS), pp. 78–93.
LOPSTR-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.
PLDI-2016-ChenSSSZ #difference #implementation #virtual machine
- Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
PPDP-2016-AlbertAG #concurrent #imperative #using
- Testing of concurrent and imperative software using CLP (EA, PA, MGZ), pp. 1–8.
ASE-2016-AbdessalemNBS #multi #network #using
- Testing advanced driver assistance systems using multi-objective search and neural networks (RBA, SN, LCB, TS), pp. 63–74.
ASE-2016-AlipourSGMG #reduction
- Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
ASE-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.
ASE-2016-CaiY #probability
- Radius aware probabilistic testing of deadlocks with guarantees (YC, ZY), pp. 356–367.
ASE-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.
ASE-2016-ChengCYW #as a service #named #user interface
- GUICat: GUI testing as a service (LC, JC, ZY, CW), pp. 858–863.
ASE-2016-Keng #automation #behaviour #mobile #privacy
- Automated testing and notification of mobile app privacy leak-cause behaviours (JCJK), pp. 880–883.
ASE-2016-LiLKLG #big data #combinator #generative
- Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.
ASE-2016-LiuGAA #automation #integration #named #tool support
- TeeVML: tool support for semi-automatic integration testing environment emulation (JL, JCG, IA, MAA), pp. 840–845.
ASE-2016-StratisR #execution #permutation
- Test case permutation to improve execution time (PS, AR), pp. 45–50.
ASE-2016-TangWWZ #android #concurrent #debugging #generative
- Generating test cases to expose concurrency bugs in Android applications (HT, GW, JW, HZ), pp. 648–653.
ASE-2016-Tzoref-BrillWM #combinator #modelling #visualisation
- Visualization of combinatorial models and test plans (RTB, PW, SM), pp. 144–154.
ASE-2016-WangWCW #classification #crowdsourcing
- Local-based active classification of test report to assist crowdsourced testing (JW, SW, QC, QW), pp. 190–201.
ASE-2016-YamadaBAKC #combinator #generative #satisfiability #using
- Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
ASE-2016-ZhangHC #automation #generative #towards
- Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSE-2016-CohenPV #algorithm #lens
- Budgeted testing through an algorithmic lens (MBC, AP, NVV), pp. 948–951.
FSE-2016-DhokR #detection #generative
- Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
FSE-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.
FSE-2016-Hammoudi #tool support #using #web
- Regression testing of web applications using Record/Replay tools (MH), pp. 1079–1081.
FSE-2016-HammoudiRS #approach #incremental #named #web
- WATERFALL: an incremental approach for repairing record-replay tests of web applications (MH, GR, AS0), pp. 751–762.
FSE-2016-Kellogg #debugging #detection #generative
- Combining bug detection and test case generation (MK), pp. 1124–1126.
FSE-2016-Kurtz #mutation testing #on the
- On the utility of dominator mutants for mutation testing (BK), pp. 1088–1090.
FSE-2016-LegunsenHSLZM #evolution
- An extensive study of static regression test selection in modern software evolution (OL, FH, AS, YL, LZ, DM), pp. 583–594.
FSE-2016-Luo #performance
- Input-sensitive performance testing (QL), pp. 1085–1087.
FSE-2016-Luo16a #automation #performance #profiling #using
- Automatic performance testing using input-sensitive profiling (QL), pp. 1139–1141.
FSE-2016-LuoMP #comparison #empirical #scalability
- A large-scale empirical comparison of static and dynamic test case prioritization techniques (QL, KM, DP), pp. 559–570.
FSE-2016-PonzioAFV
- Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
FSE-2016-SungKS0 #analysis #dependence #web
- Static DOM event dependency analysis for testing web applications (CS, MK, NS0, CW0), pp. 447–459.
FSE-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.
FSE-2016-ZalmanoviciRT #analysis #clustering #functional
- Cluster-based test suite functional analysis (MZ, OR, RTB), pp. 962–967.
FSE-2016-ZhangLZHZM #branch
- Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
FSE-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.
GPCE-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.
GPCE-2016-Al-HajjajiMKSTL #configuration management
- Tool demo: testing configurable systems with FeatureIDE (MAH, JM, SK, RS, TT, TL, GS), pp. 173–177.
GPCE-2016-BoussaaBBS #automation #code generation #non-functional #product line
- Automatic non-functional testing of code generators families (MB, OB, BB, GS), pp. 202–212.
GPCE-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.
GPCE-2016-Rothberg00L #scalability #towards
- Towards scalable configuration testing in variable software (VR, CD, AZ, DL), pp. 156–167.
SLE-2016-MeyersDDV #automation #domain-specific language #modelling
- Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
CASE-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.
CASE-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.
CC-2016-AlbertGI #concurrent #named
- SYCO: a systematic testing tool for concurrent objects (EA, MGZ, MI), pp. 269–270.
FASE-2016-GerholdS #modelling #probability
- Model-Based Testing of Probabilistic Systems (MG, MS), pp. 251–268.
ICST-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.
ICST-2016-ArcuriCF #development #generative #plugin
- Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.
ICST-2016-BernardinoZR #domain-specific language #modelling #named #performance
- Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.
ICST-2016-Bianchi #concurrent
- Testing Concurrent Software Systems (FAB), pp. 375–376.
ICST-2016-ChenBHXZ0X #approach #compilation
- Test Case Prioritization for Compilers: A Text-Vector Based Approach (JC0, YB, DH, YX, HZ0, LZ0, BX), pp. 266–277.
ICST-2016-Dadkhah #generative #semantics
- Semantic-Based Test Case Generation (MD), pp. 377–378.
ICST-2016-EnoiuCSP #embedded #empirical #safety
- A Controlled Experiment in Testing of Safety-Critical Embedded Software (EPE, AC, DS, PP), pp. 1–11.
ICST-2016-FeldtPCY #set
- Test Set Diameter: Quantifying the Diversity of Sets of Test Cases (RF, SMP, DC, SY), pp. 223–233.
ICST-2016-Gao #interactive #question #what
- Making System User Interactive Tests Repeatable: When and What Should we Control? (ZG), pp. 379–380.
ICST-2016-GaoJBL #analysis #effectiveness #framework
- A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques (RG, ZMJ, CB, ML), pp. 22–32.
ICST-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.
ICST-2016-GhardallouDMF #debugging
- Debugging without Testing (WG, ND, AM, MFF), pp. 113–123.
ICST-2016-HammoudiRT #question #web #why
- Why do Record/Replay Tests of Web Applications Break? (MH, GR, PT), pp. 180–190.
ICST-2016-HollingHPG #integration
- Profiting from Unit Tests for Integration Testing (DH, AH, AP, MG), pp. 353–363.
ICST-2016-HughesPAN #distributed
- Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service (JH, BCP, TA, UN), pp. 135–145.
ICST-2016-Kunze #product line
- Symbolic Characterisation of Commonalities in Testing Software Product Lines (SK), pp. 387–388.
ICST-2016-LiEK #modelling #named
- Skyfire: Model-Based Testing with Cucumber (NL0, AE, TK), pp. 393–400.
ICST-2016-Lima #automation #distributed
- Automated Scenario-Based Testing of Distributed and Heterogeneous Systems (BL), pp. 383–384.
ICST-2016-LiVVPK #automation
- Automatically Documenting Unit Test Cases (BL, CV, MLV, DP, NAK), pp. 341–352.
ICST-2016-LongYPMS #collaboration #component #coordination
- Coordinated Collaborative Testing of Shared Software Components (TL, ICY, AAP, AMM, AS), pp. 364–374.
ICST-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.
ICST-2016-Mirshokraie0P #named #user interface
- Atrina: Inferring Unit Oracles from GUI Test Cases (SM, AM0, KP), pp. 330–340.
ICST-2016-PinaH #framework #named
- Tedsuto: A General Framework for Testing Dynamic Software Updates (LP, MH0), pp. 278–287.
ICST-2016-Segall #combinator #design #multi
- Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations (IS), pp. 12–21.
ICST-2016-ShinB #comprehension #framework
- A Theoretical Framework for Understanding Mutation-Based Testing Methods (DS0, DHB), pp. 299–308.
ICST-2016-StivaletF #generative #php #scalability
- Large Scale Generation of Complex and Faulty PHP Test Cases (BS, EF), pp. 409–415.
ICST-2016-WetzlmaierRP #framework #user interface
- A Framework for Monkey GUI Testing (TW, RR, WP), pp. 416–423.
ICST-2016-YuWHH #concurrent #predict #source code
- Predicting Testability of Concurrent Programs (TY, WW, XH, JHH), pp. 168–179.
ICST-2016-Zuddas #interactive #semantics
- Semantic Testing of Interactive Applications (DZ), pp. 391–392.
ICTSS-2016-Bochmann #consistency #partial order #specification
- Conformance Testing with Respect to Partial-Order Specifications (GvB), pp. 3–17.
ICTSS-2016-EberhardingerHS #self
- Back-to-Back Testing of Self-organization Mechanisms (BE, AH, HS, WR), pp. 18–35.
ICTSS-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.
ICTSS-2016-GomesATLBCM #named
- UTTOS: A Tool for Testing UEFI Code in OS Environment (ECMG, PRPA, EMT, AGSL, FTB, JFCC, JCM), pp. 218–224.
ICTSS-2016-HieronsMN #distributed #nondeterminism
- Controllability Through Nondeterminism in Distributed Testing (RMH, MGM, MN0), pp. 89–105.
ICTSS-2016-Jaaskelainen #towards #user interface
- Towards Model Construction Based on Test Cases and GUI Extraction (AJ), pp. 225–230.
ICTSS-2016-KampelS #algorithm #combinator #generative
- Set-Based Algorithms for Combinatorial Test Set Generation (LK, DES), pp. 231–240.
ICTSS-2016-MartinezERVO #automation #industrial #locality
- Automated Localisation Testing in Industry with Test ^* ∗ (MM, AEA, UR, TEJV, CO), pp. 241–248.
ICTSS-2016-PetrenkoNR #automaton #constraints #generative #theorem proving
- Test Generation by Constraint Solving and FSM Mutant Killing (AP, ONT, SR), pp. 36–51.
ICTSS-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.
ICTSS-2016-ReichstallerEKR #learning #using
- Risk-Based Interoperability Testing Using Reinforcement Learning (AR, BE, AK, WR, MG), pp. 52–69.
ICTSS-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.
ICTSS-2016-SipplBWAG #automation #simulation
- From Simulation Data to Test Cases for Fully Automated Driving and ADAS (CS, FB, DW, HA, RG), pp. 191–206.
ICTSS-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.
IJCAR-2016-BrombergerW #constraints #performance #theorem proving
- Fast Cube Tests for LIA Constraint Solving (MB, CW), pp. 116–132.
TAP-2016-BruckerW #monad #sequence
- Monadic Sequence Testing and Explicit Test-Refinements (ADB, BW), pp. 17–36.
TAP-2016-CheneyMP #prolog #roadmap
- Advances in Property-Based Testing for α Prolog (JC, AM, MP), pp. 37–56.
TAP-2016-DuboisGG #combinator #proving
- Tests and Proofs for Enumerative Combinatorics (CD, AG, RG), pp. 57–75.
TAP-2016-FelbingerPW #effectiveness #model inference
- Classifying Test Suite Effectiveness via Model Inference and ROBBDs (HF, IP, FW), pp. 76–93.
TAP-2016-Liu #specification #theorem #verification
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (SL), pp. 112–129.
TAP-2016-PetiotKBGJ #proving
- Your Proof Fails? Testing Helps to Find the Reason (GP, NK, BB, AG, JJ), pp. 130–150.
TAP-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.
TAP-2016-TamaritRMC #debugging #erlang
- Debugging Meets Testing in Erlang (ST, AR0, EMM, RC0), pp. 171–180.
VMCAI-2016-DacaGH
- Abstraction-driven Concolic Testing (PD, AG0, TAH), pp. 328–347.
CBSE-2015-BenesDHKN #composition
- Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
PODS-2015-HuQT15a #dependence
- Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration (XH, MQ, YT), pp. 291–301.
PODS-2015-IndykLR #approximate
- Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
VLDB-2015-SH #approach #big data #named
- CODD: A Dataless Approach to Big Data Testing (AS, JRH), pp. 2008–2019.
EDM-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.
ITiCSE-2015-BrianTHF #debugging #student
- Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.
SIGITE-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.
SCAM-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.
ICPC-2015-ChittimalliS #fault #locality
- Fault localization during system testing (PKC, VS), pp. 285–286.
ICPC-2015-HauptmannJW #automation #generative #refactoring
- Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPC-2015-KhadkeRS #functional #workflow
- Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.
ICSME-2015-EkelundE #evaluation #industrial #performance
- Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
SANER-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.
SCAM-2015-BrandtnerLG #dependence #integration #source code
- Intent, tests, and release dependencies: Pragmatic recipes for source code integration (MB, PL, HCG), pp. 11–20.
SCAM-2015-GhafariGR #automation #identification
- Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
SCAM-2015-GhanavatiA #automation #memory management
- Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.
DLT-2015-MasopustT #automaton #complexity #on the
- On the Complexity of k-Piecewise Testability and the Depth of Automata (TM, MT), pp. 364–376.
ICALP-v1-2015-BerkholzG #algebra #graph #morphism
- Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
ICALP-v1-2015-Canonne #big data
- Big Data on the Rise? — Testing Monotonicity of Distributions (CLC), pp. 294–305.
LATA-2015-Salem #automaton #ltl #model checking
- Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
FM-2015-MirandaMR #automation #design #generative #using #verification
- Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
SEFM-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.
SEFM-2015-HanazumiM #on the
- On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.
SEFM-2015-HusterBELRKR #performance
- Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFM-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.
SEFM-2015-SavaryFLL #modelling #robust #using
- Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
Haskell-2015-WalkerR #concurrent #haskell #library
- Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.
CIG-2015-OhK #reliability
- Testing reliability of replay-based imitation for StarCraft (ISO, KJK), pp. 536–537.
CHI-2015-ChenZ #prototype
- Remote Paper Prototype Testing (KC, HZ), pp. 77–80.
DUXU-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.
DUXU-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.
DUXU-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.
DUXU-DD-2015-FilhoPV15b #automation #mobile #usability
- Emotions Logging in Automated Usability Tests for Mobile Devices (JFF, WP, TV), pp. 428–435.
DUXU-DD-2015-TarkkanenHR #analysis #problem #usability
- Are We Testing Utility? Analysis of Usability Problem Types (KT, VH, PR), pp. 269–280.
HCI-DE-2015-ChynalS #usability
- Web-Systems Remote Usability Tests and Their Participant Recruitment (PC, JS), pp. 175–183.
HCI-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.
HIMI-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.
HIMI-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.
ICEIS-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.
ICEIS-v2-2015-AbadeFL #overview #perspective
- Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.
ICEIS-v2-2015-MunizNM #functional #modelling #named #statistics
- TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEIS-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.
KDD-2015-Kohavi #lessons learnt #online
- Online Controlled Experiments: Lessons from Running A/B/n Tests for 12 Years (RK), p. 1.
KDD-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.
KDD-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.
SEKE-2015-BritoSSS #integration #mobile
- Integration testing criteria for mobile robotic systems (MASB, MS, PSLS, SRSS), pp. 182–187.
SEKE-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.
SEKE-2015-Hori0TO #comparison #image #web
- An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.
SEKE-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.
SEKE-2015-LinHX #automation #framework #statistics #user interface
- An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKE-2015-LinYX #automation #detection #generative #parametricity
- Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKE-2015-SongHJC #android #generative
- Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SEKE-2015-WangJC #similarity
- Similarity-based regression test case prioritization (RW, SJ, DC), pp. 358–363.
SEKE-2015-XuA #component
- A JVM-based Testing Harness for Improving Component Testability (WX, OeA), pp. 421–426.
SEKE-2015-XuSZ #algorithm #policy
- Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SIGIR-2015-Carterette #effectiveness #random
- The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
SIGIR-2015-KharitonovVMSO #online
- Sequential Testing for Early Stopping of Online Experiments (EK, AV, CM, PS, IO), pp. 473–482.
ICMT-J-2012-GuerraS15 #model transformation
- Specification-driven model transformation testing (EG, MS), pp. 623–644.
MoDELS-2015-AliY #formal method #standard
- Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELS-2015-GogollaVBH #model transformation
- Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELS-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.
MoDELS-2015-MannaSG #combinator #specification
- Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
SPLC-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.
SPLC-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.
SPLC-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.
LOPSTR-2015-CaballeroMKH #automation #generative #java #using
- Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.
PLDI-2015-DeligiannisDKLT #analysis #programming #state machine
- Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
PLDI-2015-SamakRJ
- Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
POPL-2015-Pous #algebra #algorithm #equivalence
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
PPDP-2015-GiantsiosPS #functional
- Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
ASE-2015-ArthoSGCKMRY #api #modelling
- Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.
ASE-2015-Boushehrinejadmoradi #development #framework #mobile #platform
- Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
ASE-2015-CarinoA #optimisation #user interface #using
- Dynamically Testing GUIs Using Ant Colony Optimization (T) (SC, JHA), pp. 138–148.
ASE-2015-Fard0W #generative #javascript
- Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
ASE-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.
ASE-2015-MaAZSGR #named #random testing
- GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.
ASE-2015-MorgadoP #mobile #user interface
- The iMPAcT Tool: Testing UI Patterns on Mobile Applications (ICM, ACRP), pp. 876–881.
ASE-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.
ASE-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.
ASE-2015-WaterlooPE #analysis #fault
- Test Analysis: Searching for Faults in Tests (N) (MW, SP, SGE), pp. 149–154.
ASE-2015-YouRHKKS #implementation #modelling #platform
- Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.
ESEC-FSE-2015-ArcainiGR #composition #generative #modelling
- Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSE-2015-ArcuriFG #automation #generative #network
- Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSE-2015-ChenS #difference #implementation #validation
- Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ESEC-FSE-2015-DakaCFDW #modelling #readability
- Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSE-2015-DesaiQS
- Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ESEC-FSE-2015-FengCJFX #crowdsourcing
- Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.
ESEC-FSE-2015-KimNYCK #api #fault #named #performance #predict
- REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSE-2015-MatinnejadNBB #effectiveness
- Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
ESEC-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-FSE-2015-Prasetya #generative #java #named #query
- T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSE-2015-SamakR #detection
- Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.
ESEC-FSE-2015-Shamshiri #automation #evolution #generative
- Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSE-2015-ShiYGM #reduction
- Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #validation
- TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ESEC-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-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-FSE-2015-XuanXM
- Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.
ESEC-FSE-2015-Yu #concurrent #named #source code
- TACO: test suite augmentation for concurrent programs (TY), pp. 918–921.
ESEC-FSE-2015-ZhangM #correlation #effectiveness
- Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.
ICSE-v1-2015-DenaroMPV #data flow #object-oriented
- Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSE-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.
ICSE-v1-2015-HerzigGCM #quality
- The Art of Testing Less without Sacrificing Quality (KH, MG, JC, BM), pp. 483–493.
ICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #using
- Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
ICSE-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.
ICSE-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.
ICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code
- RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
ICSE-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.
ICSE-v1-2015-YandrapallySS #automation #composition #user interface
- Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSE-v1-2015-YiYLZW #analysis
- A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
ICSE-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.
ICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints
- A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
ICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named
- FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSE-v2-2015-GligoricEM #lightweight #named
- Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
ICSE-v2-2015-Imparato #android #user interface
- A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.
ICSE-v2-2015-Jiang #scalability
- Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSE-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.
ICSE-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.
ICSE-v2-2015-NetoTM #empirical #evaluation
- An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
ICSE-v2-2015-Ouriques #modelling
- Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSE-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.
ICSE-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.
ICSE-v2-2015-Vasquez #android
- Enabling Testing of Android Apps (MLV), pp. 763–765.
ICSE-v2-2015-Zhang #mutation testing #scalability
- Scalability Studies on Selective Mutation Testing (JZ), pp. 851–854.
SAC-2015-BrideJM #approximate #generative
- Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SAC-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.
SAC-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.
SAC-2015-ElyasovPHRVC #equivalence #execution
- AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
SAC-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.
SAC-2015-JesusVB #functional #web
- Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SAC-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.
SAC-2015-SanchezJ #interactive #modelling #music
- Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SAC-2015-SunyaevB #empirical #independence
- Truth and myth of independent software testing: a controlled human experiment (AS, DB), pp. 1722–1728.
SAC-2015-VieiraHH #mobile
- A context simulator as testing support for mobile apps (VV, KH, MH), pp. 535–541.
CASE-2015-MaP #approach #black box #programmable
- Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.
DAC-2015-PetrenkoTR #challenge #modelling
- Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DAC-2015-Pomeranz #generative
- Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
DATE-2015-DupuisBFNR #hardware
- New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
DATE-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.
DATE-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.
DATE-2015-KunduBK #design #fault
- Fault diagnosis in designs with extreme low pin test data compressors (SK, PB, RK), pp. 1285–1288.
DATE-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.
DATE-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.
DATE-2015-TchagouTMVSQ #multi
- Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.
DATE-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.
DATE-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.
DATE-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.
PPoPP-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.
SOSP-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.
ESOP-2015-SeidelVJ
- Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
FASE-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.
FASE-2015-JehanPW #integration
- BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
STOC-2015-ChenDST #adaptation #query
- Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.
STOC-2015-CzumajPS #clustering #graph
- Testing Cluster Structure of Graphs (AC, PP, CS), pp. 723–732.
STOC-2015-ODonnellW #quantum
- Quantum Spectrum Testing (RO, JW), pp. 529–538.
ICLP-J-2015-MesnardPV #logic programming
- Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
ICST-2015-0001YPGS #analysis #generative #using
- Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
ICST-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.
ICST-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.
ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling
- Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICST-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.
ICST-2015-BrajnikBF #integration #latency #modelling #web
- Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICST-2015-CarboneCPP #identification #security
- Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.
ICST-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.
ICST-2015-FarzanHV #concurrent #execution
- Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICST-2015-Felbinger #assessment #model inference #quality #using
- Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ICST-2015-HalleBGB #constraints #layout #web
- Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
ICST-2015-HarmanJZ #challenge #problem
- Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICST-2015-Haser #integration
- Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.
ICST-2015-HemmatiFM #agile
- Prioritizing Manual Test Cases in Traditional and Rapid Release Environments (HH, ZF, MVM), pp. 1–10.
ICST-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.
ICST-2015-Holleis #development #embedded #industrial #workflow
- Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICST-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.
ICST-2015-JensenTSC #generative
- Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
ICST-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.
ICST-2015-KochharTNZL #automation #comprehension #developer
- Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.
ICST-2015-KrennSTAJB #modelling #mutation testing #named #uml
- MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICST-2015-KunzleW #development
- A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.
ICST-2015-LeottaSRT #multi #robust #using #web
- Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.
ICST-2015-Lorber #modelling #mutation testing #realtime
- Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICST-2015-Mirshokraie0P #automation #generative #javascript #named
- JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICST-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.
ICST-2015-MondalHD #multi #test coverage
- Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.
ICST-2015-NardoPB #analysis #generative #modelling #mutation testing
- Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICST-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.
ICST-2015-Oriol #embedded #legacy #re-engineering
- Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICST-2015-PouldingF #generative
- Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
ICST-2015-Rapos #co-evolution #industrial #modelling
- Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICST-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.
ICST-2015-RodriguesBCZO #modelling #named #performance
- PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICST-2015-SantosC #agile #challenge #industrial #mobile #using
- Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.
ICST-2015-Tiran #incremental #modelling #mutation testing
- Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICST-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.
ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability
- Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
ICST-2015-YuC #embedded #generative #stack #worst-case
- Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ICTSS-2015-AbreuAHW #approach #spreadsheet
- Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach (RA, SA, BH, FW), pp. 124–140.
ICTSS-2015-AsadollahIH #overview #physics
- A Survey on Testing for Cyber Physical System (SAA, RI, HH), pp. 194–207.
ICTSS-2015-AzizS #generative #parallel #realtime
- Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.
ICTSS-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.
ICTSS-2015-CheMNZ #monitoring #tool support
- Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.
ICTSS-2015-HalleCG #constraints #generative #graph
- Graph Methods for Generating Test Cases with Universal and Existential Constraints (SH, ELC, SG), pp. 55–70.
ICTSS-2015-HentzVM #cost analysis #grammarware #using
- Reducing the Cost of Grammar-Based Testing Using Pattern Coverage (CH, JJV, AMM), pp. 71–85.
ICTSS-2015-LahamiKBJ #adaptation #approach #behaviour #generative
- Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations (ML, MK, HB, MJ), pp. 224–239.
ICTSS-2015-SchneiderWH #complexity #metric
- A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing (MAS, MFW, AH0), pp. 257–262.
ICTSS-2015-TaylorD #erlang #framework #mutation testing #named
- mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.
ISSTA-2015-AdamsenMM #android #execution
- Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTA-2015-CongLYX #automation #fault #injection #robust
- Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
ISSTA-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.
ISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance
- Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTA-2015-GligoricEM #dependence
- Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTA-2015-GyoriSHM #dependence #detection #reliability
- Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
ISSTA-2015-Hothersall-Thomas #automation #named #security
- BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ISSTA-2015-MusluBM #fault
- Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ISSTA-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.
ISSTA-2015-SatoHC
- Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.
ISSTA-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.
ISSTA-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.
ISSTA-2015-YatohSIH #generative #random testing
- Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
ISSTA-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.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability
- Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAP-2015-AthanasiouLS #concurrent #generative #using
- Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAP-2015-BirchFP #fault #locality #modelling #performance
- Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TAP-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.
TAP-2015-HubnerHP #equivalence #evaluation #novel
- Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.
TAP-2015-MijatovMLK #diagrams #functional #process #requirements #uml
- Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
TAP-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.
VMCAI-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.
VMCAI-2015-ZhuNJ #array #type inference
- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
CBSE-2014-LongYMPS #collaboration #component
- Enabling collaborative testing across shared software components (TL, ICY, AMM, AAP, AS), pp. 55–64.
EDM-2014-BengsB #adaptation
- Computer-based Adaptive Speed Tests (DB, UB), pp. 221–224.
EDM-2014-LiuMK #dataset
- Interpreting model discovery and testing generalization to a new dataset (RL0, EAM, KRK), pp. 107–113.
EDM-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.
ITiCSE-2014-BuffardiE #adaptation #feedback
- Responses to adaptive feedback for software testing (KB, SHE), pp. 165–170.
ITiCSE-2014-EdwardsS #question #student
- Do student programmers all tend to write the same software tests? (SHE, ZS), pp. 171–176.
CSMR-WCRE-2014-BuchlerHMMGO #model inference #security
- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
CSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #tool support
- Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
CSMR-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.
CSMR-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.
ICPC-2014-GhafariGMT #mining #recommendation
- Mining unit tests for code recommendation (MG, CG, AM, GT), pp. 142–145.
ICSME-2014-ChristopheSRM #automation #functional #maintenance #web
- Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSME-2014-Ghafari
- Extracting Code Examples from Unit Test Cases (MG), p. 667.
ICSME-2014-MongioviMGSR #refactoring #scalability
- Scaling Testing of Refactoring Engines (MM, GM, RG, GS, MR), pp. 371–380.
ICSME-2014-Rapos #co-evolution #industrial #modelling
- Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSME-2014-Reiss #code search #towards #using
- Towards Creating Test Cases Using Code Search (SPR), pp. 436–440.
ICSME-2014-Syer #evolution #maintenance #performance
- The Maintenance and Evolution of Field-Representative Performance Tests (MDS), p. 665.
MSR-2014-AndersonSD #effectiveness #mining
- Improving the effectiveness of test suite through mining historical data (JA, SS, HD), pp. 142–151.
SCAM-2014-PetiotBJKS #c #generative #source code
- Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAM-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.
SCAM-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.
ICALP-v1-2014-CanonneR #probability
- Testing Probability Distributions Underlying Aggregated Data (CLC, RR), pp. 283–295.
ICALP-v1-2014-DvirOS #equivalence
- Testing Equivalence of Polynomials under Shifts (ZD, RMdO, AS), pp. 417–428.
ICALP-v1-2014-KusumotoY #morphism
- Testing Forest-Isomorphism in the Adjacency List Model (MK, YY), pp. 763–774.
SEFM-2014-BonifacioM #modelling
- Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFM-2014-ChristakisMW #detection #invariant
- Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics
- Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SFM-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.
SFM-2014-LochauPKS #modelling
- Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
FLOPS-2014-AmaralFC #named #prolog
- PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
DiGRA-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-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).
CHI-2014-SondereggerUPS #usability
- The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.
DHM-2014-HuangC #usability
- Evaluating the Healthcare Management System by Usability Testing (PHH, MCC), pp. 369–376.
DHM-2014-MirandaRV #analysis #development #memory management #mobile
- Analysis of Luria Memory Tests for Development on Mobile Devices (JAHM, EHR, AMV), pp. 546–557.
DUXU-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.
HCI-TMT-2014-HoroldMK #guidelines #usability
- Guidelines for Usability Field Tests in the Dynamic Contexts of Public Transport (SH, CM, HK), pp. 489–499.
HCI-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.
HCI-TMT-2014-MayasHRK #usability
- Evaluating Methods and Equipment for Usability Field Tests in Public Transport (CM, SH, CR, HK), pp. 545–553.
LCT-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.
ICEIS-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.
ICEIS-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.
ICEIS-v3-2014-PutterRS #consistency #enterprise
- Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
ICEIS-v3-2014-SwennenDVJ #framework #towards
- Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
ICML-c1-2014-CicaleseLS #optimisation
- Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICML-c2-2014-LiuZBP #dependence #modelling #multi #visual notation
- Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
ICPR-2014-BaiRH #kernel #morphism
- A Hypergraph Kernel from Isomorphism Tests (LB, PR, ERH), pp. 3880–3885.
KDD-2014-LiWW #matrix #rank
- Improved testing of low rank matrices (YL, ZW, DPW), pp. 691–700.
SEKE-2014-CheMLC #network #online #protocol #runtime
- Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKE-2014-HirasakiKT #interactive #random testing
- Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.
SEKE-2014-HuangCWC #how #interactive #question
- How to Do Tie-breaking in Prioritization of Interaction Test Suites? (RH, JC, RW, DC), pp. 121–125.
SEKE-2014-JiangCKZD #model transformation #source code #using
- Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKE-2014-LiLWC #automation #data access #generative #policy
- Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKE-2014-OliveiraMGND #framework #source code
- An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKE-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.
SEKE-2014-SolariM #detection #empirical #fault
- A Controlled Experiment to Explore Potentially Undetectable Defects for Testing Techniques (MS, SM), pp. 106–109.
SEKE-2014-ToureBL #metric #towards
- Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.
SEKE-2014-WangGZLLYY
- Reducing Test Cases with Causality Partitions (HW, XG, QZ, TL, XL, LY, ZY), pp. 223–228.
SEKE-2014-XuFWLC
- Testing as an Investment (XX, CF, QW, JL, ZC), pp. 723–728.
SEKE-2014-XuS #automation #effectiveness #petri net
- Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SEKE-2014-ZhangCL #adaptation #random #sequence
- An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SEKE-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.
SIGIR-2014-Carterette #information retrieval #statistics #theory and practice
- Statistical significance testing in information retrieval: theory and practice (BC), p. 1286.
SIGIR-2014-DincerMO #evaluation #retrieval
- Hypothesis testing for the risk-sensitive evaluation of retrieval systems (BTD, CM, IO), pp. 23–32.
SIGIR-2014-RaiberK14a #clustering #correlation #effectiveness #retrieval
- The correlation between cluster hypothesis tests and the effectiveness of cluster-based retrieval (FR, OK), pp. 1155–1158.
SIGIR-2014-YeniterziC #bias
- Analyzing bias in CQA-based expert finding test sets (RY, JC), pp. 967–970.
AMT-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.
AMT-2014-TisoRL #model-to-text
- Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
ICMT-2014-GarciaAID
- Testing MOFScript Transformations with HandyMOF (JG, MA, AI, OD), pp. 42–56.
ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation
- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMT-2014-JilaniIK #approach #generative #model transformation
- A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMT-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.
SPLC-2014-Al-HajjajiTMLS #product line #similarity
- Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLC-2014-HartmannLB #product line
- Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLC-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.
SPLC-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.
OOPSLA-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.
LOPSTR-2014-Vidal #execution #generative #prolog
- Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PEPM-2014-LiTSF #automation #evolution #web #web service
- Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PLDI-2014-AlglaveMT #memory management #modelling #simulation
- Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
PLDI-2014-PerelmanGGP #synthesis
- Test-driven synthesis (DP, SG, DG, PP), p. 43.
PLDI-2014-SurendranRCMS #parallel #source code
- Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
ASE-2014-ArcuriFG #automation #dependence #generative
- Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASE-2014-CamposAFA #automation #generative #integration
- Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASE-2014-FardMM #automation #generative #web
- Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASE-2014-GiannakopoulouHILRR #assurance
- Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
ASE-2014-GligoricNLM #automation #comparison #empirical #evaluation
- An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
ASE-2014-HollingPG #generative #lightweight #named
- 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation
- Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASE-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.
ASE-2014-MatinnejadNBB14a #named
- CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASE-2014-Miranda #metric
- A proposal for revisiting coverage testing metrics (BM), pp. 899–902.
ASE-2014-MoreiraP #modelling #user interface
- PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASE-2014-PirzadehS #user interface
- Resilient user interface level tests (HP, SS), pp. 683–688.
ASE-2014-RanganathVG #comparison #using
- Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.
ASE-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.
ASE-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.
FSE-2014-Banerjee #energy #performance #static analysis
- Static analysis driven performance and energy testing (AB), pp. 791–794.
FSE-2014-Bell #dependence #detection
- Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.
FSE-2014-BohmeP #automation #on the #performance
- On the efficiency of automated testing (MB, SP), pp. 632–642.
FSE-2014-ElbaumR #nondeterminism
- Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
FSE-2014-ElbaumRP #development #integration
- Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
FSE-2014-Gao #program analysis
- Numerical program analysis and testing (ZG), pp. 779–782.
FSE-2014-HavrikovHGZ #generative #named #xml
- XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
FSE-2014-HuoC #detection #quality
- Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.
FSE-2014-JustJIEHF #fault #question
- Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
FSE-2014-LiAG #automation #javascript #named #web
- SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSE-2014-LuoHEM #analysis #empirical
- An empirical analysis of flaky tests (QL, FH, LE, DM), pp. 643–653.
FSE-2014-MahmoodMM #android #named
- EvoDroid: segmented evolutionary testing of Android apps (RM, NM, SM), pp. 599–609.
FSE-2014-Pham #social
- Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.
FSE-2014-PhamKLSS
- Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.
FSE-2014-SeoK #how
- How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.
FSE-2014-ShiGGZM #reduction #trade-off
- Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
FSE-2014-XuanM #fault #locality
- Test case purification for improving fault localization (JX, MM), pp. 52–63.
ICSE-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.
ICSE-2014-BellK
- Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ICSE-2014-HuangMSZ #analysis #performance
- Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSE-2014-InozemtsevaH #correlation #effectiveness
- Coverage is not strongly correlated with test suite effectiveness (LI, RH), pp. 435–445.
ICSE-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.
ICSE-2014-NguyenKN #execution #variability #web
- Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSE-2014-TonellaTN #modelling #n-gram
- Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSE-2014-YuSR #automation #framework #named
- SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SAC-2014-BeoharM #consistency
- Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SAC-2014-BonifacioM #on the
- On the completeness of test suites (ALB, AVM), pp. 1287–1292.
SAC-2014-ChenML #case study #education #research
- Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SAC-2014-ChenZW #detection #named
- Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
SAC-2014-GamaD #approach #deployment #fault #self
- A fault deployment and activation approach for testing self-recovery mechanisms (KG, DD), pp. 1114–1119.
SAC-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.
SAC-2014-GriebeG #approach #automation #mobile #modelling
- A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-HuangCLWL #adaptation #interactive #random
- Adaptive random prioritization for interaction test suites (RH, JC, ZL, RW, YL), pp. 1058–1063.
SAC-2014-NoureddineRS #energy #library
- Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
SAC-2014-SilvaPBAP #architecture #cyber-physical #modelling
- A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SAC-2014-SuzakiYTOS #protocol #virtual machine
- Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
GPCE-2014-MaAZS #performance #product line
- Efficient testing of software product lines via centralization (LM, CA, CZ, HS), pp. 49–52.
SLE-2014-HartelHL #generative #xtext
- Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
CASE-2014-WangW #algorithm #estimation #problem #scheduling
- Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
DAC-2014-AdirGGS #generative #network #using
- Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
DAC-2014-ChienHLYC
- Contactless Stacked-die Testing for Pre-bond Interposers (JHC, RSH, HJL, KYY, SCC), p. 6.
DAC-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.
DATE-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.
DATE-2014-CasparLH #automation #strict #using
- Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATE-2014-CongLYX #evaluation #prototype #validation
- Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATE-2014-CortezRHN
- Testing PUF-based secure key storage circuits (MC, GR, SH, GDN), pp. 1–6.
DATE-2014-GinesL #pipes and filters
- Sigma-delta testability for pipeline A/D converters (AJG, GL), pp. 1–6.
DATE-2014-KimHPSL #approach #implementation #modelling
- A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATE-2014-Pomeranz #generative
- Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATE-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.
DATE-2014-WangLLW0 #design #functional #generative
- Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
OSDI-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.
PPoPP-2014-ThomsonDB #bound #concurrent #empirical #using
- Concurrency testing using schedule bounding: an empirical study (PT, AFD, AB), pp. 15–28.
FASE-2014-CavalcantiG #data flow
- Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
FASE-2014-CristiaMF #framework #integration
- Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
FASE-2014-MoreauHM #algorithm #api #design #online #validation
- An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
STOC-2014-Neeman
- Testing surface area with arbitrary accuracy (JN), pp. 393–397.
TACAS-2014-JahierDML #case study #modelling
- Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACAS-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.
CAV-2014-GligoricMSEM #distributed
- Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
ICST-2014-AliH #challenge #lessons learnt #modelling #video
- Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ICST-2014-AraujoC #data flow #in the large
- Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
ICST-2014-AydinAB #automation #generative
- Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICST-2014-BallerLLS #incremental #multi #optimisation #product line
- Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
ICST-2014-DacaHKN #composition #specification
- Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
ICST-2014-DenaroPV #data flow #on the
- On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
ICST-2014-EngstromMRB #visual notation
- Supporting Regression Test Scoping with Visual Analytics (EE, MM, PR, MB), pp. 283–292.
ICST-2014-Feldt #question
- Do System Test Cases Grow Old? (RF), pp. 343–352.
ICST-2014-GroceAZCR #reduction
- Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ICST-2014-HaysHB #validation
- Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ICST-2014-HuntBF #automation #user interface
- Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ICST-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.
ICST-2014-KimXKCR #framework #hybrid
- Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ICST-2014-LiO #analysis #empirical #modelling
- An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.
ICST-2014-Marin #approach #automation #database #multi
- A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.
ICST-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.
ICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing
- Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ICST-2014-PatelK #case study #enterprise #experience #implementation #reuse
- Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
ICST-2014-SanchezSC #comparison #product line
- A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICST-2014-WeisslederS #embedded #evaluation #modelling
- An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICST-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.
ICST-2014-WojciakT #case study #combinator #concurrent #maintenance
- System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.
ICST-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.
ICST-2014-ZaeemPK #automation #generative #mobile
- Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named
- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSS-2014-Bures #automation #detection #maintenance
- Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSS-2014-ChoiKAO #design
- Design of Prioritized N-Wise Testing (EHC, TK, CA, YO), pp. 186–191.
ICTSS-2014-Deak #overview #what
- What Characterizes a Good Software Tester? — A Survey in Four Norwegian Companies (AD), pp. 161–172.
ICTSS-2014-DoganayEAB #embedded #search-based
- Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ICTSS-2014-EberhardingerSKR #adaptation #self #towards
- Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.
ICTSS-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.
ICTSS-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.
ICTSS-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.
ICTSS-2014-PalmieriCO #automation
- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, AÖ), pp. 129–144.
ICTSS-2014-SamihGBAB #approach #modelling
- An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
ICTSS-2014-WotawaB #automation #exclamation #security
- Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
IJCAR-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.
ISSTA-2014-AlshahwanH #detection #fault
- Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
ISSTA-2014-AppeltNBA #approach #automation #injection #sql
- Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTA-2014-ArltPW #slicing #user interface
- Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ISSTA-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.
ISSTA-2014-GalindoAABB #approach #sequence #variability #video
- A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
ISSTA-2014-GotliebM #named #network #reduction
- FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTA-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.
ISSTA-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.
ISSTA-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.
ISSTA-2014-LiJSCH #energy #optimisation
- Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
ISSTA-2014-MarianiPRS #named #web
- Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #web
- Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
ISSTA-2014-MirzaAghaeiM #test coverage #web
- DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
ISSTA-2014-PastoreMHFSSM
- Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
ISSTA-2014-PradelHG #concurrent #performance
- Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.
ISSTA-2014-YandrapallyTSC #automation #robust #using
- Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #using
- Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
ISSTA-2014-ZouCZZG #effectiveness #web
- Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
TAP-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.
TAP-2014-ArcainiGR #abstraction #model checking
- An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
TAP-2014-BardinCDK #automation #tool support
- An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
TAP-2014-DiepenbeckKSD #behaviour #development #verification
- Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.
TAP-2014-JannesariKSW #classification #generative #parallel
- Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAP-2014-KahkonenH #automation #lightweight #parallel #source code #thread
- Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
TAP-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.
TAP-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.
TAP-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.
VMCAI-2014-Romano #float #integer
- Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
JCDL-2013-HallK #development #metadata
- The user-centered development and testing of a dublin core metadata tool (CH, MK), pp. 249–252.
PODS-2013-Figueira #on the #transitive #xpath
- On XPath with transitive axes and data tests (DF), pp. 249–260.
VLDB-2013-CherniakZZ #optimisation
- Optimization Strategies for A/B Testing on HADOOP (AC, HZ, VZ), pp. 973–984.
CSEET-2013-Edwards #programming
- Adding software testing to programming assignments (SHE), pp. 371–373.
CSEET-2013-KanijMG #empirical
- An empirical study of the effects of personality on software testing (TK, RM, JG), pp. 239–248.
CSEET-2013-KumarW #problem
- Guidance for exploratory testing through problem frames (SK, CW), pp. 284–288.
CSEET-2013-StejskalS #learning
- Test-driven learning in high school computer science (RS, HPS), pp. 289–293.
SIGITE-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.
CSMR-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.
CSMR-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.
CSMR-2013-DuclosDGA #automation #c++ #named
- ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
CSMR-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.
CSMR-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.
CSMR-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.
CSMR-2013-SoetensDZ #developer
- Change-Based Test Selection in the Presence of Developer Tests (QDS, SD, AZ), pp. 101–110.
ICPC-2013-KamimuraM #generative #summary #towards
- Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICSM-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.
ICSM-2013-MantylaKAEP #agile #on the
- On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSM-2013-MarijanGS #case study #industrial
- Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.
ICSM-2013-QiML #automation #performance #program repair
- Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSM-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.
ICSM-2013-SchwartzD #effectiveness #fuzzy
- A Fuzzy Expert System for Cost-Effective Regression Testing Strategies (AS, HD), pp. 1–10.
ICSM-2013-SemenenkoDS #image #machine learning #named
- Browserbite: Accurate Cross-Browser Testing via Machine Learning over Image Features (NS, MD, TS), pp. 528–531.
ICSM-2013-ToroiRV #case study #identification #process
- Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
MSR-2013-RaemaekersNDV #locality
- Testing principles, current practices, and effects of change localization (SR, GFN, AvD, JV), pp. 257–266.
SCAM-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.
WCRE-2013-AvanciniC #grammarware #named #web
- Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.
WCRE-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.
CIAA-J-2012-Crespi-ReghizziP13 #strict
- Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.
CIAA-2013-BelliB #using
- Using Regular Grammars for Event-Based Testing (FB, MB), pp. 48–59.
CIAA-2013-HenryS #equivalence
- LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.
ICALP-v1-2013-WimmerY #invariant #morphism
- Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
ICALP-v2-2013-LipmaaT #complexity #online #similarity #sublinear
- Secure Equality and Greater-Than Tests with Sublinear Online Complexity (HL, TT), pp. 645–656.
LATA-2013-KociumakaRRW #algorithm #linear
- Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
IFM-2013-SavaryFL #bytecode #detection #modelling #using #verification
- Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
SEFM-2013-Choi #constraints #generative #operating system #specification
- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
SEFM-2013-CristiaRF #framework #generative
- {log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICFP-2013-HritcuHPSVAL
- Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
ICFP-2013-St-AmourT #case study #experience #random testing
- Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
GT-VMT-2013-RungeKH #contract #generative #using #visual notation
- Test Case Generation Using Visual Contracts (OR, TAK, RH).
CHI-2013-McDonaldP
- The effect of global instructions on think-aloud testing (SM, HP), pp. 2941–2944.
CHI-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.
CHI-2013-ScarrCGM #consistency #interface #performance #robust
- Testing the robustness and performance of spatially consistent interfaces (JS, AC, CG, SM), pp. 3139–3148.
DUXU-CXC-2013-HassB #usability
- Usability Testing Medical Devices: A Practical Guide to Minimizing Risk and Maximizing Success (CH, DB), pp. 407–416.
DUXU-CXC-2013-Maciel #named #usability
- PALMA: Usability Testing of an Application for Adult Literacy in Brazil (FRM), pp. 229–237.
DUXU-CXC-2013-YouX #usability
- A Usability Testing of Chinese Character Writing System for Foreign Learners (MY, YJX), pp. 149–157.
DUXU-WM-2013-MeierBBW #crowdsourcing #navigation
- Evaluating a Web-Based Tool for Crowdsourced Navigation Stress Tests (FM, AB, MB, CW), pp. 248–256.
DUXU-WM-2013-PrataMQ #mobile #usability
- Usability Testing of Mobile Applications Store: Purchase, Search and Reviews (WP, CRM, MQ), pp. 714–722.
DUXU-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.
HCI-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.
HCI-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.
VISSOFT-2013-Lopez-HerrejonE #interactive #product line #towards #visualisation
- Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.
CAiSE-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.
CAiSE-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.
ICEIS-v2-2013-EomA
- Developing and Testing a Model to Understand Relationships between e-Learning Outcomes and Human Factors (SBE, NJA), pp. 361–370.
ICEIS-v2-2013-MarynowskiPWM #dependence #pipes and filters
- Dependability Testing of MapReduce Systems (JEM, ARP, TSW, AJM), pp. 165–172.
ICEIS-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.
ICEIS-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.
SEKE-2013-AbdouGK #open source #process
- Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKE-2013-Alegroth #concept #proving #random #user interface #visual notation
- Random Visual GUI Testing: Proof of Concept (EA), pp. 178–183.
SEKE-2013-CarvalhoNM #exception
- Structural Testing of Exceptions Handling (LAFC, VdON, PCM), pp. 206–209.
SEKE-2013-FerreiraVQ #approach #product line
- A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKE-2013-LiLY #fault #locality
- Exploiting Weights of Test Cases to Enhance Fault Localization (YL, CL, ZY), pp. 589–593.
SEKE-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.
SEKE-2013-NevesDMMW
- Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
SEKE-2013-NishiuraMWH #analysis #mutation testing
- Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
SEKE-2013-QiHW #combinator #concurrent #source code
- A Mixed-way Combinatorial Testing for Concurrent Programs (XQ, JH, PW), pp. 699–702.
SEKE-2013-SouzaFV #information management
- Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKE-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.
SEKE-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.
SEKE-2013-YuYLC #empirical #web
- An Empirical Study of an Improved Web Application Fuzz Testing Technique (LY, ZY, CL, FC), pp. 400–404.
SEKE-2013-ZouFCZZ #hybrid #test coverage
- A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIR-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.
SIGIR-2013-WebberBLO #classification #effectiveness #evaluation
- Sequential testing in classifier evaluation yields biased estimates of effectiveness (WW, MB, DDL, DWO), pp. 933–936.
AMT-2013-CalegariD #qvt
- Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
AMT-2013-FinotMSD #metamodelling #using
- Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.
AMT-2013-MatragkasKPZ #approach #model transformation
- A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMT-2013-TisoRL #model-to-text
- A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.
ECMFA-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.
ECMFA-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.
ICMT-2013-FinotMSA #model transformation
- Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMT-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.
ICMT-2013-WieberS #approach #graph transformation
- Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
MoDELS-2013-ChavezSFM #approach #implementation #java #uml
- An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
MoDELS-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.
MoDELS-2013-WimmerB
- Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
PLEASE-2013-DukaczewskiSLL
- Requirements-based delta-oriented SPL testing (MD, IS, RL, ML), pp. 49–52.
PLEASE-2013-PatelGS #feature model #interactive #variability
- Feature interaction testing of variability intensive systems (SP, PG, VS), pp. 53–56.
SPLC-2013-HenardPPKT #generative #multi #product line
- Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLC-2013-MarijanGSH #product line
- Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
SPLC-2013-XuCMR #product line
- Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
ECOOP-2013-GligoricBLOHM #refactoring
- Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
OOPSLA-2013-AzimN #android
- Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
OOPSLA-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.
PLDI-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.
PPDP-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.
RE-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.
ASE-2013-CamposAFd #fault #generative #locality
- Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASE-2013-CotroneoLFN #named #operating system #robust
- SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
ASE-2013-GambiHD #automation
- Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASE-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.
ASE-2013-KukrejaHT #game studies #using
- Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.
ASE-2013-MirshokraieMP #generative #javascript #named
- PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASE-2013-NguyenT #automation #classification #combinator #dependence
- Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASE-2013-SagdeoEPV #automation #debugging #invariant #locality #using
- Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASE-2013-SchaeferDS #framework #independence #named #towards
- Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ASE-2013-TasharofiPLJ #automation #named #source code
- Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASE-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.
ASE-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.
ASE-2013-XuHRW #data flow
- Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
ESEC-FSE-2013-AlbertAGW #concurrent #generative #named
- aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSE-2013-BohmeOR #fault #interactive
- Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSE-2013-FarzanHRV
- Con2colic testing (AF, AH, NR, HV), pp. 37–47.
ESEC-FSE-2013-GambiFD #refinement
- Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSE-2013-JaffarMN
- Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
ESEC-FSE-2013-JensenMS #automation #interface #javascript #web
- Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-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-FSE-2013-MarinescuC #named
- KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSE-2013-MusluBM #debugging
- Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
ESEC-FSE-2013-Nori0 #proving #termination
- Termination proofs from tests (AVN, RS), pp. 246–256.
ESEC-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-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.
ICSE-2013-BlueSTZ
- Interaction-based test-suite minimization (DB, IS, RTB, AZ), pp. 182–191.
ICSE-2013-BounimovaGM #constraints
- Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
ICSE-2013-CotroneoPR
- A learning-based method for combining testing techniques (DC, RP, SR), pp. 142–151.
ICSE-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.
ICSE-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.
ICSE-2013-HauptmannJEHVB #natural language #smell
- Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSE-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.
ICSE-2013-JanzenCH #evaluation #interactive
- An evaluation of interactive test-driven labs with WebIDE in CS0 (DSJ, JC, MH), pp. 1090–1098.
ICSE-2013-Kuhn #interactive #live programming #on the #programming
- On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSE-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.
ICSE-2013-MemonC #automation #modelling #tool support #user interface
- Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSE-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.
ICSE-2013-PhamSLFS #comprehension #social
- Creating a shared understanding of testing culture on a social coding site (RP, LS, OL, FMFF, KS), pp. 112–121.
ICSE-2013-PhamSS #commit #social
- Building test suites in social coding sites by leveraging drive-by commits (RP, LS, KS), pp. 1209–1212.
ICSE-2013-PintoSO #evolution #named
- TestEvol: a tool for analyzing test-suite evolution (LSP, SS, AO), pp. 1303–1306.
ICSE-2013-PradelG #automation #concurrent
- Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSE-2013-SwearnginCJB #performance
- Human performance regression testing (AS, MBC, BEJ, RKEB), pp. 152–161.
ICSE-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.
ICSE-2013-ThummalapentaLSSC #generative #web
- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
ICSE-2013-Yu #framework
- An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSE-2013-ZhangH0RM
- Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
SAC-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.
SAC-2013-FuriaMOTW #automation #random testing
- The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SAC-2013-HeckelerSK #component #execution #robust #using
- Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SAC-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.
SAC-2013-MaalejKJ #composition #consistency #named
- WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SAC-2013-PapadakisT #classification #mutation testing #using
- Mutation testing strategies using mutant classification (MP, YLT), pp. 1223–1229.
SAC-2013-SunGYFC #multi #user interface
- Multi-objective test case prioritization for GUI applications (WS, ZG, WY, CF, ZC), pp. 1074–1079.
SAC-2013-ZiftciK #requirements #semantics #traceability
- Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.
GPCE-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.
ASPLOS-2013-RaghavanESPPWM #hardware
- Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
CASE-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.
CASE-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.
DAC-2013-DevWR #3d #integration #using
- High-throughput TSV testing and characterization for 3D integration using thermal mapping (KD, GW, SR), p. 6.
DAC-2013-YuanLJX #on the
- On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DATE-2013-CassanoCKHPS #configuration management #online
- On-line testing of permanent radiation effects in reconfigurable systems (LC, DC, SK, JH, MP, LS), pp. 717–720.
DATE-2013-HuangKCM #correlation #modelling
- Handling discontinuous effects in modeling spatial correlation of wafer-level analog/RF tests (KH, NK, JMCJ, YM), pp. 553–558.
DATE-2013-Kae-NuneP #anti #process
- Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATE-2013-KavousianosC
- Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATE-2013-ObergMSK #framework #hardware
- A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATE-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.
DATE-2013-ZhangYH0
- Capturing post-silicon variation by layout-aware path-delay testing (XZ, JY, YH, XL), pp. 288–291.
FASE-2013-CavalcantiH #csp
- Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
FASE-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.
FASE-2013-SanthiarPK #api #mining
- Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
STOC-2013-ChakrabartyS13a #bound
- Optimal bounds for monotonicity and lipschitz testing over hypercubes and hypergrids (DC, CS), pp. 419–428.
STOC-2013-ChenST #design #morphism #multi
- Multi-stage design for quasipolynomial-time isomorphism testing of steiner 2-systems (XC, XS, SHT), pp. 271–280.
STOC-2013-KawarabayashiY #graph
- Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
TACAS-2013-NagyST #automation #realtime
- Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
ICLP-J-2013-AlbertBGRS #generative
- A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
ICST-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.
ICST-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.
ICST-2013-AlegrothFO #automation #case study #industrial
- Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.
ICST-2013-AlegrothNO #automation #named
- JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICST-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.
ICST-2013-ArafeenD #clustering #using
- Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.
ICST-2013-BagnaraCGG #float #generative #source code
- Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICST-2013-Bauersfeld #named #user interface #visual notation
- GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.
ICST-2013-BertolinoBDKLM #design #policy
- A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.
ICST-2013-BlomeOLPD #flexibility #modelling #named
- VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ICST-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.
ICST-2013-Buchler #security
- Security Testing with Fault-Models and Properties (MB), pp. 501–502.
ICST-2013-CalvagnaGV #combinator #interactive
- Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.
ICST-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.
ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code
- Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICST-2013-CraciunML #modelling #towards
- Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
ICST-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.
ICST-2013-DolstraVP #crowdsourcing #user interface
- Crowdsourcing GUI Tests (ED, RV, JAP), pp. 332–341.
ICST-2013-ErikssonLO #empirical #framework #independence #platform
- Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICST-2013-FarooqQA #effectiveness #empirical #performance
- A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICST-2013-FraserA #challenge #generative #named
- EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICST-2013-Gauthier #generative #modelling #research
- Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICST-2013-GraslandBGP #approach #functional #hybrid #safety
- A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ICST-2013-GrechanikHB #database
- Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.
ICST-2013-HongSAKR #concurrent #effectiveness #metric
- The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
ICST-2013-IchidaSO
- A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.
ICST-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.
ICST-2013-LegeardB #enterprise #modelling
- Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.
ICST-2013-Lelli #challenge #interactive
- Challenges of Testing for Critical Interactive Systems (VL), pp. 509–510.
ICST-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.
ICST-2013-LuchscheiderHG #named
- CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.
ICST-2013-MeinkeS #named
- LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICST-2013-MirshokraieMP #javascript #mutation testing #performance
- Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICST-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.
ICST-2013-MunetohY #agile #development #framework #named #security
- RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICST-2013-NardoABL #case study #industrial
- Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.
ICST-2013-PezzeRW #effectiveness #generative #integration
- Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICST-2013-Roper #fault
- Estimating Fault Numbers Remaining After Testing (MR), pp. 272–281.
ICST-2013-SteenbuckF #concurrent #generative
- Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICST-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.
ICST-2013-UrataK #diagrams #visualisation
- Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.
ICST-2013-Vernotte #modelling #research #web
- Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.
ICST-2013-YeolekarUAKV #generative #model checking #scalability #using
- Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICST-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.
ICST-2013-YuLKK #combinator #generative #named
- ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICST-2013-YuQAR
- Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.
ICTSS-2013-BadriBF #case study #empirical #predict
- Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.
ICTSS-2013-DavidLMNR #specification
- Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
ICTSS-2013-EnoiuSP #diagrams #logic #using
- Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.
ICTSS-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.
ICTSS-2013-FengLMNSW #case study
- Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.
ICTSS-2013-GuoQ #automation #generative #grammarware
- Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ICTSS-2013-GuttingerKKW #reduction
- Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
ICTSS-2013-HuangP #equivalence #modelling
- Exhaustive Model-Based Equivalence Class Testing (WlH, JP), pp. 49–64.
ICTSS-2013-LeonHL #concurrent #consistency
- Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
ICTSS-2013-SchrammelMK
- Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.
ICTSS-2013-StepienP #challenge #using
- Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.
ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #thread
- Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTA-2013-Buda #database #generative #using
- Generation of test databases using sampling methods (TSB), pp. 366–369.
ISSTA-2013-FraserSMAP #automation #generative #question
- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTA-2013-Ghaith #analysis #performance #transaction
- Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.
ISSTA-2013-GligoricGZSAM #test coverage #using
- Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTA-2013-GligoricZPP #concurrent #mutation testing
- Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
ISSTA-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.
ISSTA-2013-JensenPM #automation #generative #sequence
- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTA-2013-KifetewPLOT #generative #orthogonal
- Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
ISSTA-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.
ISSTA-2013-TsankovDB
- Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ISSTA-2013-YuSR #automation #framework #named
- SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
ISSTA-2013-ZhangMK #mutation testing #performance #reduction
- Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
TAP-2013-AichernigJK #generative #incremental #refinement
- Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAP-2013-AichernigLN #automaton #modelling #mutation testing
- Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
TAP-2013-ArthoBS #modelling #verification
- Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.
TAP-2013-BeckertB0 #metric #verification
- A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.
TAP-2013-JamrozikFTH #execution #generative #symbolic computation
- Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
QoSA-2012-YuHSHV #deployment #enterprise
- A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
WICSA-ECSA-2012-Al-AzzaniB #architecture #evaluation #named #security
- SecArch: Architecture-level Evaluation and Testing for Security (SAA, RB), pp. 51–60.
PODS-2012-IndykLR #approximate
- Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
CSEET-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.
ITiCSE-2012-BuffardiE #agile #development #student
- Exploring influences on student adherence to test-driven development (KB, SHE), pp. 105–110.
ITiCSE-2012-HiltonJ #array #education #learning #on the
- On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
ITiCSE-2012-Johnson #automation #consistency #generative #interface #named
- SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ITiCSE-2012-SalzerHY
- The scientific method and software testing integrated into the same lesson (HTS, BH, CY), p. 385.
SIGITE-2012-BrannockN #development #using
- Real-world testing: using FOSS for software development courses (EB, NPN), pp. 87–88.
CSMR-2012-HurdugaciZ #developer #maintenance
- Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.
CSMR-2012-IslamMSS #multi #semantics
- A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing (MMI, AM, AS, GS), pp. 21–30.
ICSM-2012-AmalfitanoFTCI #android #tool support #user interface
- A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
ICSM-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.
ICSM-2012-BeszedesGSJLG #test coverage
- Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.
ICSM-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.
ICSM-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.
ICSM-2012-QuAR #impact analysis #using
- Configuration selection using code change impact analysis for regression testing (XQ, MA, BR), pp. 129–138.
ICSM-2012-RachatasumritK #empirical #refactoring
- An empirical investigation into the impact of refactoring on regression testing (NR, MK), pp. 357–366.
ICSM-2012-SuttonZ #c++ #library
- Testing C++ generic libraries (AS, MZ), pp. 36–45.
MSR-2012-NguyenK #api #mutation testing
- Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
SCAM-2012-Xie #analysis
- Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
WCRE-2012-NegaraS #automation #javascript #web
- Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
WCRE-2012-VonkenZ #question #refactoring
- Refactoring with Unit Testing: A Match Made in Heaven? (FV, AZ), pp. 29–38.
CIAA-2012-Crespi-ReghizziP #strict
- Strict Local Testability with Consensus Equals Regularity (SCR, PSP), pp. 113–124.
ICALP-v1-2012-ChakrabartyH
- Testing Coverage Functions (DC, ZH), pp. 170–181.
ICALP-v1-2012-LeviRR
- Testing Similar Means (RL, DR, RR), pp. 629–640.
ICALP-v2-2012-GellesOW #multi #proximity #similarity
- Multiparty Proximity Testing with Dishonest Majority from Equality Testing (RG, RO, KW), pp. 537–548.
LATA-2012-ArvindV #morphism
- Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
FM-2012-ChristakisMW #collaboration #verification
- Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.
FM-2012-HieronsMN #distributed #order #using
- Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
FM-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.
IFM-2012-AndradeFLP #generative #java
- Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
SEFM-2012-DranidisBI #automation #generative #named
- JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFM-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.
SFM-2012-VallecilloGBWH #model transformation #specification
- Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
Haskell-2012-JeuringJA
- Testing type class laws (JJ, PJ, CA), pp. 49–60.
GT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line
- Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMT-2012-ArifulinaSE #specification #test coverage
- Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
GT-VMT-2012-KhanRH #contract #visual notation
- Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGT-2012-KhanRH #contract #modelling #visual notation
- Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
CHI-2012-BrehmerMTJ
- Investigating interruptions in the context of computerised cognitive testing for older adults (MB, JM, CT, CJ), pp. 2649–2658.
CHI-2012-BruunS #usability
- The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.
CAiSE-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.
ICEIS-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.
ICEIS-v2-2012-AbdallahR #embedded #performance
- Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICEIS-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.
ICML-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.
ICML-2012-FedorovaGNV #online #plugin
- Plug-in martingales for testing exchangeability on-line (VF, AJG, IN, VV), p. 121.
ICML-2012-SejdinovicGSF #kernel #using
- Hypothesis testing using pairwise distances and associated kernels (DS, AG, BKS, KF), p. 104.
ICPR-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.
ICPR-2012-TangS #independence #learning #network #performance #using
- Efficient and accurate learning of Bayesian networks using chi-squared independence tests (YT, SNS), pp. 2723–2726.
KDD-2012-KawaleCOSLK
- Testing the significance of spatio-temporal teleconnection patterns (JK, SC, DO, KS, SL, VK), pp. 642–650.
KR-2012-OetschPPST #on the #source code
- On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
MLDM-2012-LeiteBV #algorithm #classification
- Selecting Classification Algorithms with Active Testing (RL, PB, JV), pp. 117–131.
SEKE-2012-CorreaSSA #modelling #rest #uml #web #web service
- Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
SEKE-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.
SEKE-2012-DingX #case study #modelling
- Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
SEKE-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.
SEKE-2012-MaarabaniAC #policy #security
- Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
SEKE-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.
SEKE-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.
SEKE-2012-NetoBSACR #fuzzy
- Regression Testing Prioritization Based on Fuzzy Inference Systems (PSN, RB, TS, WA, JC, RALR), pp. 273–278.
SEKE-2012-NetoNAM #product line #tool support
- A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKE-2012-SunLTZ #impact analysis #using
- Using FCA-based Change Impact Analysis for Regression Testing (XS, BL, CT, QZ), pp. 452–457.
SEKE-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.
AMT-2012-SelimCD #model transformation #state of the art
- Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMT-2012-TisoRL #case study #experience #model transformation
- Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
ECMFA-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.
ECMFA-2012-ElaasarL #case study #process
- Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
ECMFA-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.
ICMT-2012-Guerra #generative #model transformation
- Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
MoDELS-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.
MoDELS-2012-GonzalezC #approach #atl #generative #named
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MoDELS-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.
PLEASE-2012-LityLSG #modelling
- Delta-oriented model-based SPL regression testing (SL, ML, IS, UG), pp. 53–56.
PLEASE-2012-ShimbaraWKKO
- Feature-analysis-based selection method for system configuration for system testing (DS, HW, SK, MK, HO), pp. 61–64.
SPLC-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.
SPLC-2012-LeeKL #overview #product line
- A survey on software product line testing (JL, SK, DL), pp. 31–40.
TOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named
- JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
OOPSLA-2012-YuNPP #named #parallel #source code #thread
- Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLATEAU-2012-SpinellisKL #comparative #programming language
- Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
TOOLS-EUROPE-2012-GreilerDZ #comprehension #similarity
- Measuring Test Case Similarity to Support Test Suite Understanding (MG, AvD, AZ), pp. 91–107.
HILT-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.
LOPSTR-2012-RojasG #constraints #framework #generative #logic programming
- A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction
- Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
POPL-2012-NaikYCS #abstraction
- Abstractions from tests (MN, HY, GC, MS), pp. 373–386.
ASE-2012-AmalfitanoFTCM #android #automation #user interface #using
- Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.
ASE-2012-BauersfeldV #automation #java #library #named #robust #user interface
- GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASE-2012-CamposRPA #debugging #eclipse #named #plugin
- GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.
ASE-2012-ChenK #automation
- Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.
ASE-2012-DosingerMB #automation #communication #effectiveness #integration
- Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
ASE-2012-HwangXKMT #evolution #policy #security
- Selection of regression system tests for security policy evolution (JH, TX, DEK, TM, YLT), pp. 266–269.
ASE-2012-KahkonenSH #automation #parallel #source code #thread #using
- Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
ASE-2012-LedruVTB #traceability
- Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.
ASE-2012-LuciaLJB #evolution #named #source code
- kbe-anonymity: test data anonymization for evolving programs (L, DL, LJ, AB), pp. 262–265.
ASE-2012-Nogueira #complexity #predict
- Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.
FSE-2012-AnandNHY #automation #smarttech
- Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
FSE-2012-GabelS #specification
- Testing mined specifications (MG, ZS), p. 4.
FSE-2012-PintoSO #comprehension #evolution
- Understanding myths and realities of test-suite evolution (LSP, SS, AO), p. 33.
FSE-2012-ThummalapentaSDSCDM
- Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
FSE-2012-Torlak #generative #modelling #multi #scalability
- Scalable test data generation from multidimensional models (ET), p. 36.
ICSE-2012-AlshahwanH #effectiveness
- Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
ICSE-2012-Avancini #research #security #web
- Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSE-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.
ICSE-2012-Cowling #education
- Stages in teaching software testing (TC), pp. 1185–1194.
ICSE-2012-Elyasov
- Log-based testing (AE), pp. 1591–1594.
ICSE-2012-Estefo
- Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.
ICSE-2012-FraserA #empirical
- Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSE-2012-GrechanikFX #automation #learning #performance #problem
- Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSE-2012-GreilerDS #case study #plugin
- Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSE-2012-GrossFZ #named #search-based #user interface
- EXSYST: Search-based GUI testing (FG, GF, AZ), pp. 1423–1426.
ICSE-2012-HaoZWMR #on-demand #reduction
- On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
ICSE-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.
ICSE-2012-MarinescuC #execution #symbolic computation
- make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
ICSE-2012-Mayerhofer #debugging #modelling #uml
- Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
ICSE-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.
ICSE-2012-Penix #automation #in the cloud #scalability
- Large-scale test automation in the cloud (JP), p. 1122.
ICSE-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.
ICSE-2012-RubinovW #automation
- Augmenting test suites automatically (KR, JW), pp. 1433–1434.
ICSE-2012-SegallT #combinator #interactive #refinement
- Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
ICSE-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.
ICSE-2012-ThummalapentaSSC #automation
- Automating test automation (ST, SS, NS, SC), pp. 881–891.
ICSE-2012-ZhangE #exception #validation
- Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
SAC-2012-CasadoTY #reliability #transaction #web #web service
- Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SAC-2012-Longuet #sequence chart
- Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SAC-2012-MajchrzakS #agile #development #using #web
- Using spring Roo for the test-driven development of Web applications (TAM, AS), pp. 664–671.
SAC-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.
SAC-2012-NguyenPZ #consistency
- Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
SAC-2012-OongI #classification #fuzzy #learning #multi #performance
- Multilayer Fuzzy ARTMAP: fast learning and fast testing for pattern classification (THO, NAMI), pp. 27–32.
SAC-2012-UkimotoDO #resource management
- Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
ASPLOS-2012-MartignoniMPSM
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
CASE-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.
DAC-2012-HuangLTCSCK #3d
- Small delay testing for TSVs in 3-D ICs (SYH, YHL, KHT, WTC, SKS, YFC, DMK), pp. 1031–1036.
DAC-2012-LionelPSE #monitoring #statistics
- Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DAC-2012-WangPYLKB #optimisation
- Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.
DATE-2012-AbdallahSMA
- Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
DATE-2012-DasKSV #design #encryption
- PUF-based secure test wrapper design for cryptographic SoC testing (AD, ÜK, ARS, IV), pp. 866–869.
DATE-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.
DATE-2012-KarimiCGP #fault #generative
- Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATE-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.
DATE-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.
DATE-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.
DATE-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.
DATE-2012-QinM #automation #generative #protocol
- Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATE-2012-SabenaRS #algorithm
- A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
DATE-2012-SinghNL #generative #smt
- Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
DATE-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.
DATE-2012-ZhaCL #fault #memory management #modelling
- Modeling and testing of interference faults in the nano NAND Flash memory (JZ, XC, CLL), pp. 527–531.
OSDI-2012-RenzelmannKS #named
- SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
PDP-2012-SterponeSR #approach #fault #injection
- A New Fault Injection Approach for Testing Network-on-Chips (LS, DS, MSR), pp. 530–535.
PPoPP-2012-LiLSGGR #generative #named #verification
- GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
FASE-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.
FASE-2012-StaatsGWH #generative #on the
- On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
FASE-2012-TrikiLBDB #combinator #modelling
- Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.
FASE-2012-UsaolaML #reduction #using
- Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.
FoSSaCS-2012-BernardoNL #nondeterminism #probability #process
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
STOC-2012-Ajtai #nondeterminism
- Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOC-2012-ForbesS #on the #rank
- On identity testing of tensors, low-rank recovery and compressed sensing (MAF, AS), pp. 163–172.
ICLP-2012-AlbertAG #concurrent #towards
- Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.
ICLP-2012-BanbaraTI #generative #matrix #programming
- Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICST-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.
ICST-2012-AlesioGNB #constraints #optimisation #realtime #using
- Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICST-2012-BallanceVJ #effectiveness
- Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICST-2012-BertolinoDLM #automation #generative #policy
- Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICST-2012-BeyeneA #generative #string #test coverage
- Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICST-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.
ICST-2012-BorazjanyYLKK #case study #combinator
- Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.
ICST-2012-Borjesson #automation #industrial #user interface #visual notation
- Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.
ICST-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.
ICST-2012-BuchlerOP #named #web
- SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
ICST-2012-CaliebeHG #dependence #embedded
- Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICST-2012-ChenLYS #question #user interface #what
- When a GUI Regression Test Failed, What Should be Blamed? (JC, ML, KY, BS), pp. 467–470.
ICST-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.
ICST-2012-ChrzaszczCST #evolution #protocol
- Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
ICST-2012-CunninghamHH #analysis #combinator
- A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment (AMCJ, JDH, RJH), pp. 630–635.
ICST-2012-DanH12a #c #mutation testing #named #semantics #tool support
- SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICST-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.
ICST-2012-DustmannSW #distributed
- Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICST-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.
ICST-2012-ElrakaibyMT #analysis #mutation testing #policy #using
- Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.
ICST-2012-EnderlinDGB #grammarware #php #using
- Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICST-2012-EndoS #comparison #finite #generative #state machine
- Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICST-2012-FilhoB #approach #modelling
- An Integrated Model-Driven Approach for Mechatronic Systems Testing (RSSF, CJB), pp. 447–456.
ICST-2012-FrankeKWP #consistency #lifecycle #mobile
- Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICST-2012-FraserA #search-based
- The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.
ICST-2012-FraserW #behaviour
- Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICST-2012-GansR #protocol #smarttech
- The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.
ICST-2012-GargantiniV #combinator #interactive #named
- CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.
ICST-2012-GargD #database #web
- Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.
ICST-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.
ICST-2012-GhandehariLXKK #combinator #identification
- Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICST-2012-GuoSC #analysis #clustering
- Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.
ICST-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.
ICST-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.
ICST-2012-Kapfhammer #database #towards
- Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.
ICST-2012-KauffmanK #framework #industrial #research
- A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.
ICST-2012-KimKJ #case study #embedded #industrial
- Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability
- A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
ICST-2012-KruseBW #combinator #constraints #interactive
- Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.
ICST-2012-KruseW #classification #generative #sequence
- Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICST-2012-KuhnHLKL #combinator #sequence
- Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICST-2012-Li #automation
- A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
ICST-2012-MalzJG #fuzzy #logic #using
- Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.
ICST-2012-MarbackDE #approach #effectiveness #php #web
- An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.
ICST-2012-MarianiPRS #automation #black box #interactive #named
- AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ICST-2012-MassicotteCNM #analysis
- A Testing Model for Dynamic Malware Analysis Systems (FM, MC, HN, FM), pp. 826–833.
ICST-2012-MeiraATS #peer-to-peer
- Peer-to-Peer Load Testing (JAM, ECdA, YLT, GS), pp. 642–647.
ICST-2012-MirzaAghaeiPP #adaptation #evolution
- Supporting Test Suite Evolution through Test Case Adaptation (MM, FP, MP), pp. 231–240.
ICST-2012-Oriol #evaluation #fault #random testing
- Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICST-2012-PaciMBD #evolution #process #requirements
- Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ICST-2012-PavlovF #automation #generative #search-based
- Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICST-2012-Praphamontripong #mutation testing #web
- Web Mutation Testing (UP), pp. 495–498.
ICST-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.
ICST-2012-RunesonE #3d #problem #product line
- Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.
ICST-2012-SaleckerG #combinator #grammarware #interactive
- Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.
ICST-2012-Schieferdecker #modelling
- Model-Based Fuzz Testing (IS), p. 814.
ICST-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.
ICST-2012-SheltonLAO #development
- Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
ICST-2012-TanMTL #consistency #detection #nondeterminism
- @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ICST-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.
ICST-2012-WahlerFSJN #automation #embedded #named
- CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICST-2012-WiklundESL #automation #technical debt
- Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.
ICST-2012-Woehrle #network #protocol #search-based
- Search-Based Stress Testing of Wireless Network Protocol Stacks (MW), pp. 794–803.
ICST-2012-ZaraketMAHHFKN #named #user interface
- GUICOP: Specification-Based GUI Testing (FAZ, WM, MA, DH, RH, RF, EK, JN), pp. 747–751.
ICST-2012-ZhangLZ #combinator
- Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.
ICTSS-2012-ArltBSP #user interface
- Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.
ICTSS-2012-BannourEGG #consistency #generative #modelling
- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
ICTSS-2012-BrauerPS #modelling #performance #tool support
- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ICTSS-2012-ChenV #protocol
- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
ICTSS-2012-DangS #estimation #hybrid
- State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
ICTSS-2012-HervieuBG #execution #experience #industrial #variability
- Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ICTSS-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.
ICTSS-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.
ICTSS-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.
ICTSS-2012-MayerSWM #framework #named #performance
- CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.
ICTSS-2012-StrugS #approach #machine learning #mutation testing
- Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.
ICTSS-2012-TaylorHBD #behaviour #using
- Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
ISSTA-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.
ISSTA-2012-GroceZECR
- Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.
ISSTA-2012-GrossFZ #search-based
- Search-based system testing: high coverage, no false alarms (FG, GF, AZ), pp. 67–77.
ISSTA-2012-HongAPKH #concurrent #source code
- Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
ISSTA-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.
ISSTA-2012-KimCHKOSPMN #performance
- Efficient regression testing of ontology-driven systems (MK, JC, MJH, TMK, AO, JHS, ARP, KM, SBN), pp. 320–330.
ISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling
- Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
ISSTA-2012-RobetalerFZO #generative
- Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
ISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named
- THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ISSTA-2012-ZhangED #composition #generative #pipes and filters
- Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
ISSTA-2012-ZhangMZK #mutation testing
- Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
LICS-2012-Berkholz #bound #game studies
- Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.
TAP-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.
TAP-2012-BengoleaAMF #bound #test coverage #using
- Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
TAP-2012-BroschEGKSTWW #diagrams #towards #uml
- Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
TAP-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.
TAP-2012-ChedorJM #generative #recursion
- Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
TAP-2012-KiniryZH #consistency #library #specification #verification
- Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
TAP-2012-KosmatovW #automation #tutorial
- Tutorial on Automated Structural Testing with PathCrawler — (NK, NW), p. 176.
TAP-2012-KosmatovWBRC
- A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.
TAP-2012-Kuehlmann
- The Technology and Psychology of Testing Your Code as You Develop It (AK), p. 1.
TAP-2012-LochauSKL #incremental #modelling #product line
- Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
TAP-2012-Pasareanu #execution #model checking #symbolic computation
- Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
TAP-2012-SenniF #constraints #data type #generative #logic programming #using
- Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
CBSE-2011-YoonSMP #component #incremental #towards
- Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.
ECSA-2011-OliveiraN #architecture #tool support
- A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
CSEET-2011-CarverK #student
- Evaluating the testing ability of senior-level computer science students (JCC, NAK), pp. 169–178.
CSEET-2011-ChenZL #education
- Teaching software testing methods based on diversity principles (ZC, JZ, BL), pp. 391–395.
CSEET-2011-DvornikJCD
- Supporting introductory test-driven labs with WebIDE (TD, DSJ, JC, OD), pp. 51–60.
CSEET-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.
CSEET-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.
CSEET-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.
ICPC-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.
CSMR-2011-JurgensHDFSW
- Regression Test Selection of Manual System Tests in Practice (EJ, BH, FD, MF, CS, AW), pp. 309–312.
CSMR-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.
CSMR-2011-SalehieLTDLM
- Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.
CSMR-2011-VosTWHPPN #internet
- Future Internet Testing with FITTEST (TEJV, PT, JW, MH, WP, EP, YNB), pp. 355–358.
ICSM-2011-BrunetGF #consistency #design #evaluation #usability
- Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.
ICSM-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.
ICSM-2011-HuangLZXW #approach #novel
- A novel approach to regression test selection for J2EE applications (SH, ZJL, JZ, YX, WW), pp. 13–22.
ICSM-2011-KhomhCZSD #fault #predict #using
- Predicting post-release defects using pre-release field testing results (FK, BC, YZ, AS, DD), pp. 253–262.
ICSM-2011-KuhnK #combinator #detection #fault
- Practical combinatorial (t-way) methods for detecting complex faults in regression testing (RK, RK), p. 599.
ICSM-2011-MatthesSH #assurance #migration #quality
- Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.
ICSM-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.
ICSM-2011-SampathBJM #reduction
- A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
ICSM-2011-SrikanthC #as a service #case study #industrial
- Regression testing in Software as a Service: An industrial case study (HS, MBC), pp. 372–381.
SCAM-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.
WCRE-2011-AlbertCFGG #automation #generative #java #named
- jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
WCRE-2011-KaushikTM #case study #debugging #traceability
- Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.
ICALP-v2-2011-BeeckenMS #algebra #independence
- Algebraic Independence and Blackbox Identity Testing (MB, JM, NS), pp. 137–148.
SEFM-2011-NorooziKMW #consistency
- Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
SFM-2011-Tretmans #modelling #towards
- Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.
IFL-2011-KoopmanAP #logic #modelling #state machine
- Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
IFL-2011-Page #verification
- Property-Based Testing and Verification: A Catalog of Classroom Examples (RP), pp. 134–147.
AIIDE-2011-BlackadarD #behaviour #contest
- Behavior Learning-Based Testing of Starcraft Competition Entries (MB, JD).
AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation
- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
CHI-2011-GormanRYBK #adaptation #usability
- Adapting usability testing for oral, rural users (TG, EJR, JY, AB, BEK), pp. 1437–1440.
CHI-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.
CHI-2011-MadathilG #approach #usability
- Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CSCW-2011-GutwinLG #network #performance #realtime
- Real-time groupware in the browser: testing the performance of web-based networking (CG, ML, TCNG), pp. 167–176.
DUXU-v1-2011-RiceTW #enterprise #scalability #usability
- ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.
DUXU-v1-2011-WebbOMPC #mobile
- Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.
DUXU-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.
HCD-2011-AndradeTSRB #3d #multi #navigation #usability
- Usability Tests for Improvement of 3D Navigation in Multiscale Environments (TMA, DRT, ERS, ABR, SDJB), pp. 481–490.
HCD-2011-HoriKK #usability
- Investigation of Indirect Oral Operation Method for Think Aloud Usability Testing (MH, YK, TK), pp. 38–46.
HCI-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.
IDGD-2011-BakerSH
- Testing Touch: Emulators vs. Devices (RMSB, XS, BH), pp. 135–142.
IDGD-2011-EksiogluKCSO #case study #evaluation #heuristic #usability
- Heuristic Evaluation and Usability Testing: Case Study (ME, EK, BÇ, MNS, SO), pp. 143–151.
ICEIS-J-2011-MateoPC11a #modelling #product line
- Model Based Testing in Software Product Lines (PRM, MP, DC), pp. 270–283.
ICEIS-v3-2011-AndreouSP #automation #user interface
- Specification-based Automated Automated GUI Testing (ASA, AAS, CP), pp. 318–323.
ICEIS-v3-2011-MateoPC #approach #modelling #product line
- Testing in Software Product Lines — A Model based Approach (PRM, MP, DC), pp. 46–54.
ECIR-2011-ThotaC #statistics
- Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing (SLT, BC), pp. 543–554.
KDD-2011-ThanhRT #implementation
- k-NN as an implementation of situation testing for discrimination discovery and prevention (BLT, SR, FT), pp. 502–510.
RecSys-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.
SEKE-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.
SEKE-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.
SEKE-2011-MachadoNAM #named #process #product line
- RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKE-2011-NetoMNAM #product line
- Software Product Lines System Test Case Tool: A Proposal (CRLN, IdCM, PAdMSN, ESdA, SRdLM), pp. 699–704.
SEKE-2011-NoorianBD #classification #framework #machine learning #towards
- Machine Learning-based Software Testing: Towards a Classification Framework (MN, EB, WD), pp. 225–229.
SEKE-2011-SantosSN #functional #order #performance #reuse
- Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.
SEKE-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.
SEKE-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.
SEKE-2011-TaoLG #approach #component #modelling
- A Model-based Approach to Regression Testing of Component-based Software (CT, BL, JG), pp. 230–237.
SEKE-2011-ThiryZS #education #empirical #game studies #learning
- Empirical study upon software testing learning with support from educational game (MT, AZ, ACdS), pp. 481–484.
SEKE-2011-VilkomirKT #algorithm #case study #interface #using
- Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (SV, AAK, NT), pp. 219–224.
SEKE-2011-YuLFC #composition
- A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
ECMFA-2011-GogollaV #model transformation
- Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ECMFA-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.
MoDELS-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.
MoDELS-2011-CichosOLS #generative #modelling #product line
- Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
MoDELS-2011-Garcia-DominguezKRPM #framework #model management #named
- EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
MoDELS-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.
MoDELS-2011-WilkeGRA #energy #modelling #towards
- Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.
SPLC-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.
OOPSLA-2011-KatsVV #development
- Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
OOPSLA-2011-ShachamBASVY #concurrent
- Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.
OOPSLA-2011-ThummalapentaXTHS #sequence
- Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
TOOLS-EUROPE-2011-BauerKE #model transformation #quality
- Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
AdaEurope-2011-EilersK #adaptation #framework
- Adapting ACATS to the Ahven Testing Framework (DE, TK), pp. 75–88.
LOPSTR-2011-AlbertGR #generative
- Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
PLDI-2011-Godefroid #generative #higher-order
- Higher-order test generation (PG), pp. 258–269.
PPDP-2011-Lagoon #challenge #constraints #generative
- The challenges of constraint-based test generation (VL), pp. 1–2.
QAPL-2011-DengGHM #probability #process
- Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
SAS-2011-GodefroidLR #composition #generative #incremental #summary #validation
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
SIGAda-2011-EilersK #execution
- Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ASE-2011-AlshahwanH #automation #re-engineering #using #web
- Automated web application testing using search based software engineering (NA, MH), pp. 3–12.
ASE-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.
ASE-2011-BaarsHHLMTV #search-based
- Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
ASE-2011-Bandyopadhyay #fault #locality #using
- Improving spectrum-based fault localization using proximity-based weighting of test cases (AB), pp. 660–664.
ASE-2011-BandyopadhyayG #fault #locality #proximity
- Proximity based weighting of test cases to improve spectrum based fault localization (AB, SG), pp. 420–423.
ASE-2011-Dwyer #analysis #behaviour
- Unifying testing and analysis through behavioral coverage (MBD), p. 2.
ASE-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.
ASE-2011-Gonzalez-SanchezAGG #ambiguity #fault #locality #reduction
- Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.
ASE-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.
ASE-2011-MalburgF #constraints #search-based
- Combining search-based and constraint-based testing (JM, GF), pp. 436–439.
ASE-2011-PanWX #database #generative
- Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASE-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.
ASE-2011-WeiRFPHSNM #contract #fault
- Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ASE-2011-WinbladhR
- Evaluating test selection strategies for end-user specified flow-based applications (KW, AR), pp. 400–403.
ASE-2011-ZhangED #automation #generative
- Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ASE-2011-ZhangZE #automation #documentation
- Automated documentation inference to explain faile