BibSLEIGH — testing tag

testing

software testing
Wikidata

Q188522

Softwaretest
Wikipedia

Software testing
Wikipedia

Testen (software)
Wikipedia

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

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