BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (735)
generat (720)
model (478)
use (475)
system (467)

Stem test$ (all stems)

4216 papers:

CBSECBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
CASECASE-2015-MaP #approach #black box #programmable #testing
Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.
DACDAC-2015-KonukMMRSTZ #design
Design for low test pattern counts (HK, EKM, NM, JR, DS, JT, JZ), p. 6.
DACDAC-2015-PetrenkoTR #challenge #modelling #testing
Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DACDAC-2015-Pomeranz #generative #testing
Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
DACDAC-2015-XieLXCJJ
Jump test for metallic CNTs in CNFET-based SRAM (FX, XL, QX, KC, NJ, LJ), p. 6.
DATEDATE-2015-BarraganL #case study #feature model #using
Feature selection for alternate test using wrappers: application to an RF LNA case study (MJB, GL), pp. 1229–1232.
DATEDATE-2015-DupuisBFNR #hardware #testing
New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
DATEDATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction
A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATEDATE-2015-HaghbayanRFLPNT #manycore #online #power management #testing
Power-aware online testing of manycore systems in the dark silicon era (MHH, AMR, MF, PL, JP, ZN, HT), pp. 435–440.
DATEDATE-2015-HuangTTC #architecture
Feedback-bus oscillation ring: a general architecture for delay characterization and test of interconnects (SYH, MTT, KHHT, WTC), pp. 924–927.
DATEDATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation #testing
Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
DATEDATE-2015-KunduBK #design #fault #testing
Fault diagnosis in designs with extreme low pin test data compressors (SK, PB, RK), pp. 1285–1288.
DATEDATE-2015-Leger #adaptation #multi
Combining adaptive alternate test and multi-site (GL), pp. 1389–1394.
DATEDATE-2015-LiaperdosAT #detection #estimation #fault #probability #testing
A method for the estimation of defect detection probability of analog/RF defect-oriented tests (JL, AA, YT), pp. 1395–1400.
DATEDATE-2015-LiaperdosSATAL #deployment #performance #using
Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.
DATEDATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #testing #validation
Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.
DATEDATE-2015-RiefertCSRB #automation #generative #on the #source code
On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
DATEDATE-2015-TchagouTMVSQ #multi #testing
Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.
DATEDATE-2015-TouatiBDGVBR #functional #power management #source code #testing
Exploring the impact of functional test programs re-used for power-aware testing (AT, AB, LD, PG, AV, PB, MSR), pp. 1277–1280.
DATEDATE-2015-TrinadhBSPK #approach #named #programming #testing
DP-fill: a dynamic programming approach to X-filling for minimizing peak test power in scan tests (ST, CSB, SGS, SP, VK), pp. 836–841.
DATEDATE-2015-YangRMDV #embedded #framework #generative #on the fly #random #testing
Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
DATEDATE-2015-ZhangPJLF #fault #self
Temperature-aware software-based self-testing for delay faults (YZ, ZP, JJ, HL, MF), pp. 423–428.
PODSPODS-2015-HuQT15a #dependence #testing
Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration (XH, MQ, YT), pp. 291–301.
PODSPODS-2015-IndykLR #approximate #testing
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
VLDBVLDB-2015-SH #approach #big data #named #testing
CODD: A Dataless Approach to Big Data Testing (AS, JRH), pp. 2008–2019.
ITiCSEITiCSE-2015-BrianTHF #debugging #student #testing
Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.
ESOPESOP-2015-SeidelVJ #testing
Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
FASEFASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
FASEFASE-2015-CzechJW #exclamation #verification #what
Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.
FASEFASE-2015-JehanPW #integration #testing
BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
SCAMSCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing
Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
ICPCICPC-2015-ChittimalliS #fault #locality #testing
Fault localization during system testing (PKC, VS), pp. 285–286.
ICPCICPC-2015-HauptmannJW #automation #generative #refactoring #testing
Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPCICPC-2015-KhadkeRS #functional #testing #workflow
Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.
ICPCICPC-2015-Zeller #dynamic analysis
Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.
ICSMEICSME-2015-EkelundE #evaluation #industrial #performance #testing
Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
ICSMEICSME-2015-VahabzadehF0 #debugging #empirical
An empirical study of bugs in test code (AV, AMF, AM), pp. 101–110.
SANERSANER-2015-KochharTL #debugging #effectiveness #empirical #scalability #test coverage #testing
Code coverage and test suite effectiveness: Empirical study with real bugs in large systems (PSK, FT, DL), pp. 560–564.
SANERSANER-2015-QiuSM #graph #identification #library #morphism #using
Library functions identification in binary code by using graph isomorphism testings (JQ, XS, PM), pp. 261–270.
SCAMSCAM-2015-BrandtnerLG #dependence #integration #source code #testing
Intent, tests, and release dependencies: Pragmatic recipes for source code integration (MB, PL, HCG), pp. 11–20.
SCAMSCAM-2015-GhafariGR #automation #identification #testing
Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
SCAMSCAM-2015-GhanavatiA #automation #memory management #testing
Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.
PLDIPLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing
Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
PLDIPLDI-2015-SamakRJ #testing
Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
STOCSTOC-2015-ChenDST #adaptation #query #testing
Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.
STOCSTOC-2015-CzumajPS #clustering #graph #testing
Testing Cluster Structure of Graphs (AC, PP, CS), pp. 723–732.
STOCSTOC-2015-GiakkoupisHHW
Test-and-Set in Optimal Space (GG, MH, LH, PW), pp. 615–623.
STOCSTOC-2015-ODonnellW #quantum #testing
Quantum Spectrum Testing (RO, JW), pp. 529–538.
ICALPICALP-v1-2015-BerkholzG #algebra #graph #morphism #testing
Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
ICALPICALP-v1-2015-Canonne #big data #testing
Big Data on the Rise? — Testing Monotonicity of Distributions (CLC), pp. 294–305.
LATALATA-2015-Salem #automaton #ltl #model checking #testing
Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
FMFM-2015-MirandaMR #automation #design #generative #testing #using #verification
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
SEFMSEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
SEFMSEFM-2015-HusterBELRKR #performance #testing
Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFMSEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
SEFMSEFM-2015-SavaryFLL #modelling #robust #testing #using
Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
CHICHI-2015-ChenZ #prototype #testing
Remote Paper Prototype Testing (KC, HZ), pp. 77–80.
CHICHI-2015-VatavuW #analysis #elicitation #formal method #metric #tool support
Formalizing Agreement Analysis for Elicitation Studies: New Measures, Significance Test, and Toolkit (RDV, JOW), pp. 1325–1334.
CSCWCSCW-2015-TorkilsheyggiH
Visible but Unseen?: A Workplace Study of Blood-Test Icons on Electronic Emergency-Department Whiteboards (AáT, MH), pp. 798–807.
HCIDHM-EH-2015-BonfantiGV #mobile
A Mobile Application for the Stereoacuity Test (SB, AG, AV), pp. 315–326.
HCIDUXU-DD-2015-AsthanaS #modelling #named #testing #usability #using #xml
Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
HCIDUXU-DD-2015-CyprianoP #design #interactive #process #prototype #testing
Prototyping and Testing Throughout all the Design Process as a Methodology for Developing Interaction Design Projects (LC, MP), pp. 157–166.
HCIDUXU-DD-2015-DiasVSVPSE #approach #testing #usability
A Living Labs Approach for Usability Testing of Ambient Assisted Living Technologies (MSD, EV, FS, AV, FMP, NS, SE), pp. 167–178.
HCIDUXU-DD-2015-FilhoPV15b #automation #mobile #testing #usability
Emotions Logging in Automated Usability Tests for Mobile Devices (JFF, WP, TV), pp. 428–435.
HCIDUXU-DD-2015-TarkkanenHR #analysis #problem #testing #usability
Are We Testing Utility? Analysis of Usability Problem Types (KT, VH, PR), pp. 269–280.
HCIHCI-DE-2015-ChynalS #testing #usability
Web-Systems Remote Usability Tests and Their Participant Recruitment (PC, JS), pp. 175–183.
HCIHCI-DE-2015-MullerT #evaluation #framework
Analytical Steps for the Calibration of an Emotional Framework — Pre-test and Evaluation Procedures (NHM, MT), pp. 512–519.
HCIHCI-UC-2015-BorsciFMC #assessment #testing #usability
Short Scales of Satisfaction Assessment: A Proxy to Involve Disabled Users in the Usability Testing of Websites (SB, SF, MLM, MC), pp. 35–42.
HCIHIMI-IKC-2015-MatsudaOHT #analysis #automation #generative #multi #problem #testing #using
Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
HCIHIMI-IKC-2015-SturreCVS #assessment #eye tracking #using
Using Eye Movements to Test Assumptions of the Situation Present Assessment Method (LS, DC, KPLV, TZS), pp. 45–52.
HCIHIMI-IKD-2015-FischerOFIW #framework #interface #multi #named #prototype #testing
URU: A Platform for Prototyping and Testing Compatibility of Multifunction Interfaces with User Knowledge Schemata (SF, BO, MF, MI, EW), pp. 151–160.
HCILCT-2015-PyperLWJ #mobile #personalisation
The Potential Use of the Flexilevel Test in Providing Personalised Mobile E-Assessments (AP, ML, PW, AJ), pp. 271–278.
ICEISICEIS-v1-2015-SilveiraCC #fault #monitoring #testing
Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
ICEISICEIS-v2-2015-AbadeFL #bibliography #perspective #testing
Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.
ICEISICEIS-v2-2015-BandyszakRWP #analysis #information management #specification #validation
Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration (TB, MR, TW, KP), pp. 252–259.
ICEISICEIS-v2-2015-MunizNM #functional #modelling #named #statistics #testing
TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEISICEIS-v2-2015-ThommazoCHGPBF #complexity #dependence #requirements #testing #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.
ICMLICML-2015-BounliphoneGTB #consistency #dependence
A low variance consistent test of relative dependency (WB, AG, AT, MBB), pp. 20–29.
KDDKDD-2015-Kohavi #lessons learnt #online #testing
Online Controlled Experiments: Lessons from Running A/B/n Tests for 12 Years (RK), p. 1.
KDDKDD-2015-Llinares-LopezS #mining #mutation testing #performance #permutation #testing
Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.
KDDKDD-2015-XuCFSB #challenge #framework #network #scalability #social #testing
From Infrastructure to Culture: A/B Testing Challenges in Large Scale Social Networks (YX, NC, AF, OS, AB), pp. 2227–2236.
SEKESEKE-2015-BritoSSS #integration #mobile #testing
Integration testing criteria for mobile robotic systems (MASB, MS, PSLS, SRSS), pp. 182–187.
SEKESEKE-2015-Chang #component
A Slow Intelligence System Test Bed Enhanced with Super-Components (SKC), pp. 57–63.
SEKESEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing
Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKESEKE-2015-Hori0TO #comparison #image #testing #web
An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.
SEKESEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based #testing
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKESEKE-2015-LinHX #automation #framework #statistics #testing #user interface
An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKESEKE-2015-LinYX #automation #detection #generative #parametricity #testing
Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKESEKE-2015-SongHJC #android #generative #testing
Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SEKESEKE-2015-Wang #metric #problem
Improved Metrics for Non-Classic Test Prioritization Problems (ZW), pp. 562–566.
SEKESEKE-2015-WangJC #similarity #testing
Similarity-based regression test case prioritization (RW, SJ, DC), pp. 358–363.
SEKESEKE-2015-XuA #component #testing
A JVM-based Testing Harness for Improving Component Testability (WX, OeA), pp. 421–426.
SEKESEKE-2015-XuSZ #algorithm #policy #testing
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SEKESEKE-2015-ZhangGAU #analysis #mobile
Test Model and Coverage Analysis for Location-based Mobile Services (TZ, JG, OEKA, TU), pp. 80–86.
SIGIRSIGIR-2015-Carterette #effectiveness #random #testing
The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
SIGIRSIGIR-2015-HashemiCDKK #on the #reuse
On the Reusability of Open Test Collections (SHH, CLAC, ADH, JK, JK), pp. 827–830.
SIGIRSIGIR-2015-KharitonovVMSO #online #testing
Sequential Testing for Early Stopping of Online Experiments (EK, AV, CM, PS, IO), pp. 473–482.
SIGIRSIGIR-2015-OardSWJH #query
A Test Collection for Spoken Gujarati Queries (DWO, RS, JW, AJ, CH), pp. 919–922.
ICMTICMT-J-2012-GuerraS15 #model transformation #testing
Specification-driven model transformation testing (EG, MS), pp. 623–644.
MoDELSMoDELS-2015-AliY #formal method #standard #testing
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELSMoDELS-2015-GogollaVBH #model transformation #testing
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELSMoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing
An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELSMoDELS-2015-MannaSG #combinator #specification #testing
Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
PPDPPPDP-2015-GiantsiosPS #functional #testing
Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
POPLPOPL-2015-Pous #algebra #algorithm #equivalence #testing
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
SACSAC-2015-AlvesMM #case study #detection #fault #impact analysis #refactoring #test coverage
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring (ELGA, TM, PDdLM), pp. 1534–1540.
SACSAC-2015-BrideJM #approximate #generative #testing
Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SACSAC-2015-ByunC #automation #constraints #operating system #safety #testing #using
Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SACSAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random #testing
Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.
SACSAC-2015-ElyasovPHRVC #equivalence #execution #testing
AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
SACSAC-2015-Homm0G #concurrent #markov #modelling #statistics #testing
Concurrent streams in Markov chain usage models for statistical testing of complex systems (DH, JE, RG), pp. 1803–1807.
SACSAC-2015-JesusVB #functional #testing #web
Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SACSAC-2015-LeottaSRT #automation #generative #testing #visual notation #web
Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SACSAC-2015-SanchezJ #interactive #modelling #music #testing
Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SACSAC-2015-SunyaevB #empirical #independence #testing
Truth and myth of independent software testing: a controlled human experiment (AS, DB), pp. 1722–1728.
SACSAC-2015-VieiraHH #mobile #testing
A context simulator as testing support for mobile apps (VV, KH, MH), pp. 535–541.
ESEC-FSEESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSEESEC-FSE-2015-ArcuriFG #automation #generative #network #testing
Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSEESEC-FSE-2015-BellerGPZ #developer #how #ide #why
When, how, and why developers (do not) test in their IDEs (MB, GG, AP, AZ), pp. 179–190.
ESEC-FSEESEC-FSE-2015-BellKMD #dependence #detection #java #performance
Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSEESEC-FSE-2015-ChenS #difference #implementation #testing #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ESEC-FSEESEC-FSE-2015-DakaCFDW #modelling #readability #testing
Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSEESEC-FSE-2015-DesaiQS #testing
Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ESEC-FSEESEC-FSE-2015-FengCJFX #crowdsourcing #testing
Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.
ESEC-FSEESEC-FSE-2015-Janjua
OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.
ESEC-FSEESEC-FSE-2015-KargenS #slicing #source code #using
Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.
ESEC-FSEESEC-FSE-2015-KimNYCK #api #fault #named #performance #predict #testing
REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.
ESEC-FSEESEC-FSE-2015-MatinnejadNBB #effectiveness #testing
Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
ESEC-FSEESEC-FSE-2015-ParameshwaranBS15a #framework #named #robust #testing
DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ESEC-FSEESEC-FSE-2015-PhamSS #automation #developer #recommendation
Automatically recommending test code examples to inexperienced developers (RP, YS, KS), pp. 890–893.
ESEC-FSEESEC-FSE-2015-Prasetya #generative #java #named #query #testing
T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSEESEC-FSE-2015-SamakR #detection #testing
Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.
ESEC-FSEESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing
Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSEESEC-FSE-2015-ShiYGM #reduction #testing
Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
ESEC-FSEESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation
TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ESEC-FSEESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ESEC-FSEESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using
Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
ESEC-FSEESEC-FSE-2015-XuanXM #testing
Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.
ESEC-FSEESEC-FSE-2015-Yu #concurrent #named #source code #testing
TACO: test suite augmentation for concurrent programs (TY), pp. 918–921.
ESEC-FSEESEC-FSE-2015-ZhangM #correlation #effectiveness #testing
Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.
ICSEICSE-v1-2015-DenaroMPV #data flow #object-oriented #testing
Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSEICSE-v1-2015-GaoLCMW #interactive #question #testing #what
Making System User Interactive Tests Repeatable: When and What Should We Control? (ZG, YL, MBC, AMM, ZW), pp. 55–65.
ICSEICSE-v1-2015-HerzigGCM #quality #testing
The Art of Testing Less without Sacrificing Quality (KH, MG, JC, BM), pp. 483–493.
ICSEICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #testing #using
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
ICSEICSE-v1-2015-SahaZKP #approach #information retrieval #testing
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
ICSEICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSEICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code #testing
RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
ICSEICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSEICSE-v1-2015-YandrapallySS #automation #composition #testing #user interface
Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSEICSE-v1-2015-YiYLZW #analysis #testing
A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
ICSEICSE-v1-2015-YuBC #approach #fault #multi #testing
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests (ZY, CB, KYC), pp. 924–935.
ICSEICSE-v2-2015-AndersonSD #case study #industrial #predict
Striving for Failure: An Industrial Case Study about Test Failure Prediction (JA, SS, HD), pp. 49–58.
ICSEICSE-v2-2015-BellerGZ #developer #how #question
How (Much) Do Developers Test? (MB, GG, AZ), pp. 559–562.
ICSEICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints #testing
A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
ICSEICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named #testing
FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSEICSE-v2-2015-GligoricEM #lightweight #named #testing
Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
ICSEICSE-v2-2015-HerzigN #detection #empirical #using
Empirically Detecting False Test Alarms Using Association Rules (KH, NN), pp. 39–48.
ICSEICSE-v2-2015-Imparato #android #testing #user interface
A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.
ICSEICSE-v2-2015-Jiang #scalability #testing
Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSEICSE-v2-2015-KlasBDSH #analysis #evaluation #modelling #scalability #testing
A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing (MK, TB, AD, TS, PH), pp. 119–128.
ICSEICSE-v2-2015-LindvallGAW #case study #experience #modelling #testing
Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
ICSEICSE-v2-2015-NetoTM #empirical #evaluation #testing
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
ICSEICSE-v2-2015-Ouriques #modelling #testing
Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSEICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
ICSEICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
ICSEICSE-v2-2015-Vasquez #android #testing
Enabling Testing of Android Apps (MLV), pp. 763–765.
ICSEICSE-v2-2015-Zhang #mutation testing #scalability #testing
Scalability Studies on Selective Mutation Testing (JZ), pp. 851–854.
SPLCSPLC-2015-ArrietaSE #algorithm #cyber-physical #product line #validation
Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
SPLCSPLC-2015-LachmannLLBSS #integration #product line #testing
Delta-oriented test case prioritization for integration testing of software product lines (RL, SL, SL, SB, SS, IS), pp. 81–90.
SPLCSPLC-2015-PatelS #as a service #automation #testing #using #variability
Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
SPLCSPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing
Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
PPoPPPPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
SOSPSOSP-2015-RidgeSTGMS #file system #named #specification #testing
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
ICLPICLP-J-2015-MesnardPV #logic programming #testing
Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
ICSTICST-2015-0001YPGS #analysis #generative #testing #using
Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
ICSTICST-2015-AlegrothBB #case study #empirical #industrial #on the
On the Industrial Applicability of TextTest: An Empirical Case Study (EA, GB, EB), pp. 1–10.
ICSTICST-2015-AlegrothGOM #component #concept #empirical #evaluation #testing #user interface #visual notation
Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study (EA, ZG, RAPdO, AM), pp. 1–10.
ICSTICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism #testing
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICSTICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICSTICST-2015-ArltMPW #dependence #testing
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
ICSTICST-2015-BardinDDKPTM #detection #requirements
Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.
ICSTICST-2015-BrajnikBF #integration #latency #modelling #testing #web
Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICSTICST-2015-CarboneCPP #identification #security #testing
Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.
ICSTICST-2015-CseppentoM #symbolic computation #tool support
Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICSTICST-2015-ErmanTBRA #approach #automation #clustering #development #information management #multi #navigation #testing
Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.
ICSTICST-2015-FarzanHV #concurrent #execution #testing
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICSTICST-2015-Felbinger #assessment #model inference #quality #testing #using
Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ICSTICST-2015-HalleBGB #constraints #layout #testing #web
Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
ICSTICST-2015-HarmanJZ #challenge #problem #testing
Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICSTICST-2015-Haser #integration #testing
Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.
ICSTICST-2015-HemmatiFM #agile #testing
Prioritizing Manual Test Cases in Traditional and Rapid Release Environments (HH, ZF, MVM), pp. 1–10.
ICSTICST-2015-HerboldFGHHKMMN #framework #testing
The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.
ICSTICST-2015-Holleis #development #embedded #industrial #testing #workflow
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICSTICST-2015-HuuhtanenIL #algebra #algorithm #design #testing
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
ICSTICST-2015-JensenTSC #generative #testing
Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
ICSTICST-2015-KobashiYWFYOK #design pattern #named #security #testing #verification
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.
ICSTICST-2015-KochharTNZL #automation #comprehension #developer #testing
Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.
ICSTICST-2015-KorosecP #agile #matrix
Supporting the Transition to an Agile Test Matrix (RK, RP), pp. 1–2.
ICSTICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml
MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICSTICST-2015-KunzleW #development #testing
A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.
ICSTICST-2015-LeottaSRT #multi #robust #testing #using #web
Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.
ICSTICST-2015-LiEGO #big data #framework #scalability
A Scalable Big Data Test Framework (NL, AE, YG, JO), pp. 1–2.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICSTICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing
JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICSTICST-2015-MohacsiFB #case study #modelling #performance #testing
A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ICSTICST-2015-MondalHD #multi #test coverage #testing
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.
ICSTICST-2015-NardoPB #analysis #generative #modelling #mutation testing #testing
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICSTICST-2015-NoguchiWFSO #black box #optimisation #testing #using
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
ICSTICST-2015-Oriol #embedded #legacy #re-engineering #testing
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICSTICST-2015-PouldingF #generative #testing
Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
ICSTICST-2015-Rapos #co-evolution #industrial #modelling #testing
Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICSTICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.
ICSTICST-2015-RodriguesBCZO #modelling #named #performance #testing
PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICSTICST-2015-Salloum #data transformation #development #information management #integration #process
Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process (CES), pp. 1–3.
ICSTICST-2015-SantosC #agile #challenge #industrial #mobile #testing #using
Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.
ICSTICST-2015-Tiran #incremental #modelling #mutation testing #testing
Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICSTICST-2015-TokcanOT #automation #development #framework #multi #named #testing
MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
ICSTICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing
Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
ICSTICST-2015-YuC #embedded #generative #stack #testing #worst-case
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ISSTAISSTA-2015-AdamsenMM #android #execution #testing
Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTAISSTA-2015-CongLYX #automation #fault #injection #robust #testing
Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
ISSTAISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
ISSTAISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance #testing
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.
ISSTAISSTA-2015-GligoricEM #dependence #testing
Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTAISSTA-2015-GyoriSHM #dependence #detection #reliability #testing
Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
ISSTAISSTA-2015-Hothersall-Thomas #automation #named #security #testing
BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ISSTAISSTA-2015-LeSS #random
Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.
ISSTAISSTA-2015-MusluBM #fault #testing
Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ISSTAISSTA-2015-RojasFA #automation #development #empirical #generative #testing
Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTAISSTA-2015-SatoHC #testing
Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.
ISSTAISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
ISSTAISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
ISSTAISSTA-2015-YatohSIH #generative #random testing #testing
Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
ISSTAISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing
RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
TAPTAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAPTAP-2015-AthanasiouLS #concurrent #generative #testing #using
Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAPTAP-2015-BirchFP #fault #locality #modelling #performance #testing
Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TAPTAP-2015-BloemHRS #automation #case study #generative #implementation #testing
Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
TAPTAP-2015-HubnerHP #equivalence #evaluation #novel #testing
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.
TAPTAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml
Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
TAPTAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.
VMCAIVMCAI-2015-ChristakisG #composition #image #memory management #parsing #proving #safety #testing #using
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (MC, PG), pp. 373–392.
VMCAIVMCAI-2015-ZhuNJ #array #testing #type inference
Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
CBSECBSE-2014-LongYMPS #collaboration #component #testing
Enabling collaborative testing across shared software components (TL, ICY, AMM, AAP, AS), pp. 55–64.
ASEASE-2014-ArcuriFG #automation #dependence #generative #testing
Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASEASE-2014-CamposAFA #automation #generative #integration #testing
Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASEASE-2014-DingesA #execution #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASEASE-2014-FardMM #automation #generative #testing #web
Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASEASE-2014-GiannakopoulouHILRR #assurance #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
ASEASE-2014-GligoricNLM #automation #comparison #empirical #evaluation #testing
An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
ASEASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
ASEASE-2014-HollingPG #generative #lightweight #named #testing
8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASEASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing
Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASEASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using
MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
ASEASE-2014-MatinnejadNBB14a #named #testing
CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASEASE-2014-Miranda #metric #testing
A proposal for revisiting coverage testing metrics (BM), pp. 899–902.
ASEASE-2014-MoreiraP #modelling #testing #user interface
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASEASE-2014-PirzadehS #testing #user interface
Resilient user interface level tests (HP, SS), pp. 683–688.
ASEASE-2014-RajanSSK #execution #using
Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
ASEASE-2014-RanganathVG #comparison #testing #using
Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.
ASEASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #testing #variability
Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.
ASEASE-2014-TillmannHX #automation #generative #testing
Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
CASECASE-2014-WangW #algorithm #estimation #problem #scheduling #testing
Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
DACDAC-2014-AdirGGS #generative #network #testing #using
Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
DACDAC-2014-ChienHLYC #testing
Contactless Stacked-die Testing for Pre-bond Interposers (JHC, RSH, HJL, KYY, SCC), p. 6.
DACDAC-2014-GebalaMMRT #on the #using
On Using Implied Values in EDT-based Test Compression (MG, GM, NM, JR, JT), p. 6.
DACDAC-2014-LiS #monitoring #pipes and filters #robust #self
Robust and In-Situ Self-Testing Technique for Monitoring Device Aging Effects in Pipeline Circuits (JL, MS), p. 6.
DACDAC-2014-VaidyanathanDP #detection #reliability #stack #using
Detecting Reliability Attacks during Split Fabrication using Test-only BEOL Stack (KV, BPD, LP), p. 6.
DATEDATE-2014-AyariABCKR #predict
New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.
DATEDATE-2014-BalckGP #generative #modelling #protocol #testing #using
Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
DATEDATE-2014-BeneventiBVDB #analysis #identification #logic
Thermal analysis and model identification techniques for a logic + WIDEIO stacked DRAM test chip (FB, AB, PV, DD, LB), pp. 1–4.
DATEDATE-2014-CasparLH #automation #strict #testing #using
Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATEDATE-2014-CongLYX #evaluation #prototype #testing #validation
Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATEDATE-2014-CortezRHN #testing
Testing PUF-based secure key storage circuits (MC, GR, SH, GDN), pp. 1–6.
DATEDATE-2014-GuoWWH #automation #effectiveness #named #test coverage
EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.
DATEDATE-2014-ImhofW #architecture #fault tolerance
Bit-Flipping Scan — A unified architecture for fault tolerance and offline test (MEI, HJW), pp. 1–6.
DATEDATE-2014-JeongOSNS #parametricity #self
Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.
DATEDATE-2014-KahngK #logic #memory management #scheduling
Co-optimization of memory BIST grouping, test scheduling, and logic placement (ABK, IK), pp. 1–6.
DATEDATE-2014-KimHPSL #approach #implementation #modelling #testing
A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATEDATE-2014-Pomeranz #generative #testing
Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-SchlichtmannKAEGGHNW #abstraction #design
Connecting different worlds — Technology abstraction for reliability-aware design and Test (US, VK, JAA, AE, CGD, MG, AH, SRN, NW), pp. 1–8.
DATEDATE-2014-TaouilMHM #3d
Interconnect test for 3D stacked memory-on-logic (MT, MM, SH, EJM), pp. 1–6.
DATEDATE-2014-VartziotisKCPJ #multi #optimisation #using
Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.
DATEDATE-2014-WangLLW0 #design #functional #generative #testing
Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
DATEDATE-2014-ZhangLHCW #multi #performance #predict
Joint Virtual Probe: Joint exploration of multiple test items’ spatial patterns for efficient silicon characterization and test prediction (SZ, FL, CKH, KTC, HW), pp. 1–6.
ITiCSEITiCSE-2014-BuffardiE #adaptation #feedback #testing
Responses to adaptive feedback for software testing (KB, SHE), pp. 165–170.
ITiCSEITiCSE-2014-EdwardsS #question #student #testing
Do student programmers all tend to write the same software tests? (SHE, ZS), pp. 171–176.
TFPIETFPIE-2014-IshiiA #debugging
Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.
FASEFASE-2014-CavalcantiG #data flow #testing
Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
FASEFASE-2014-CristiaMF #framework #integration #testing
Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
FASEFASE-2014-MoreauHM #algorithm #api #design #online #testing #validation
An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
TACASTACAS-2014-JahierDML #case study #modelling #testing
Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACASTACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
SANERCSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing
Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
SANERCSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #testing #tool support
Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
SANERCSMR-WCRE-2014-VidacsBTSG #approach #detection #fault #locality #reduction #testing
Test suite reduction for fault detection and localization: A combined approach (LV, ÁB, DT, IS, TG), pp. 204–213.
SANERCSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing
FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICPCICPC-2014-GhafariGMT #mining #recommendation #testing
Mining unit tests for code recommendation (MG, CG, AM, GT), pp. 142–145.
ICSMEICSME-2014-ChristopheSRM #automation #functional #maintenance #testing #web
Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSMEICSME-2014-Ghafari #testing
Extracting Code Examples from Unit Test Cases (MG), p. 667.
ICSMEICSME-2014-MongioviMGSR #refactoring #scalability #testing
Scaling Testing of Refactoring Engines (MM, GM, RG, GS, MR), pp. 371–380.
ICSMEICSME-2014-Rapos #co-evolution #industrial #modelling #testing
Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSMEICSME-2014-Reiss #code search #testing #towards #using
Towards Creating Test Cases Using Code Search (SPR), pp. 436–440.
ICSMEICSME-2014-Syer #evolution #maintenance #performance #testing
The Maintenance and Evolution of Field-Representative Performance Tests (MDS), p. 665.
ICSMEICSME-2014-VanderveenJT #generative #web #web service
A Web Service Test Generator (PV, MJ, AFT), pp. 516–520.
ICSMEICSME-2014-ZhuZXJL0 #api #mining
Mining API Usage Examples from Test Code (ZZ, YZ, BX, YJ, ZL, LZ), pp. 301–310.
MSRMSR-2014-AndersonSD #effectiveness #mining #testing
Improving the effectiveness of test suite through mining historical data (JA, SS, HD), pp. 142–151.
SCAMSCAM-2014-MarsavinaRZ #co-evolution #fine-grained
Studying Fine-Grained Co-evolution Patterns of Production and Test Code (CM, DR, AZ), pp. 195–204.
SCAMSCAM-2014-PetiotBJKS #c #generative #source code #testing
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAMSCAM-2014-StoccoLRT #migration #named #testing #visual notation #web
PESTO: A Tool for Migrating DOM-Based to Visual Web Tests (AS, ML, FR, PT), pp. 65–70.
SCAMSCAM-2014-TengeriBHG #analysis #repository #test coverage #testing #tool support
Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
PEPMPEPM-2014-LiTSF #automation #evolution #testing #web #web service
Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PLDIPLDI-2014-AlglaveMT #memory management #modelling #simulation #testing
Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
PLDIPLDI-2014-PerelmanGGP #synthesis #testing
Test-driven synthesis (DP, SG, DG, PP), p. 43.
PLDIPLDI-2014-SurendranRCMS #parallel #source code #testing
Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
STOCSTOC-2014-BermanRY
Lp-testing (PB, SR, GY), pp. 164–173.
STOCSTOC-2014-Neeman #testing
Testing surface area with arbitrary accuracy (JN), pp. 393–397.
FLOPSFLOPS-2014-AmaralFC #named #prolog #testing
PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
FLOPSFLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
ICALPICALP-v1-2014-CanonneR #probability #testing
Testing Probability Distributions Underlying Aggregated Data (CLC, RR), pp. 283–295.
ICALPICALP-v1-2014-DvirOS #equivalence #testing
Testing Equivalence of Polynomials under Shifts (ZD, RMdO, AS), pp. 417–428.
ICALPICALP-v1-2014-KusumotoY #morphism #testing
Testing Forest-Isomorphism in the Adjacency List Model (MK, YY), pp. 763–774.
SEFMSEFM-2014-BonifacioM #modelling #testing
Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFMSEFM-2014-ChristakisMW #detection #invariant #testing
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
SEFMSEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SFMSFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
SFMSFM-2014-LochauPKS #modelling #testing
Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
GT-VMTGT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
CHICHI-2014-NguyenDCWD #game studies
DoDo game, a color vision deficiency screening test for young children (LCN, EYLD, AC, YW, HBLD), pp. 2289–2292.
CHICHI-2014-SondereggerUPS #testing #usability
The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.
HCIDHM-2014-HuangC #testing #usability
Evaluating the Healthcare Management System by Usability Testing (PHH, MCC), pp. 369–376.
HCIDHM-2014-MirandaRV #analysis #development #memory management #mobile #testing
Analysis of Luria Memory Tests for Development on Mobile Devices (JAHM, EHR, AMV), pp. 546–557.
HCIDUXU-TMT-2014-KojoHV #mobile #self #testing
Customer Journey Mapping of an Experience-Centric Service by Mobile Self-reporting: Testing the Qualiwall Tool (IK, MH, JPV), pp. 261–272.
HCIHCI-AS-2014-MaguireT #comparison #mobile
Comparison Test of Website Use with Mobile Phone and Laptop Computer (MM, MT), pp. 146–154.
HCIHCI-AS-2014-YoungCGC #metric #mobile #performance #physics #process
Snappy App: A Mobile Continuous Performance Test with Physical Activity Measurement for Assessing Attention Deficit Hyperactivity Disorder (ZY, MPC, MG, JC), pp. 363–373.
HCIHCI-TMT-2014-HoroldMK #guidelines #testing #usability
Guidelines for Usability Field Tests in the Dynamic Contexts of Public Transport (SH, CM, HK), pp. 489–499.
HCIHCI-TMT-2014-LizanoSS #agile #case study #testing #usability
Integrating Usability Evaluations into Scrum: A Case Study Based on Remote Synchronous User Testing (FL, MMS, JS), pp. 500–509.
HCIHCI-TMT-2014-MayasHRK #testing #usability
Evaluating Methods and Equipment for Usability Field Tests in Public Transport (CM, SH, CR, HK), pp. 545–553.
HCILCT-NLE-2014-UlbrichtBFQ #component #interface #learning #testing #usability
The Emotion Component on Usability Testing Human Computer Interface of an Inclusive Learning Management System (VRU, CHB, LF, SRPdQ), pp. 334–345.
VISSOFTVISSOFT-2014-EnsRSHYI #co-evolution #comprehension #named #visual notation
ChronoTwigger: A Visual Analytics Tool for Understanding Source and Test Co-evolution (BE, DJR, RS, HH, JEY, PI), pp. 117–126.
ICEISICEIS-v1-2014-SilveiraCC #case study #problem
A Problem-solving Agent to Test Rational Agents — A Case Study with Reactive Agents (FRdVS, GALdC, MIC), pp. 505–513.
ICEISICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #process #testing #towards
Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.
ICEISICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing
An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
ICEISICEIS-v3-2014-GhezziCRB #framework #rest
Applications of the REST Framework to Test Technology Activation in Different ICT Domains (AG, AC, AR, RB), pp. 87–91.
ICEISICEIS-v3-2014-PutterRS #consistency #enterprise #testing
Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
ICEISICEIS-v3-2014-SilvaGS #case study #gesture #interactive #process
Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.
ICEISICEIS-v3-2014-SwennenDVJ #framework #testing #towards
Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
CIKMCIKM-2014-JonesTMSS #comprehension #consistency #evaluation #matter #nondeterminism
Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.
CIKMCIKM-2014-Sakai #design
Designing Test Collections for Comparing Many Systems (TS), pp. 61–70.
ICMLICML-c1-2014-CicaleseLS #optimisation #testing
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICMLICML-c2-2014-BenavoliCMZR #process
A Bayesian Wilcoxon signed-rank test based on the Dirichlet process (AB, GC, FM, MZ, FR), pp. 1026–1034.
ICMLICML-c2-2014-ChwialkowskiG #independence #kernel #process #random
A Kernel Independence Test for Random Processes (KC, AG), pp. 1422–1430.
ICMLICML-c2-2014-LiuZBP #dependence #modelling #multi #testing #visual notation
Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
ICMLICML-c2-2014-WenYG #learning #nondeterminism #robust
Robust Learning under Uncertain Test Distributions: Relating Covariate Shift to Model Misspecification (JW, CNY, RG), pp. 631–639.
ICPRICPR-2014-BaiRH #kernel #morphism #testing
A Hypergraph Kernel from Isomorphism Tests (LB, PR, ERH), pp. 3880–3885.
ICPRICPR-2014-BhattacharyaGC #classification #estimation
Test Point Specific k Estimation for kNN Classifier (GB, KG, ASC), pp. 1478–1483.
KDDKDD-2014-LiWW #matrix #rank #testing
Improved testing of low rank matrices (YL, ZW, DPW), pp. 691–700.
SEKESEKE-2014-CheMLC #network #online #protocol #runtime #testing
Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKESEKE-2014-HirasakiKT #interactive #random testing #testing
Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.
SEKESEKE-2014-HuangCWC #how #interactive #question #testing
How to Do Tie-breaking in Prioritization of Interaction Test Suites? (RH, JC, RW, DC), pp. 121–125.
SEKESEKE-2014-JiangCKZD #model transformation #source code #testing #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKESEKE-2014-LiLWC #automation #data access #generative #policy #testing
Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKESEKE-2014-NevesV #development #refactoring #variability
Reactive Variability Realization with Test Driven Development and Refactoring (GSN, PV), pp. 100–105.
SEKESEKE-2014-OliveiraMGND #framework #source code #testing
An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKESEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #testing #web
Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SEKESEKE-2014-SolariM #detection #empirical #fault #testing
A Controlled Experiment to Explore Potentially Undetectable Defects for Testing Techniques (MS, SM), pp. 106–109.
SEKESEKE-2014-ToureBL #metric #testing #towards
Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.
SEKESEKE-2014-WangGZLLYY #testing
Reducing Test Cases with Causality Partitions (HW, XG, QZ, TL, XL, LY, ZY), pp. 223–228.
SEKESEKE-2014-XuFWLC #testing
Testing as an Investment (XX, CF, QW, JL, ZC), pp. 723–728.
SEKESEKE-2014-XuS #automation #effectiveness #petri net #testing
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SEKESEKE-2014-ZhangCL #adaptation #random #sequence #testing
An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SEKESEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
SIGIRSIGIR-2014-Carterette #information retrieval #statistics #testing #theory and practice
Statistical significance testing in information retrieval: theory and practice (BC), p. 1286.
SIGIRSIGIR-2014-DincerMO #evaluation #retrieval #testing
Hypothesis testing for the risk-sensitive evaluation of retrieval systems (BTD, CM, IO), pp. 23–32.
SIGIRSIGIR-2014-JayasingheWSC
Extending test collection pools without manual runs (GKJ, WW, MS, JSC), pp. 915–918.
SIGIRSIGIR-2014-RaiberK14a #clustering #correlation #effectiveness #retrieval #testing
The correlation between cluster hypothesis tests and the effectiveness of cluster-based retrieval (FR, OK), pp. 1155–1158.
SIGIRSIGIR-2014-VinjumurOP #reliability #reuse
Assessing the reliability and reusability of an E-discovery privilege test collection (JKV, DWO, JHP), pp. 1047–1050.
SIGIRSIGIR-2014-YeniterziC #bias #testing
Analyzing bias in CQA-based expert finding test sets (RY, JC), pp. 967–970.
AMTAMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMTAMT-2014-TisoRL #model-to-text #testing
Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
ICMTICMT-2014-GarciaAID #testing
Testing MOFScript Transformations with HandyMOF (JG, MA, AI, OD), pp. 42–56.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-JilaniIK #approach #generative #model transformation #testing
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMTICMT-2014-WieberAS #automation #graph grammar #model transformation #on the #testing
On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
OOPSLAOOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
OOPSLAOOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
OOPSLAOOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis #thread
Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.
GPCEGPCE-2014-MaAZS #performance #product line #testing
Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
LOPSTRLOPSTR-2014-Vidal #execution #generative #prolog #testing
Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
SACSAC-2014-AlabdulhafezE #case study #comparative #in the cloud #virtual machine
Experimenting on virtual machines co-residency in the cloud: a comparative study of available test beds (AA, PDE), pp. 363–365.
SACSAC-2014-BassoOF #java #model transformation
Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SACSAC-2014-BeoharM #consistency #testing
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SACSAC-2014-BonifacioM #on the #testing
On the completeness of test suites (ALB, AVM), pp. 1287–1292.
SACSAC-2014-ChenML #case study #education #research #testing
Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SACSAC-2014-ChenZW #detection #named #testing
Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
SACSAC-2014-GamaD #approach #deployment #fault #self #testing
A fault deployment and activation approach for testing self-recovery mechanisms (KG, DD), pp. 1114–1119.
SACSAC-2014-GaoEWGL #empirical #generative #testing
An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
SACSAC-2014-GriebeG #approach #automation #mobile #modelling #testing
A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SACSAC-2014-HuangCLWL #adaptation #interactive #random #testing
Adaptive random prioritization for interaction test suites (RH, JC, ZL, RW, YL), pp. 1058–1063.
SACSAC-2014-MesmoudiH #declarative #framework #query #scalability
A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.
SACSAC-2014-NoureddineRS #energy #library #testing
Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
SACSAC-2014-ParkKC #framework #kernel #memory management #online #using
Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation (HP, DK, JC), pp. 1517–1522.
SACSAC-2014-SilvaPBAP #architecture #cyber-physical #modelling #testing
A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SACSAC-2014-SuzakiYTOS #protocol #testing #virtual machine
Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
FSEFSE-2014-Banerjee #energy #performance #static analysis #testing
Static analysis driven performance and energy testing (AB), pp. 791–794.
FSEFSE-2014-Bell #dependence #detection #testing
Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.
FSEFSE-2014-BohmeP #automation #on the #performance #testing
On the efficiency of automated testing (MB, SP), pp. 632–642.
FSEFSE-2014-ElbaumR #nondeterminism #testing
Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
FSEFSE-2014-ElbaumRP #development #integration #testing
Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
FSEFSE-2014-Gao #program analysis #testing
Numerical program analysis and testing (ZG), pp. 779–782.
FSEFSE-2014-HavrikovHGZ #generative #named #testing #xml
XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
FSEFSE-2014-HuoC #detection #quality #testing
Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.
FSEFSE-2014-JustJIEHF #fault #question #testing
Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
FSEFSE-2014-KhalidNSH #android #case study #game studies
Prioritizing the devices to test your app on: a case study of Android game apps (HK, MN, ES, AEH), pp. 610–620.
FSEFSE-2014-LiAG #automation #javascript #named #testing #web
SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSEFSE-2014-LuoHEM #analysis #empirical #testing
An empirical analysis of flaky tests (QL, FH, LE, DM), pp. 643–653.
FSEFSE-2014-MahmoodMM #android #named #testing
EvoDroid: segmented evolutionary testing of Android apps (RM, NM, SM), pp. 599–609.
FSEFSE-2014-Pham #social #testing
Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.
FSEFSE-2014-PhamKLSS #testing
Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.
FSEFSE-2014-SeoK #how #testing
How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.
FSEFSE-2014-ShiGGZM #reduction #testing #trade-off
Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
FSEFSE-2014-XuanM #fault #locality #testing
Test case purification for improving fault localization (JX, MM), pp. 52–63.
ICSEICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSEICSE-2014-BellK #testing
Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ICSEICSE-2014-HuangMSZ #analysis #performance #testing
Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSEICSE-2014-InozemtsevaH #correlation #effectiveness #testing
Coverage is not strongly correlated with test suite effectiveness (LI, RH), pp. 435–445.
ICSEICSE-2014-MantylaPLL #bibliography #development #empirical #perspective #requirements #testing
Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.
ICSEICSE-2014-NguyenKN #execution #testing #variability #web
Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSEICSE-2014-TonellaTN #modelling #n-gram #testing
Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSEICSE-2014-YuSR #automation #framework #named #testing
SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SLESLE-2014-HartelHL #generative #testing #xtext
Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
SPLCSPLC-2014-Al-HajjajiTMLS #product line #similarity #testing
Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLCSPLC-2014-HartmannLB #product line #testing
Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLCSPLC-2014-KnappRS #development #modelling #on the #product line #testing
On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
SPLCSPLC-2014-WangBAGPL #case study #industrial #multi #product line #testing
Multi-objective test prioritization in software product line testing: an industrial case study (SW, DB, SA, AG, DP, ML), pp. 32–41.
OSDIOSDI-2014-YuanLZRZZJS #analysis #data-driven #distributed #testing
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (DY, YL, XZ, GRR, XZ, YZ, PJ, MS), pp. 249–265.
PPoPPPPoPP-2014-ThomsonDB #bound #concurrent #empirical #testing #using
Concurrency testing using schedule bounding: an empirical study (PT, AFD, AB), pp. 15–28.
CAVCAV-2014-GligoricMSEM #distributed #testing
Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
ICSTICST-2014-AliH #challenge #lessons learnt #modelling #testing #video
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ICSTICST-2014-AraujoC #data flow #in the large #testing
Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
ICSTICST-2014-AydinAB #automation #generative #testing
Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICSTICST-2014-BallerLLS #incremental #multi #optimisation #product line #testing
Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
ICSTICST-2014-DacaHKN #composition #specification #testing
Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
ICSTICST-2014-DenaroPV #data flow #on the #testing
On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
ICSTICST-2014-EngstromMRB #testing #visual notation
Supporting Regression Test Scoping with Visual Analytics (EE, MM, PR, MB), pp. 283–292.
ICSTICST-2014-Feldt #question #testing
Do System Test Cases Grow Old? (RF), pp. 343–352.
ICSTICST-2014-GroceAZCR #reduction #testing
Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ICSTICST-2014-HaysHB #testing #validation
Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ICSTICST-2014-HuntBF #automation #testing #user interface
Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ICSTICST-2014-JohanssonSLAG #fuzzing #modelling #named #protocol #robust #testing
T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols (WJ, MS, UEL, MA, VG), pp. 323–332.
ICSTICST-2014-KimXKCR #framework #hybrid #testing
Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ICSTICST-2014-LacknerTWW #design #modelling #product line
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level (HL, MT, FW, SW), pp. 51–60.
ICSTICST-2014-LiGP #database #outsourcing
Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.
ICSTICST-2014-LiO #analysis #empirical #modelling #testing
An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.
ICSTICST-2014-Marin #approach #automation #database #multi #testing
A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.
ICSTICST-2014-MiicBT #analysis #automation #multi #test coverage #testing
Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICSTICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ICSTICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing
Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
ICSTICST-2014-PouldingW #automation #probability
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.
ICSTICST-2014-SanchezSC #comparison #product line #testing
A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICSTICST-2014-SchwarzlB #test coverage
Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ICSTICST-2014-WeisslederS #embedded #evaluation #modelling #testing
An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICSTICST-2014-WiklundSEL #analysis #automation #empirical #testing
Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.
ICSTICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing
System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.
ICSTICST-2014-YuSCR #embedded #framework #named #testing #worst-case
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
ICSTICST-2014-ZaeemPK #automation #generative #mobile #testing
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-2014-Bures #automation #detection #maintenance #testing
Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSSICTSS-2014-ChoiKAO #design #testing
Design of Prioritized N-Wise Testing (EHC, TK, CA, YO), pp. 186–191.
ICTSSICTSS-2014-DoganayEAB #embedded #search-based #testing
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ICTSSICTSS-2014-DwarakanathJ #test coverage
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
ICTSSICTSS-2014-EberhardingerSKR #adaptation #self #testing #towards
Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.
ICTSSICTSS-2014-El-FakihSY #assessment #automaton #on the #test coverage #testing
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
ICTSSICTSS-2014-Estero-BotaroGDPM #composition #framework #generative #search-based #testing
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
ICTSSICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
ICTSSICTSS-2014-PalmieriCO #automation #testing
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, ), pp. 129–144.
ICTSSICTSS-2014-SamihGBAB #approach #modelling #testing
An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
ICTSSICTSS-2014-Schmidberger #metric
Well-Defined Coverage Metrics for the Glass Box Test (RS), pp. 113–128.
ICTSSICTSS-2014-WotawaB #automation #exclamation #security #testing
Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
IJCARIJCAR-2014-CerritoDG #atl #logic #satisfiability #testing
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
ISSTAISSTA-2014-AlshahwanH #detection #fault #testing
Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
ISSTAISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing
Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTAISSTA-2014-ArltPW #slicing #testing #user interface
Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ISSTAISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web
X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
ISSTAISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation
Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
ISSTAISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video
A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
ISSTAISSTA-2014-GotliebM #named #network #reduction #testing
FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTAISSTA-2014-JustJE #database #fault #java #named #source code #testing
Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.
ISSTAISSTA-2014-KingNSCM #agile #domain-specific language #named #testing #tool support #web
Legend: an agile DSL toolset for web acceptance testing (TMK, GN, DS, AC, CM), pp. 409–412.
ISSTAISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTAISSTA-2014-LiJSCH #energy #optimisation #testing
Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
ISSTAISSTA-2014-MarianiPRS #named #testing #web
Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
ISSTAISSTA-2014-MarinescuHC #analysis #evolution #framework #named
Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
ISSTAISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web
Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
ISSTAISSTA-2014-MirzaAghaeiM #test coverage #testing #web
DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
ISSTAISSTA-2014-PastoreMHFSSM #testing
Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
ISSTAISSTA-2014-PradelHG #concurrent #performance #testing
Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.
ISSTAISSTA-2014-SchurRZ #mining #modelling #multi #named #web
ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
ISSTAISSTA-2014-YandrapallyTSC #automation #robust #testing #using
Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
ISSTAISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
ISSTAISSTA-2014-ZhangJWMLEN #empirical #independence
Empirically revisiting the test independence assumption (SZ, DJ, JW, KM, WL, MDE, DN), pp. 385–396.
ISSTAISSTA-2014-ZouCZZG #effectiveness #testing #web
Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
TAPTAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing
Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
TAPTAP-2014-ArcainiGR #abstraction #model checking #testing
An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
TAPTAP-2014-BardinCDK #automation #testing #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
TAPTAP-2014-DiepenbeckKSD #behaviour #development #testing #verification
Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.
TAPTAP-2014-JannesariKSW #classification #generative #parallel #testing
Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAPTAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread
Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
TAPTAP-2014-KampmannGZ #bound #execution #named #performance #verification
JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
TAPTAP-2014-KosmatovLA #case study #proving #testing #verification
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.
TAPTAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
TAPTAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification
How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.
VMCAIVMCAI-2014-Romano #float #integer #testing
Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
ASEASE-2013-CamposAFd #fault #generative #locality #testing
Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASEASE-2013-CotroneoLFN #named #operating system #robust #testing
SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
ASEASE-2013-GambiHD #automation #testing
Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASEASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using
Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASEASE-2013-KukrejaHT #game studies #testing #using
Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.
ASEASE-2013-MirshokraieMP #generative #javascript #named #testing
PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASEASE-2013-NardoABFNM #modelling #validation
Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
ASEASE-2013-NguyenT #automation #classification #combinator #dependence #testing
Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASEASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using
Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASEASE-2013-SchaeferDS #framework #independence #named #testing #towards
Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ASEASE-2013-TasharofiPLJ #automation #named #source code #testing
Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASEASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASEASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing
Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ASEASE-2013-XuHRW #data flow #testing
Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
CASECASE-2013-LiK #automation #generative #novel #reachability #reduction #testing
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
CASECASE-2013-ZhongLEHF #analysis #modelling #process #testing
Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.
DACDAC-2013-DevWR #3d #integration #testing #using
High-throughput TSV testing and characterization for 3D integration using thermal mapping (KD, GW, SR), p. 6.
DACDAC-2013-StratigopoulosFCM #estimation #metric #multi #statistics #using
Multidimensional analog test metrics estimation using extreme value theory and statistical blockade (HGDS, PF, YC, FM), p. 7.
DACDAC-2013-YuanLJX #on the #testing
On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DATEDATE-2013-CassanoCKHPS #configuration management #online #testing
On-line testing of permanent radiation effects in reconfigurable systems (LC, DC, SK, JH, MP, LS), pp. 717–720.
DATEDATE-2013-DeutschC #multi #using
Non-invasive pre-bond TSV test using ring oscillators and multiple voltage levels (SD, KC), pp. 1065–1070.
DATEDATE-2013-HillebrechtKEWB #generative
Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
DATEDATE-2013-HuangKCM #correlation #modelling #testing
Handling discontinuous effects in modeling spatial correlation of wafer-level analog/RF tests (KH, NK, JMCJ, YM), pp. 553–558.
DATEDATE-2013-HuangMSBP #effectiveness #performance
A fast and Effective DFT for test and diagnosis of power switches in SoCs (XH, JM, RAS, SB, DKP), pp. 1089–1092.
DATEDATE-2013-Kae-NuneP #anti #process #testing
Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATEDATE-2013-KavousianosC #testing
Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATEDATE-2013-MittalBKDKP #adaptation #manycore #towards
Towards adaptive test of multi-core RF SoCs (RM, LB, YBCK, VRD, MK, RAP), pp. 743–748.
DATEDATE-2013-ObergMSK #framework #hardware #testing
A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATEDATE-2013-RakossyHTSNO #architecture #array #fault #functional #testing
Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.
DATEDATE-2013-WagnerW #analysis #performance #statistics
Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATEDATE-2013-ZhangYH0 #testing
Capturing post-silicon variation by layout-aware path-delay testing (XZ, JY, YH, XL), pp. 288–291.
DATEDATE-2013-ZordanBDGTVB #fault #power management
Test solution for data retention faults in low-power SRAMs (LBZ, AB, LD, PG, AT, AV, NB), pp. 442–447.
PODSPODS-2013-Figueira #on the #testing #transitive #xpath
On XPath with transitive axes and data tests (DF), pp. 249–260.
VLDBVLDB-2013-CherniakZZ #optimisation #testing
Optimization Strategies for A/B Testing on HADOOP (AC, HZ, VZ), pp. 973–984.
CSEETCSEET-2013-Edwards #programming #testing
Adding software testing to programming assignments (SHE), pp. 371–373.
CSEETCSEET-2013-KanijMG #empirical #testing
An empirical study of the effects of personality on software testing (TK, RM, JG), pp. 239–248.
CSEETCSEET-2013-KumarW #problem #testing
Guidance for exploratory testing through problem frames (SK, CW), pp. 284–288.
CSEETCSEET-2013-StejskalS #learning #testing
Test-driven learning in high school computer science (RS, HPS), pp. 289–293.
ITiCSEITiCSE-2013-VihavainenVLP #learning #student #using
Scaffolding students’ learning using test my code (AV, TV, ML, MP), pp. 117–122.
FASEFASE-2013-CavalcantiH #csp #testing
Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
FASEFASE-2013-SakamotoTHWF #code generation #integration #named #testing #web
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
FASEFASE-2013-SanthiarPK #api #mining #testing
Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
TACASTACAS-2013-NagyST #automation #realtime #testing
Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
CSMRCSMR-2013-AnicheOG #case study #industrial #open source #quality #testing #what
What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.
CSMRCSMR-2013-BagnatoSBV #case study #industrial #internet #testing #uml
The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.
CSMRCSMR-2013-DuclosDGA #automation #c++ #named #testing
ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
CSMRCSMR-2013-GhaithWPM #analysis #detection #independence #performance #testing
Profile-Based, Load-Independent Anomaly Detection and Analysis in Performance Regression Testing of Software Systems (SG, MW, PP, JM), pp. 379–383.
CSMRCSMR-2013-KochharBLJ #case study #open source #testing
Adoption of Software Testing in Open Source Projects — A Preliminary Study on 50,000 Projects (PSK, TFB, DL, LJ), pp. 353–356.
CSMRCSMR-2013-SabanePAG #case study #cost analysis #testing
A Study on the Relation between Antipatterns and the Cost of Class Unit Testing (AS, MDP, GA, YGG), pp. 167–176.
CSMRCSMR-2013-SoetensDZ #developer #testing
Change-Based Test Selection in the Presence of Developer Tests (QDS, SD, AZ), pp. 101–110.
ICPCICPC-2013-KamimuraM #generative #summary #testing #towards
Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICSMEICSM-2013-Lopez-HerrejonCFEA #multi #product line #testing
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing (RELH, JFC, JF, AE, EA), pp. 404–407.
ICSMEICSM-2013-MantylaKAEP #agile #on the #testing
On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSMEICSM-2013-MarijanGS #case study #industrial #testing
Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.
ICSMEICSM-2013-QiML #automation #performance #program repair #testing
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSMEICSM-2013-RosePFP #framework #probability #scalability #search-based #testing #towards
Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
ICSMEICSM-2013-SchwartzD #effectiveness #fuzzy #testing
A Fuzzy Expert System for Cost-Effective Regression Testing Strategies (AS, HD), pp. 1–10.
ICSMEICSM-2013-SemenenkoDS #image #machine learning #named #testing
Browserbite: Accurate Cross-Browser Testing via Machine Learning over Image Features (NS, MD, TS), pp. 528–531.
ICSMEICSM-2013-ToroiRV #case study #identification #process #testing
Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
MSRMSR-2013-RaemaekersNDV #locality #testing
Testing principles, current practices, and effects of change localization (SR, GFN, AvD, JV), pp. 257–266.
SCAMSCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing
A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
WCREWCRE-2013-AvanciniC #grammarware #named #testing #web
Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.
WCREWCRE-2013-LeottaCRT #assessment #empirical #evolution #programmable #testing #web
Capture-replay vs. programmable web testing: An empirical assessment during test case evolution (ML, DC, FR, PT), pp. 272–281.
PLDIPLDI-2013-MorissetPN #compilation #formal method #memory management #optimisation #testing
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.
STOCSTOC-2013-ChakrabartyS13a #bound #testing
Optimal bounds for monotonicity and lipschitz testing over hypercubes and hypergrids (DC, CS), pp. 419–428.
STOCSTOC-2013-ChenST #design #morphism #multi #testing
Multi-stage design for quasipolynomial-time isomorphism testing of steiner 2-systems (XC, XS, SHT), pp. 271–280.
STOCSTOC-2013-KawarabayashiY #graph #testing
Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
CIAACIAA-2013-BelliB #testing #using
Using Regular Grammars for Event-Based Testing (FB, MB), pp. 48–59.
CIAACIAA-2013-HenryS #equivalence #testing
LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.
ICALPICALP-v1-2013-WimmerY #invariant #morphism #testing
Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
ICALPICALP-v2-2013-LipmaaT #complexity #online #similarity #sublinear #testing
Secure Equality and Greater-Than Tests with Sublinear Online Complexity (HL, TT), pp. 645–656.
LATALATA-2013-KociumakaRRW #algorithm #linear #testing
Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
IFMIFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
SEFMSEFM-2013-Choi #constraints #generative #operating system #specification #testing
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
SEFMSEFM-2013-CristiaRF #framework #generative #testing
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICFPICFP-2013-HritcuHPSVAL #testing
Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
ICFPICFP-2013-St-AmourT #case study #experience #random testing #testing
Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
GT-VMTGT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
CHICHI-2013-McDonaldP #testing
The effect of global instructions on think-aloud testing (SM, HP), pp. 2941–2944.
CHICHI-2013-Mirza-BabaeiNGCF #game studies #how #research #testing
How does it play better?: exploring user testing and biometric storyboards in games user research (PMB, LEN, JG, NC, GF), pp. 1499–1508.
CHICHI-2013-ScarrCGM #consistency #interface #performance #robust #testing
Testing the robustness and performance of spatially consistent interfaces (JS, AC, CG, SM), pp. 3139–3148.
HCIDUXU-CXC-2013-HassB #testing #usability
Usability Testing Medical Devices: A Practical Guide to Minimizing Risk and Maximizing Success (CH, DB), pp. 407–416.
HCIDUXU-CXC-2013-Maciel #named #testing #usability
PALMA: Usability Testing of an Application for Adult Literacy in Brazil (FRM), pp. 229–237.
HCIDUXU-CXC-2013-ValenteM #education #game studies
Teachers and Children Playing with Factorization: Putting Prime Slaughter to the Test (AV, EM), pp. 311–320.
HCIDUXU-CXC-2013-YouX #testing #usability
A Usability Testing of Chinese Character Writing System for Foreign Learners (MY, YJX), pp. 149–157.
HCIDUXU-PMT-2013-LuL13a #behaviour #design
Innovative Behavioral Intention and Creativity Achievement in Design: Test of an Integrated Model (CCL, DBL), pp. 535–544.
HCIDUXU-PMT-2013-PrisacariH #design #using
Using Eye-Tracking to Test and Improve Website Design (AP, TH), pp. 389–398.
HCIDUXU-WM-2013-MeierBBW #crowdsourcing #navigation #testing
Evaluating a Web-Based Tool for Crowdsourced Navigation Stress Tests (FM, AB, MB, CW), pp. 248–256.
HCIDUXU-WM-2013-PrataMQ #mobile #testing #usability
Usability Testing of Mobile Applications Store: Purchase, Search and Reviews (WP, CRM, MQ), pp. 714–722.
HCIDUXU-WM-2013-SpiliotopoulosBKST #design #interface #retrieval #social #testing #usability #web
Usability Design and Testing of an Interface for Search and Retrieval of Social Web Data (DS, RB, GK, PS, DT), pp. 575–580.
HCIHCI-AS-2013-DixonDD13a #design #health #implementation #mobile #testing
Designing, Implementing and Testing a Mobile Application to Assist with Pediatric-to-Adult Health Care Transition (JD, JD, SDD), pp. 66–75.
HCIHCI-AS-2013-MontAlvaoPL #case study #testing #usability
Usability Testing for e-health Application: A Case Study for Sana/Open MRS (CRM, FP, CAPdL), pp. 144–149.
HCIHCI-III-2013-AnKK #development #interface #usability #using
Development of a Virtual Keyboard System Using a Bio-signal Interface and Preliminary Usability Test (KOA, DHK, JK), pp. 3–9.
HCIHCI-IMT-2013-CarrinoRIKM #gesture #protocol
Gesture vs. Gesticulation: A Test Protocol (FC, AR, RI, OAK, EM), pp. 157–166.
HCIHIMI-HSM-2013-MizutaniKSASUKSI #development #eye tracking #visual notation
Development of Screening Visual Field Test Application that Use Eye Movement (MM, KK, SS, TA, TS, MU, SK, MS, TI), pp. 291–300.
HCIHIMI-LCCB-2013-KangL #performance #student
The Display Medium, Academic Major and Sex Effect of High School Students on Visuospatial Abilities Test Performance (YYK, YHL), pp. 70–78.
VISSOFTVISSOFT-2013-Lopez-HerrejonE #interactive #product line #testing #towards #visualisation
Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.
CAiSECAiSE-2013-SenG #case study #data-driven #interactive #testing
Testing a Data-Intensive System with Generated Data Interactions — The Norwegian Customs and Excise Case Study (SS, AG), pp. 657–671.
CAiSECAiSE-2013-YuHGV #composition #framework #protocol #testing #web #web service
A Business Protocol Unit Testing Framework for Web Service Composition (JY, JH, SOG, SV), pp. 17–34.
ICEISICEIS-v2-2013-EomA #testing
Developing and Testing a Model to Understand Relationships between e-Learning Outcomes and Human Factors (SBE, NJA), pp. 361–370.
ICEISICEIS-v2-2013-MarynowskiPWM #dependence #pipes and filters #testing
Dependability Testing of MapReduce Systems (JEM, ARP, TSW, AJM), pp. 165–172.
ICEISICEIS-v2-2013-Milosz #case study #enterprise #legacy #performance #testing #using
Performance Testing of New Enterprise Applications using Legacy Load Data — A HIS Case Study (MM), pp. 151–156.
CIKMCIKM-2013-LuoWYH #evaluation #multi
The water filling model and the cube test: multi-dimensional evaluation for professional search (JL, CW, HY, MAH), pp. 709–714.
SEKESEKE-2013-AbdouGK #open source #process #testing
Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKESEKE-2013-Alegroth #concept #proving #random #testing #user interface #visual notation
Random Visual GUI Testing: Proof of Concept (EA), pp. 178–183.
SEKESEKE-2013-CarvalhoNM #exception #testing
Structural Testing of Exceptions Handling (S) (LAFC, VdON, PCM), pp. 206–209.
SEKESEKE-2013-FerreiraVQ #approach #product line #testing
A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKESEKE-2013-Lacanienta0TO #approach #generative #knowledge-based #web
A Knowledge-based Approach for Generating Test Scenarios for Web Applications (RL, ST, HT, MO), pp. 166–171.
SEKESEKE-2013-LiLY #fault #locality #testing
Exploiting Weights of Test Cases to Enhance Fault Localization (S) (YL, CL, ZY), pp. 589–593.
SEKESEKE-2013-NetoMGA #effectiveness #product line #testing
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (S) (CRLN, IdCM, VCG, ESdA), pp. 584–588.
SEKESEKE-2013-NevesDMMW #testing
Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
SEKESEKE-2013-NishiuraMWH #analysis #mutation testing #testing
Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
SEKESEKE-2013-QiHW #combinator #concurrent #source code #testing
A Mixed-way Combinatorial Testing for Concurrent Programs (S) (XQ, JH, PW), pp. 699–702.
SEKESEKE-2013-SouzaFV #information management #testing
Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKESEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #testing #using
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SEKESEKE-2013-WangGZZX #array #combinator #generative #interactive #testing
Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
SEKESEKE-2013-YuYLC #empirical #testing #web
An Empirical Study of an Improved Web Application Fuzz Testing Technique (S) (LY, ZY, CL, FC), pp. 400–404.
SEKESEKE-2013-ZouFCZZ #hybrid #test coverage #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIRSIGIR-2013-BalogN
A test collection for entity search in DBpedia (KB, RN), pp. 737–740.
SIGIRSIGIR-2013-BerendsenTWR #microblog #pseudo
Pseudo test collections for training and tuning microblog rankers (RB, MT, WW, MdR), pp. 53–62.
SIGIRSIGIR-2013-Ekstrand-AbuegPA #automation
Live nuggets extractor: a semi-automated system for text extraction and test collection creation (MEA, VP, JAA), pp. 1087–1088.
SIGIRSIGIR-2013-LeeC #social #social media #using #web
Building a web test collection using social media (CJL, WBC), pp. 757–760.
SIGIRSIGIR-2013-Soboroff #evaluation #interactive #student #tutorial
Building test collections: an interactive tutorial for students and others without their own evaluation conference series (IS), p. 1132.
SIGIRSIGIR-2013-UrbanoMM #metric #on the #reliability
On the measurement of test collection reliability (JU, MM, DM), pp. 393–402.
SIGIRSIGIR-2013-UrbanoMM13a #comparison #evaluation #information retrieval #statistics #testing
A comparison of the optimality of statistical significance tests for information retrieval evaluation (JU, MM, DM), pp. 925–928.
SIGIRSIGIR-2013-WebberBLO #classification #effectiveness #evaluation #testing
Sequential testing in classifier evaluation yields biased estimates of effectiveness (WW, MB, DDL, DWO), pp. 933–936.
SKYSKY-2013-ExmanK #anti #network #recommendation #social
An Anti-Turing Test: Social Network Friends’ Recommendations (IE, AK), pp. 55–61.
AMTAMT-2013-CalegariD #qvt #testing
Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
AMTAMT-2013-FinotMSD #metamodelling #testing #using
Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.
AMTAMT-2013-MatragkasKPZ #approach #model transformation #testing
A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMTAMT-2013-TisoRL #model-to-text #testing
A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.
ECMFAECMFA-2013-AmbertBLLP #approach #modelling #testing
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.
ECMFAECMFA-2013-KholkarYTDS #experience #industrial #modelling #process #testing
Experience with Industrial Adoption of Business Process Models for User Acceptance Testing (DK, PY, HT, AD, AS), pp. 192–206.
ICMTICMT-2013-FinotMSA #model transformation #testing
Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMTICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
ICMTICMT-2013-WieberS #approach #graph transformation #testing
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
MODELSMoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml
An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
MODELSMoDELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using
Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
MODELSMoDELS-2013-WimmerB #testing
Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
MODELSMoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml
An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
MODELSMoDELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using
Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
MODELSMoDELS-2013-WimmerB #testing
Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
ECOOPECOOP-2013-GligoricBLOHM #refactoring #testing
Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
ECOOPECOOP-2013-HaoLZG0 #debugging #question
Is This a Bug or an Obsolete Test? (DH, TL, HZ, CG, LZ), pp. 602–628.
OOPSLAOOPSLA-2013-AzimN #android #testing
Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
OOPSLAOOPSLA-2013-ChoiNS #android #approximate #learning #testing #user interface
Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.
GPCEGPCE-2013-AnKGTS #automation #framework #generative #in the cloud #modelling #performance #testing
Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
PPDPPPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
RERE-2013-HesariBY #challenge #framework #generative #industrial #testing #towards
Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
SACSAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing
Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SACSAC-2013-FuriaMOTW #automation #random testing #testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SACSAC-2013-HeckelerSK #component #execution #robust #testing #using
Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SACSAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #parallel #random testing #testing
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.
SACSAC-2013-MaalejKJ #composition #consistency #named #testing
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SACSAC-2013-PapadakisT #classification #mutation testing #testing #using
Mutation testing strategies using mutant classification (MP, YLT), pp. 1223–1229.
SACSAC-2013-RabanalR #metaheuristic #polynomial #problem #reduction #using
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems (PR, IR), pp. 194–199.
SACSAC-2013-SantosGFN0 #case study
Test-based SPL extraction: an exploratory study (ARS, FNG, EF, PdAdSN, JA), pp. 1031–1036.
SACSAC-2013-SunGYFC #multi #testing #user interface
Multi-objective test case prioritization for GUI applications (WS, ZG, WY, CF, ZC), pp. 1074–1079.
SACSAC-2013-ZiftciK #requirements #semantics #testing #traceability
Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.
ESEC-FSEESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSEESEC-FSE-2013-BohmeOR #fault #interactive #testing
Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSEESEC-FSE-2013-CostaVCL #generative #modelling #named
RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.
ESEC-FSEESEC-FSE-2013-FarzanHRV #testing
Con2colic testing (AF, AH, NR, HV), pp. 37–47.
ESEC-FSEESEC-FSE-2013-GambiFD #refinement #testing
Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSEESEC-FSE-2013-JaffarMN #testing
Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
ESEC-FSEESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web
Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSEESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ESEC-FSEESEC-FSE-2013-MarinescuC #named #testing
KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSEESEC-FSE-2013-MusluBM #debugging #testing
Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
ESEC-FSEESEC-FSE-2013-Nori0 #proving #termination #testing
Termination proofs from tests (AVN, RS), pp. 246–256.
ESEC-FSEESEC-FSE-2013-PetkeYCH #combinator #detection #fault #interactive #performance #testing
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (JP, SY, MBC, MH), pp. 26–36.
ESEC-FSEESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ICSEICSE-2013-BlueSTZ #testing
Interaction-based test-suite minimization (DB, IS, RTB, AZ), pp. 182–191.
ICSEICSE-2013-BounimovaGM #constraints #testing
Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
ICSEICSE-2013-CotroneoPR #testing
A learning-based method for combining testing techniques (DC, RP, SR), pp. 142–151.
ICSEICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSEICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSEICSE-2013-HauptmannJEHVB #natural language #smell #testing
Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSEICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards
Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSEICSE-2013-JanzenCH #evaluation #interactive #testing
An evaluation of interactive test-driven labs with WebIDE in CS0 (DSJ, JC, MH), pp. 1090–1098.
ICSEICSE-2013-Kuhn #interactive #live programming #on the #programming #testing
On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSEICSE-2013-MalikHH #automation #detection #performance #scalability #testing
Automatic detection of performance deviations in the load testing of large scale systems (HM, HH, AEH), pp. 1012–1021.
ICSEICSE-2013-MemonC #automation #modelling #testing #tool support #user interface
Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSEICSE-2013-NetoCLGM #approach #named #problem #programming #student #testing
POPT: a problem-oriented programming and testing approach for novice students (VLN, RC, LL, DSG, APM), pp. 1099–1108.
ICSEICSE-2013-PhamSLFS #comprehension #social #testing
Creating a shared understanding of testing culture on a social coding site (RP, LS, OL, FMFF, KS), pp. 112–121.
ICSEICSE-2013-PhamSS #commit #social #testing
Building test suites in social coding sites by leveraging drive-by commits (RP, LS, KS), pp. 1209–1212.
ICSEICSE-2013-PintoSO #evolution #named #testing
TestEvol: a tool for analyzing test-suite evolution (LSP, SS, AO), pp. 1303–1306.
ICSEICSE-2013-PradelG #automation #concurrent #testing
Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSEICSE-2013-SukkerdBWZB #comprehension
Understanding regression failures through test-passing and test-failing code changes (RS, IB, JW, SZ, YB), pp. 1177–1180.
ICSEICSE-2013-SwearnginCJB #performance #testing
Human performance regression testing (AS, MBC, BEJ, RKEB), pp. 152–161.
ICSEICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing
Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSEICSE-2013-ThummalapentaLSSC #generative #testing #web
Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
ICSEICSE-2013-Yu #framework #testing
An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSEICSE-2013-Zhang #semantics
Practical semantic test simplification (SZ), pp. 1173–1176.
ICSEICSE-2013-ZhangH0RM #testing
Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
PLEASEPLEASE-2013-DukaczewskiSLL #testing
Requirements-based delta-oriented SPL testing (MD, IS, RL, ML), pp. 49–52.
PLEASEPLEASE-2013-PatelGS #feature model #interactive #testing #variability
Feature interaction testing of variability intensive systems (SP, PG, VS), pp. 53–56.
SPLCSPLC-2013-HenardPPKT #generative #multi #product line #testing
Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLCSPLC-2013-MarijanGSH #product line #testing
Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
SPLCSPLC-2013-XuCMR #product line #testing
Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
ICLPICLP-J-2013-AlbertBGRS #generative #testing
A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
ICSTICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
ICSTICST-2013-AfshanMS #evolution #natural language #string #testing #using
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
ICSTICST-2013-AlegrothFO #automation #case study #industrial #testing
Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.
ICSTICST-2013-AlegrothNO #automation #named #testing
JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICSTICST-2013-AliYB #empirical #quality #robust #state machine #testing
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.
ICSTICST-2013-ArafeenD #clustering #testing #using
Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.
ICSTICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICSTICST-2013-Bauersfeld #named #testing #user interface #visual notation
GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.
ICSTICST-2013-BertolinoBDKLM #design #policy #testing
A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.
ICSTICST-2013-BlomeOLPD #flexibility #modelling #named #testing
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ICSTICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling #testing
Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.
ICSTICST-2013-Buchler #security #testing
Security Testing with Fault-Models and Properties (MB), pp. 501–502.
ICSTICST-2013-CalvagnaGV #combinator #interactive #testing
Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.
ICSTICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #testing #user interface
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.
ICSTICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing
Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICSTICST-2013-CraciunML #modelling #testing #towards
Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
ICSTICST-2013-DadeauCLTVBT #evaluation #generative #testing
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
ICSTICST-2013-DolstraVP #crowdsourcing #testing #user interface
Crowdsourcing GUI Tests (ED, RV, JAP), pp. 332–341.
ICSTICST-2013-ErikssonLO #empirical #framework #independence #testing
Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICSTICST-2013-FarooqQA #effectiveness #empirical #performance #testing
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICSTICST-2013-FraserA #challenge #generative #named #testing
EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICSTICST-2013-Gauthier #generative #modelling #research #testing
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICSTICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ICSTICST-2013-GrechanikHB #database #testing
Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.
ICSTICST-2013-GreilerDS #automation #detection #smell
Automated Detection of Test Fixture Strategies and Smells (MG, AvD, MADS), pp. 322–331.
ICSTICST-2013-HongSAKR #concurrent #effectiveness #metric #testing
The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
ICSTICST-2013-IchidaSO #testing
A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.
ICSTICST-2013-KapfhammerMW #constraints #database #multi #relational #search-based #testing
Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems (GMK, PM, CJW), pp. 31–40.
ICSTICST-2013-LegeardB #enterprise #modelling #testing
Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.
ICSTICST-2013-Lelli #challenge #interactive #testing
Challenges of Testing for Critical Interactive Systems (VL), pp. 509–510.
ICSTICST-2013-LeottaCRS #case study #industrial #locality #testing #web
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.
ICSTICST-2013-LuchscheiderHG #named #testing
CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.
ICSTICST-2013-MeinkeS #named #testing
LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICSTICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing
Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ICSTICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICSTICST-2013-MunetohY #agile #development #framework #named #security #testing
RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICSTICST-2013-NardoABL #case study #industrial #testing
Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.
ICSTICST-2013-PezzeRW #effectiveness #generative #integration #testing
Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICSTICST-2013-Roper #fault #testing
Estimating Fault Numbers Remaining After Testing (MR), pp. 272–281.
ICSTICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICSTICST-2013-SteenbuckF #concurrent #generative #testing
Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICSTICST-2013-TangHYW #metric #quality #using
Test Quality Measurement Using TBPP-R (JT, RH, JY, SW), pp. 48–55.
ICSTICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
ICSTICST-2013-UrataK #diagrams #testing #visualisation
Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.
ICSTICST-2013-Vernotte #modelling #research #testing #web
Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.
ICSTICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICSTICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
ICSTICST-2013-YuLKK #combinator #generative #named #testing
ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICSTICST-2013-YuQAR #testing
Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.
ICTSSICTSS-2013-BadriBF #case study #empirical #predict #testing
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.
ICTSSICTSS-2013-DavidLMNR #specification #testing
Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
ICTSSICTSS-2013-EnoiuSP #diagrams #logic #testing #using
Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.
ICTSSICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
ICTSSICTSS-2013-FengLMNSW #case study #testing
Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.
ICTSSICTSS-2013-GastonHG #distributed #framework #implementation
An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
ICTSSICTSS-2013-GuoQ #automation #generative #grammarware #testing
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ICTSSICTSS-2013-GuttingerKKW #reduction #testing
Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
ICTSSICTSS-2013-HuangP #equivalence #modelling #testing
Exhaustive Model-Based Equivalence Class Testing (WlH, JP), pp. 49–64.
ICTSSICTSS-2013-LeonHL #concurrent #consistency #testing
Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
ICTSSICTSS-2013-MauserKH #programming #towards #user interface #using
Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.
ICTSSICTSS-2013-SchrammelMK #testing
Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.
ICTSSICTSS-2013-StepienP #challenge #testing #using
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.
ISSTAISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread
Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTAISSTA-2013-Buda #database #generative #testing #using
Generation of test databases using sampling methods (TSB), pp. 366–369.
ISSTAISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface
Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
ISSTAISSTA-2013-FraserSMAP #automation #generative #question #testing
Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTAISSTA-2013-Ghaith #analysis #performance #testing #transaction
Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.
ISSTAISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTAISSTA-2013-GligoricZPP #concurrent #mutation testing #testing
Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
ISSTAISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
ISSTAISSTA-2013-HanazumiM #generative #java #source code
Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
ISSTAISSTA-2013-JensenPM #automation #generative #sequence #testing
Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTAISSTA-2013-KifetewPLOT #generative #orthogonal #testing
Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
ISSTAISSTA-2013-TrippWG #approach #learning #security #testing #web
Finding your way in the testing jungle: a learning approach to web security testing (OT, OW, LG), pp. 347–357.
ISSTAISSTA-2013-TsankovDB #testing
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ISSTAISSTA-2013-YuSR #automation #framework #named #testing
SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
ISSTAISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing
Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
TAPTAP-2013-AichernigJK #generative #incremental #refinement #testing
Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAPTAP-2013-AichernigLN #automaton #modelling #mutation testing #testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
TAPTAP-2013-ArthoBS #modelling #testing #verification
Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.
TAPTAP-2013-BeckertB0 #metric #testing #verification
A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.
TAPTAP-2013-BruckerFNW #case study #generative
Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
TAPTAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing
Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
QoSAQoSA-2012-YuHSHV #deployment #enterprise #testing
A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
WICSA-ECSAWICSA-ECSA-2012-Al-AzzaniB #architecture #evaluation #named #security #testing
SecArch: Architecture-level Evaluation and Testing for Security (SAA, RB), pp. 51–60.
ASEASE-2012-AmalfitanoFTCM #android #automation #testing #user interface #using
Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.
ASEASE-2012-BauersfeldV #automation #java #library #named #robust #testing #user interface
GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASEASE-2012-CamposRPA #debugging #eclipse #named #plugin #testing
GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.
ASEASE-2012-ChenK #automation #testing
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.
ASEASE-2012-DosingerMB #automation #communication #effectiveness #integration #testing
Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
ASEASE-2012-HwangXKMT #evolution #policy #security #testing
Selection of regression system tests for security policy evolution (JH, TX, DEK, TM, YLT), pp. 266–269.
ASEASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using
Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
ASEASE-2012-LedruVTB #testing #traceability
Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.
ASEASE-2012-LuciaLJB #evolution #named #source code #testing
kbe-anonymity: test data anonymization for evolving programs (L, DL, LJ, AB), pp. 262–265.
ASEASE-2012-Nogueira #complexity #predict #testing
Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.
CASECASE-2012-ChenK #polynomial #probability
Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.
CASECASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
CASECASE-2012-ParkYJCCKR #automation #flexibility
A point-of-care test equipment for flexible laboratory automation (JP, WSY, SMJ, HRC, WKC, JK, SR), pp. 821–822.
DACDAC-2012-HuangLTCSCK #3d #testing
Small delay testing for TSVs in 3-D ICs (SYH, YHL, KHT, WTC, SKS, YFC, DMK), pp. 1031–1036.
DACDAC-2012-HuangYCL #case study #industrial
Alternate hammering test for application-specific DRAMs and an industrial case study (RFH, HYY, MCTC, SCL), pp. 1012–1017.
DACDAC-2012-LionelPSE #monitoring #statistics #testing
Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DACDAC-2012-WangPYLKB #optimisation #testing
Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.
DACDAC-2012-YeC #3d #fault
TSV open defects in 3D integrated circuits: characterization, test, and optimal spare allocation (FY, KC), pp. 1024–1030.
DATEDATE-2012-AbdallahSMA #testing
Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
DATEDATE-2012-ChangCM #analysis
RTL analysis and modifications for improving at-speed test (KHC, HZC, ILM), pp. 400–405.
DATEDATE-2012-DasKSV #design #encryption #testing
PUF-based secure test wrapper design for cryptographic SoC testing (AD, ÜK, ARS, IV), pp. 866–869.
DATEDATE-2012-JongheMGMTS #modelling #roadmap #testing #verification
Advances in variation-aware modeling, verification, and testing of analog ICs (DdJ, EM, GGEG, TM, BT, HGDS), pp. 1615–1620.
DATEDATE-2012-KarimiCGP #fault #generative #testing
Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATEDATE-2012-KimA #interface
On-chip source synchronous interface timing test scheme with calibration (HK, JAA), pp. 1146–1149.
DATEDATE-2012-Marinissen #2d #3d #challenge #testing
Challenges and emerging solutions in testing TSV-based 2 1 over 2D- and 3D-stacked ICs (EJM), pp. 1277–1282.
DATEDATE-2012-MeissnerMLH #framework #graph #morphism #performance #synthesis #testing
Fast isomorphism testing for a graph-based analog circuit synthesis framework (MM, OM, LL, LH), pp. 757–762.
DATEDATE-2012-MillerVG #automation #cyber-physical #mockup #named #testing #using
MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups (BM, FV, TG), pp. 1417–1420.
DATEDATE-2012-NicolaidisAZZKBTLTRKKDA #design #reliability
Design for test and reliability in ultimate CMOS (MN, LA, NEZ, YZ, TK, KAB, JT, SLL, CT, AR, MMK, JK, VD, DA), pp. 677–682.
DATEDATE-2012-PellegriniSCFHJAAB #evaluation
CrashTest’ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions (AP, RS, LC, XF, SKSH, JJ, SVA, TMA, VB), pp. 1106–1109.
DATEDATE-2012-PeranandamRSYGR #generative #modelling #testing
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
DATEDATE-2012-QinM #automation #generative #protocol #testing
Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATEDATE-2012-RichterC #manycore #reduction
Test pin count reduction for NoC-based Test delivery in multicore SOCs (MR, KC), pp. 787–792.
DATEDATE-2012-SabenaRS #algorithm #testing
A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
DATEDATE-2012-SinghNL #generative #smt #testing
Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
DATEDATE-2012-VeljkovicRV #generative #implementation #low cost #on the fly #random #testing
Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.
DATEDATE-2012-ZhaCL #fault #memory management #modelling #testing
Modeling and testing of interference faults in the nano NAND Flash memory (JZ, XC, CLL), pp. 527–531.
PODSPODS-2012-IndykLR #approximate #testing
Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
CSEETCSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSEITiCSE-2012-BuffardiE #agile #development #student #testing
Exploring influences on student adherence to test-driven development (KB, SHE), pp. 105–110.
ITiCSEITiCSE-2012-HiltonJ #array #education #learning #on the #testing
On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
ITiCSEITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing
SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ITiCSEITiCSE-2012-SalzerHY #testing
The scientific method and software testing integrated into the same lesson (HTS, BH, CY), p. 385.
ESOPESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming
Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
FASEFASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using
Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
FASEFASE-2012-StaatsGWH #generative #on the #testing
On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
FASEFASE-2012-TrikiLBDB #combinator #modelling #testing
Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.
FASEFASE-2012-UsaolaML #reduction #testing #using
Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.
FoSSaCSFoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
WRLAWRLA-2012-Riesco #maude #specification #using
Using Narrowing to Test Maude Specifications (AR), pp. 201–220.
CSMRCSMR-2012-HurdugaciZ #developer #maintenance #testing
Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.
CSMRCSMR-2012-IslamMSS #multi #semantics #testing
A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing (MMI, AM, AS, GS), pp. 21–30.
CSMRCSMR-2012-SoetensD #named #optimisation
ChEOPSJ: Change-Based Test Optimization (QDS, SD), pp. 535–538.
CSMRCSMR-2012-TollO #game studies #question #why
Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.
ICPCICPC-2012-HauptmannJEJV #clone detection #comprehension #detection #question
Can clone detection support test comprehension? (BH, MJ, SE, EJ, RV), pp. 209–218.
ICSMEICSM-2012-AmalfitanoFTCI #android #testing #tool support #user interface
A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
ICSMEICSM-2012-BavotaQOLB #analysis #empirical #maintenance #smell #testing
An empirical analysis of the distribution of unit test smells and their impact on software maintenance (GB, AQ, RO, ADL, DB), pp. 56–65.
ICSMEICSM-2012-BeszedesGSJLG #test coverage #testing
Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.
ICSMEICSM-2012-IslamMSKS #algorithm #named #search-based #semantics #sorting #testing
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.
ICSMEICSM-2012-MateoU #framework #java #mutation testing #named #quality #testing
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.
ICSMEICSM-2012-QuAR #impact analysis #testing #using
Configuration selection using code change impact analysis for regression testing (XQ, MA, BR), pp. 129–138.
ICSMEICSM-2012-RachatasumritK #empirical #refactoring #testing
An empirical investigation into the impact of refactoring on regression testing (NR, MK), pp. 357–366.
ICSMEICSM-2012-SuttonZ #c++ #library #testing
Testing C++ generic libraries (AS, MZ), pp. 36–45.
MSRMSR-2012-NguyenK #api #mutation testing #testing
Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
SCAMSCAM-2012-Xie #analysis #testing
Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
WCREWCRE-2012-NegaraS #automation #javascript #testing #web
Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
WCREWCRE-2012-VonkenZ #question #refactoring #testing
Refactoring with Unit Testing: A Match Made in Heaven? (FV, AZ), pp. 29–38.
WCREWCRE-2012-ZiftciK #data mining #feature model #mining #using
Feature Location Using Data Mining on Existing Test-Cases (CZ, IK), pp. 155–164.
PLDIPLDI-2012-LeungGAGJL #gpu #kernel #verification
Verifying GPU kernels by test amplification (AL, MG, YA, RG, RJ, SL), pp. 383–394.
PLDIPLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing
Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
STOCSTOC-2012-Ajtai #nondeterminism #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOCSTOC-2012-ForbesS #on the #rank #testing
On identity testing of tensors, low-rank recovery and compressed sensing (MAF, AS), pp. 163–172.
STOCSTOC-2012-GroheM #graph #morphism #theorem
Structure theorem and isomorphism test for graphs with excluded topological subgraphs (MG, DM), pp. 173–192.
ICALPICALP-v1-2012-BabaiCQ #morphism #polynomial
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.
ICALPICALP-v1-2012-ChakrabartyH #testing
Testing Coverage Functions (DC, ZH), pp. 170–181.
ICALPICALP-v1-2012-LeviRR #testing
Testing Similar Means (RL, DR, RR), pp. 629–640.
ICALPICALP-v2-2012-GellesOW #multi #proximity #similarity #testing
Multiparty Proximity Testing with Dishonest Majority from Equality Testing (RG, RO, KW), pp. 537–548.
LATALATA-2012-ArvindV #morphism #testing
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
FMFM-2012-ChristakisMW #collaboration #testing #verification
Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.
FMFM-2012-HieronsMN #distributed #order #testing #using
Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
FMFM-2012-MinamideM #analysis #html #parsing #reachability #specification #testing
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.
FMFM-2012-YangKK #formal method #lightweight #using
Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
IFMIFM-2012-AndradeFLP #generative #java #testing
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
SEFMSEFM-2012-DranidisBI #automation #generative #named #testing
JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFMSEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
SFMSFM-2012-VallecilloGBWH #model transformation #specification #testing
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMTGT-VMT-2012-ArifulinaSE #specification #test coverage #testing
Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
GT-VMTGT-VMT-2012-KhanRH #contract #testing #visual notation
Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGTICGT-2012-KhanRH #contract #modelling #testing #visual notation
Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
CHICHI-2012-BrehmerMTJ #testing
Investigating interruptions in the context of computerised cognitive testing for older adults (MB, JM, CT, CJ), pp. 2649–2658.
CHICHI-2012-BruunS #testing #usability
The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.
HILTHILT-2012-Kanig #ada #testing #verification
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
CAiSECAiSE-2012-EnsanBG #feature model #generative #modelling #product line #search-based #testing
Evolutionary Search-Based Test Generation for Software Product Line Feature Models (FE, EB, DG), pp. 613–628.
ICEISICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
ICEISICEIS-v2-2012-AbdallahR #embedded #performance #testing
Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICEISICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #testing #using
Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
CIKMCIKM-2012-RajputEPA #documentation
Constructing test collections by inferring document relevance via extracted relevant information (SR, MEA, VP, JAA), pp. 145–154.
CIKMCIKM-2012-WangZLL #categorisation #feature model
Feature selection based on term frequency and T-test for text categorization (DW, HZ, RL, WL), pp. 1482–1486.
ICMLICML-2012-BachrachGMG #adaptation #crowdsourcing #how #testing #visual notation
How To Grade a Test Without Knowing the Answers — A Bayesian Graphical Model for Adaptive Crowdsourcing and Aptitude Testing (YB, TG, TM, JG), p. 108.
ICMLICML-2012-FedorovaGNV #online #plugin #testing
Plug-in martingales for testing exchangeability on-line (VF, AJG, IN, VV), p. 121.
ICMLICML-2012-SejdinovicGSF #kernel #testing #using
Hypothesis testing using pairwise distances and associated kernels (DS, AG, BKS, KF), p. 104.
ICMLICML-2012-XuWC #learning
The Greedy Miser: Learning under Test-time Budgets (ZEX, KQW, OC), p. 169.
ICPRICPR-2012-Berrar #classification #comparison #null #testing #visual notation
Null QQ plots: A simple graphical alternative to significance testing for the comparison of classifiers (DPB), pp. 1852–1855.
ICPRICPR-2012-TangS #independence #learning #network #performance #testing #using
Efficient and accurate learning of Bayesian networks using chi-squared independence tests (YT, SNS), pp. 2723–2726.
KDDKDD-2012-KawaleCOSLK #testing
Testing the significance of spatio-temporal teleconnection patterns (JK, SC, DO, KS, SL, VK), pp. 642–650.
KRKR-2012-OetschPPST #on the #source code #testing
On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
MLDMMLDM-2012-LeiteBV #algorithm #classification #testing
Selecting Classification Algorithms with Active Testing (RL, PB, JV), pp. 117–131.
SEKESEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service
Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
SEKESEKE-2012-CostaCORSZ #generative #modelling #performance #testing
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
SEKESEKE-2012-DingX #case study #modelling #testing
Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
SEKESEKE-2012-LiuLLGCYL #automation #execution #parallel #testing
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKESEKE-2012-MaarabaniAC #policy #security #testing
Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
SEKESEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SEKESEKE-2012-MiaoCLZZ #clustering #correctness #fault #identification #locality #testing
Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases (YM, ZC, SL, ZZ, YZ), pp. 267–272.
SEKESEKE-2012-NetoBSACR #fuzzy #testing
Regression Testing Prioritization Based on Fuzzy Inference Systems (PSN, RB, TS, WA, JC, RALR), pp. 273–278.
SEKESEKE-2012-NetoNAM #product line #testing #tool support
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKESEKE-2012-SunLTZ #impact analysis #testing #using
Using FCA-based Change Impact Analysis for Regression Testing (XS, BL, CT, QZ), pp. 452–457.
SEKESEKE-2012-XuT #automation #concurrent #generative
Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SEKESEKE-2012-ZhangCGZSC #named #reduction #requirements #testing
CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.
AMTAMT-2012-SelimCD #model transformation #state of the art #testing
Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMTAMT-2012-TisoRL #case study #experience #model transformation #testing
Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
ECMFAECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
ECMFAECMFA-2012-ElaasarL #case study #process #testing
Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
ECMFAECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
ICMTICMT-2012-Guerra #generative #model transformation #testing
Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMTICMT-2012-SenMTC #model transformation #modelling #using
Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.
MODELSMoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
MODELSMoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
MODELSMoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
MODELSMoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
TOOLSTOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named #testing
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
OOPSLAOOPSLA-2012-YuNPP #named #parallel #source code #testing #thread
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLATEAUPLATEAU-2012-SpinellisKL #comparative #programming language #testing
Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
TOOLSTOOLS-EUROPE-2012-GreilerDZ #comprehension #similarity #testing
Measuring Test Case Similarity to Support Test Suite Understanding (MG, AvD, AZ), pp. 91–107.
LOPSTRLOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing
A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
POPLPOPL-2012-NaikYCS #abstraction #testing
Abstractions from tests (MN, HY, GC, MS), pp. 373–386.
SACSAC-2012-CasadoTY #reliability #testing #transaction #web #web service
Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SACSAC-2012-Longuet #sequence chart #testing
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SACSAC-2012-MajchrzakS #agile #development #testing #using #web
Using spring Roo for the test-driven development of Web applications (TAM, AS), pp. 664–671.
SACSAC-2012-NathML #classification #fault #on the #testing
On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SACSAC-2012-NguyenPZ #consistency #testing
Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
SACSAC-2012-OongI #classification #fuzzy #learning #multi #performance #testing
Multilayer Fuzzy ARTMAP: fast learning and fast testing for pattern classification (THO, NAMI), pp. 27–32.
SACSAC-2012-UkimotoDO #resource management #testing
Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
FSEFSE-2012-AnandNHY #automation #smarttech #testing
Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
FSEFSE-2012-GabelS #specification #testing
Testing mined specifications (MG, ZS), p. 4.
FSEFSE-2012-PintoSO #comprehension #evolution #testing
Understanding myths and realities of test-suite evolution (LSP, SS, AO), p. 33.
FSEFSE-2012-ThummalapentaSDSCDM #testing
Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
FSEFSE-2012-Torlak #generative #modelling #multi #scalability #testing
Scalable test data generation from multidimensional models (ET), p. 36.
FSEFSE-2012-ZaeemK #generative #programming #using
Test input generation using dynamic programming (RNZ, SK), p. 34.
ICSEICSE-2012-AlshahwanH #effectiveness #testing
Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
ICSEICSE-2012-Avancini #research #security #testing #web
Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSEICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing
An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
ICSEICSE-2012-Cowling #education #testing
Stages in teaching software testing (TC), pp. 1185–1194.
ICSEICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech
Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.
ICSEICSE-2012-Elyasov #testing
Log-based testing (AE), pp. 1591–1594.
ICSEICSE-2012-Estefo #testing
Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.
ICSEICSE-2012-FraserA #empirical #testing
Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSEICSE-2012-GrechanikFX #automation #learning #performance #problem #testing
Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSEICSE-2012-GreilerDS #case study #plugin #testing
Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSEICSE-2012-GrossFZ #named #search-based #testing #user interface
EXSYST: Search-based GUI testing (FG, GF, AZ), pp. 1423–1426.
ICSEICSE-2012-HaoZWMR #on-demand #reduction #testing
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
ICSEICSE-2012-KimKKJ #approach #case study #industrial #testing #using
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
ICSEICSE-2012-LemosFSG #agile #assessment #development #empirical #programming
Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (OALL, FCF, FFS, AG), pp. 529–539.
ICSEICSE-2012-MarinescuC #execution #symbolic computation #testing
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
ICSEICSE-2012-Mayerhofer #debugging #modelling #testing #uml
Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSEICSE-2012-Penix #automation #in the cloud #industrial #scalability #testing
Large-scale test automation in the cloud (Invited industrial talk) (JP), p. 1122.
ICSEICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ICSEICSE-2012-RubinovW #automation #testing
Augmenting test suites automatically (KR, JW), pp. 1433–1434.
ICSEICSE-2012-SegallT #combinator #interactive #refinement #testing
Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
ICSEICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
ICSEICSE-2012-ThummalapentaSSC #automation #testing
Automating test automation (ST, SS, NS, SC), pp. 881–891.
ICSEICSE-2012-ZhangE #exception #testing #validation
Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
PLEASEPLEASE-2012-LityLSG #modelling #testing
Delta-oriented model-based SPL regression testing (SL, ML, IS, UG), pp. 53–56.
PLEASEPLEASE-2012-ShimbaraWKKO #testing
Feature-analysis-based selection method for system configuration for system testing (DS, HW, SK, MK, HO), pp. 61–64.
SPLCSPLC-2012-HeiderRGL #impact analysis #modelling #testing #using #variability
Using regression testing to analyze the impact of changes to variability models on products (WH, RR, PG, DL), pp. 196–205.
SPLCSPLC-2012-LeeKL #bibliography #product line #testing
A survey on software product line testing (JL, SK, DL), pp. 31–40.
ASPLOSASPLOS-2012-MartignoniMPSM #testing
Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
OSDIOSDI-2012-RenzelmannKS #named #testing
SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
PPoPPPPoPP-2012-LiLSGGR #generative #named #testing #verification
GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
ICLPICLP-2012-AlbertAG #concurrent #testing #towards
Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.
ICLPICLP-2012-BanbaraTI #generative #matrix #programming #testing
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICSTICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICSTICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICSTICST-2012-BallanceVJ #effectiveness #testing
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICSTICST-2012-BertolinoDLM #automation #generative #policy #testing
Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICSTICST-2012-BeyeneA #generative #string #test coverage #testing
Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICSTICST-2012-BlancoTS #approach #evaluation #interactive #test coverage #testing
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
ICSTICST-2012-BorazjanyYLKK #case study #combinator #testing
Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.
ICSTICST-2012-Borjesson #automation #industrial #testing #user interface #visual notation
Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.
ICSTICST-2012-BorjessonF #automation #case study #comparative #industrial #testing #tool support #user interface #using #visual notation
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry (EB, RF), pp. 350–359.
ICSTICST-2012-BuchlerOP #named #testing #web
SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
ICSTICST-2012-CadavidBS #bound #metamodelling #modelling
Searching the Boundaries of a Modeling Space to Test Metamodels (JJC, BB, HAS), pp. 131–140.
ICSTICST-2012-CaliebeHG #dependence #embedded #testing
Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICSTICST-2012-ChenLYS #question #testing #user interface #what
When a GUI Regression Test Failed, What Should be Blamed? (JC, ML, KY, BS), pp. 467–470.
ICSTICST-2012-ChoudharyDBJOI #challenge #internet #modelling #security #testing
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (SC, MED, GvB, GVJ, IVO, PI), pp. 850–857.
ICSTICST-2012-ChrzaszczCST #evolution #protocol #testing
Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
ICSTICST-2012-CunninghamHH #analysis #combinator #testing
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment (AMCJ, JDH, RJH), pp. 630–635.
ICSTICST-2012-DanH12a #c #mutation testing #named #semantics #testing #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICSTICST-2012-DelamareK #algorithm #aspect-oriented #integration #order #search-based
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems (RD, NAK), pp. 804–813.
ICSTICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
ICSTICST-2012-DustmannSW #distributed #testing
Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICSTICST-2012-EldhS #case study #challenge #industrial #mobile #robust #testing
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges (SE, DS), pp. 895–900.
ICSTICST-2012-ElrakaibyMT #analysis #mutation testing #policy #testing #using
Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.
ICSTICST-2012-EnderlinDGB #grammarware #php #testing #using
Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICSTICST-2012-EndoS #comparison #finite #generative #state machine #testing
Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICSTICST-2012-FangKDO #formal method #manycore #modelling
Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
ICSTICST-2012-FilhoB #approach #modelling #testing
An Integrated Model-Driven Approach for Mechatronic Systems Testing (RSSF, CJB), pp. 447–456.
ICSTICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICSTICST-2012-FraserA #search-based #testing
The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.
ICSTICST-2012-FraserW #behaviour #testing
Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICSTICST-2012-GansR #protocol #smarttech #testing
The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.
ICSTICST-2012-GargantiniV #combinator #interactive #named #testing
CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.
ICSTICST-2012-GargD #database #testing #web
Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICSTICST-2012-GhandehariLXKK #combinator #identification #testing
Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICSTICST-2012-GuoSC #analysis #clustering #testing
Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.
ICSTICST-2012-JollyGE #automation #case study #industrial #research #testing
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
ICSTICST-2012-JuzgadoVSAR #abstraction #branch #clustering #effectiveness #equivalence #testing
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects (NJJ, SV, MS, SA, IR), pp. 330–339.
ICSTICST-2012-Kapfhammer #database #testing #towards
Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.
ICSTICST-2012-KauffmanK #framework #industrial #research #testing
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.
ICSTICST-2012-KheddamAP
An Extended LLRP Model for RFID System Test and Diagnosis (RK, OEKA, IP), pp. 529–538.
ICSTICST-2012-KimKJ #case study #embedded #industrial #testing
Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICSTICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability #testing
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
ICSTICST-2012-KruseBW #combinator #constraints #interactive #testing
Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.
ICSTICST-2012-KruseW #classification #generative #sequence #testing
Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICSTICST-2012-KuhnHLKL #combinator #sequence #testing
Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICSTICST-2012-Li #automation #testing
A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
ICSTICST-2012-LiLO #algorithm #cost analysis
Better Algorithms to Minimize the Cost of Test Paths (NL, FL, JO), pp. 280–289.
ICSTICST-2012-MalzJG #fuzzy #logic #testing #using
Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.
ICSTICST-2012-MarbackDE #approach #effectiveness #php #testing #web
An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.
ICSTICST-2012-MarianiPRS #automation #black box #interactive #named #testing
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ICSTICST-2012-MassicotteCNM #analysis #testing
A Testing Model for Dynamic Malware Analysis Systems (FM, MC, HN, FM), pp. 826–833.
ICSTICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
ICSTICST-2012-MeiraATS #peer-to-peer #testing
Peer-to-Peer Load Testing (JAM, ECdA, YLT, GS), pp. 642–647.
ICSTICST-2012-MewsSW #modelling
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
ICSTICST-2012-MirzaAghaeiPP #adaptation #evolution #testing
Supporting Test Suite Evolution through Test Case Adaptation (MM, FP, MP), pp. 231–240.
ICSTICST-2012-Oriol #evaluation #fault #random testing #testing
Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICSTICST-2012-PaciMBD #evolution #process #requirements #testing
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ICSTICST-2012-PavlovF #automation #generative #search-based #testing
Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICSTICST-2012-Praphamontripong #mutation testing #testing #web
Web Mutation Testing (UP), pp. 495–498.
ICSTICST-2012-RamlerKP #combinator #design #lessons learnt
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications (RR, TK, WP), pp. 569–572.
ICSTICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
ICSTICST-2012-RunesonE #3d #problem #product line #testing
Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.
ICSTICST-2012-SaleckerG #combinator #grammarware #interactive #testing
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.
ICSTICST-2012-Schieferdecker #modelling #testing
Model-Based Fuzz Testing (IS), p. 814.
ICSTICST-2012-SegallTZ #combinator #modelling
Simplified Modeling of Combinatorial Test Spaces (IS, RTB, AZ), pp. 573–579.
ICSTICST-2012-ShakyaXLLKK #classification #combinator #testing #using
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
ICSTICST-2012-SheltonLAO #development #testing
Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
ICSTICST-2012-TanMTL #consistency #detection #nondeterminism #testing
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ICSTICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ICSTICST-2012-WahlerFSJN #automation #embedded #named #testing
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICSTICST-2012-WiklundESL #automation #technical debt #testing
Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.
ICSTICST-2012-Woehrle #network #protocol #search-based #testing
Search-Based Stress Testing of Wireless Network Protocol Stacks (MW), pp. 794–803.
ICSTICST-2012-ZaraketMAHHFKN #named #testing #user interface
GUICOP: Specification-Based GUI Testing (FAZ, WM, MA, DH, RH, RF, EK, JN), pp. 747–751.
ICSTICST-2012-ZhangLZ #combinator #testing
Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.
ICSTICST-2012-ZhouF #database #effectiveness #empirical
Empirical Studies on Test Effectiveness for Database Applications (CZ, PGF), pp. 61–70.
ICTSSICTSS-2012-ArltBSP #testing #user interface
Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.
ICTSSICTSS-2012-BannourEGG #consistency #generative #modelling #testing
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
ICTSSICTSS-2012-BrauerPS #modelling #performance #testing #tool support
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ICTSSICTSS-2012-ChenV #protocol #testing
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
ICTSSICTSS-2012-DangS #estimation #hybrid #testing
State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
ICTSSICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ICTSSICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.
ICTSSICTSS-2012-JohansenHFCEW #agile #automation #interactive #product line #testing
A Technique for Agile and Automatic Interaction Testing for Product Lines (MFJ, ØH, FF, EC, JE, TW), pp. 39–54.
ICTSSICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #testing #towards
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
ICTSSICTSS-2012-LahamiKBJ #adaptation #architecture #design #distributed #problem #using
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems (ML, MK, MB, MJ), pp. 103–118.
ICTSSICTSS-2012-MayerSWM #framework #named #performance #testing
CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.
ICTSSICTSS-2012-StrugS #approach #machine learning #mutation testing #testing
Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.
ICTSSICTSS-2012-TaylorHBD #behaviour #testing #using
Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
ISSTAISSTA-2012-AlshahwanH #detection #fault #testing #web
State aware test case regeneration for improving web application test suite coverage and fault detection (NA, MH), pp. 45–55.
ISSTAISSTA-2012-GroceZECR #testing
Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.
ISSTAISSTA-2012-GrossFZ #search-based #testing
Search-based system testing: high coverage, no false alarms (FG, GF, AZ), pp. 67–77.
ISSTAISSTA-2012-HongAPKH #concurrent #source code #testing
Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
ISSTAISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
ISSTAISSTA-2012-KimCHKOSPMN #performance #testing
Efficient regression testing of ontology-driven systems (MK, JC, MJH, TMK, AO, JHS, ARP, KM, SBN), pp. 320–330.
ISSTAISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing
Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
ISSTAISSTA-2012-RobetalerFZO #generative #testing
Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
ISSTAISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing
THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ISSTAISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
ISSTAISSTA-2012-ZhangMZK #mutation testing #testing
Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
LICSLICS-2012-Berkholz #bound #game studies #testing
Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.
TAPTAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.
TAPTAP-2012-BengoleaAMF #bound #test coverage #testing #using
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
TAPTAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
TAPTAP-2012-CarlierDG #constraints #design #testing
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
TAPTAP-2012-ChedorJM #generative #recursion #testing
Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
TAPTAP-2012-KiniryZH #consistency #library #specification #testing #verification
Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
TAPTAP-2012-KosmatovW #automation #testing #tutorial
Tutorial on Automated Structural Testing with PathCrawler — (Extended Abstract) (NK, NW), p. 176.
TAPTAP-2012-KosmatovWBRC #testing
A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.
TAPTAP-2012-Kuehlmann #testing
The Technology and Psychology of Testing Your Code as You Develop It (AK), p. 1.
TAPTAP-2012-LochauSKL #incremental #modelling #product line #testing
Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
TAPTAP-2012-Pasareanu #execution #model checking #symbolic computation #testing
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
TAPTAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using
Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
CBSECBSE-2011-YoonSMP #component #incremental #testing #towards
Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.
ECSAECSA-2011-OliveiraN #architecture #testing #tool support
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
ASEASE-2011-AlshahwanH #automation #re-engineering #testing #using #web
Automated web application testing using search based software engineering (NA, MH), pp. 3–12.
ASEASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
ASEASE-2011-BaarsHHLMTV #search-based #testing
Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
ASEASE-2011-Bandyopadhyay #fault #locality #testing #using
Improving spectrum-based fault localization using proximity-based weighting of test cases (AB), pp. 660–664.
ASEASE-2011-BandyopadhyayG #fault #locality #proximity #testing
Proximity based weighting of test cases to improve spectrum based fault localization (AB, SG), pp. 420–423.
ASEASE-2011-ChakrabortyS #approach #framework #towards
Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.
ASEASE-2011-Dwyer #analysis #behaviour #testing
Unifying testing and analysis through behavioral coverage (MBD), p. 2.
ASEASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread
BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ASEASE-2011-Gonzalez-SanchezAGG #ambiguity #fault #locality #reduction #testing
Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.
ASEASE-2011-Groce #adaptation #generative #programming
Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ASEASE-2011-KhalekNK #constraints #generative
Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASEASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ASEASE-2011-MalburgF #constraints #search-based #testing
Combining search-based and constraint-based testing (JM, GF), pp. 436–439.
ASEASE-2011-PanWX #database #generative #testing
Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASEASE-2011-PietschYK #generative #modelling #tool support
Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASEASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASEASE-2011-WeiRFPHSNM #contract #fault #testing
Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ASEASE-2011-WesongaMR #concurrent #fault #source code #visualisation
Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
ASEASE-2011-WinbladhR #testing
Evaluating test selection strategies for end-user specified flow-based applications (KW, AR), pp. 400–403.
ASEASE-2011-ZhangED #automation #generative #testing
Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ASEASE-2011-ZhangZE #automation #documentation #testing
Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.
ASEASE-2011-ZhengMLXK #mining #testing #web
Mining test oracles of web search engines (WZ, HM, MRL, TX, IK), pp. 408–411.
ASEASE-2011-ZiftciK #precise #requirements #testing
Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.
DACDAC-2011-HeRK #concept analysis #embedded #generative #testing
Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DACDAC-2011-LiLWCDCHCLHHMBWTWKHC #interface #low cost #testing
A low-cost wireless interface with no external antenna and crystal oscillator for cm-range contactless testing (CFL, CYL, CHW, SLC, LMD, CCC, HJH, MYC, JJL, SYH, PCH, HPM, JCB, CWW, CCT, CHW, YSK, CTH, TYC), pp. 771–776.
DACDAC-2011-Mador-HaimAM #consistency #how #memory management #modelling #question #testing
Litmus tests for comparing memory consistency models: how long do they need to be? (SMH, RA, MMKM), pp. 504–509.
DACDAC-2011-MillerBHDCB #analysis #testing #validation
A method to leverage pre-silicon collateral and analysis for post-silicon testing and validation (GM, BB, YCH, JD, XC, GB), pp. 575–578.
DATEDATE-2011-ArslanO #adaptation #effectiveness #learning #optimisation #realtime
Adaptive test optimization through real time learning of test effectiveness (BA, AO), pp. 1430–1435.
DATEDATE-2011-BangaRH #testing
Design-for-test methodology for non-scan at-speed testing (MB, NPR, MSH), pp. 191–196.
DATEDATE-2011-BernardiGSB #fault #self #testing
Fault grading of software-based self-test procedures for dependable automotive applications (PB, MG, ES, OB), pp. 513–514.
DATEDATE-2011-ButtrickK #3d #network #on the #testing #using
On testing prebond dies with incomplete clock networks in a 3D IC using DLLs (MB, SK), pp. 1418–1423.
DATEDATE-2011-ChenM #composition #functional #generative #testing
Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATEDATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using
Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
DATEDATE-2011-DrmanacSWWA #multi #optimisation #parametricity #predict #testing
Multidimensional parametric test set optimization of wafer probe data for predicting in field failures and setting tighter test limits (DGD, NS, LW, LCW, MSA), pp. 794–799.
DATEDATE-2011-EggersglusD #fault #generative #optimisation #pseudo #testing #using
As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.
DATEDATE-2011-GhermanMECB #concurrent #fault #predict #self
Error prediction based on concurrent self-test and reduced slack time (VG, JM, SE, SC, YB), pp. 1626–1631.
DATEDATE-2011-HashempourDTKHBX #fault #industrial #reduction #testing
Test time reduction in analogue/mixed-signal devices by defect oriented testing: An industrial example (HH, JD, BT, BK, CH, MvB, YX), pp. 371–376.
DATEDATE-2011-KeezerG #synthesis
Two methods for 24 Gbps test signal synthesis (DCK, CEG), pp. 579–582.
DATEDATE-2011-KumarRPB #3d #clustering #testing
Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing (AK, SMR, IP, BB), pp. 1424–1429.
DATEDATE-2011-KunduS #design #modelling #process
Modeling manufacturing process variation for design and test (SK, AS), pp. 1147–1152.
DATEDATE-2011-KuppSM #correlation
Correlating inline data with final test outcomes in analog/RF devices (NK, MS, YM), pp. 812–817.
DATEDATE-2011-MiyaseWAFYK #generative #testing
Transition-Time-Relation based capture-safety checking for at-speed scan test generation (KM, XW, MA, HF, YY, SK), pp. 895–898.
DATEDATE-2011-MotaS #detection #testing
A true power detector for RF PA built-in calibration and testing (PFdM, JMdS), pp. 365–370.
DATEDATE-2011-Pomeranz #functional #generative #testing
Built-in generation of functional broadside tests (IP), pp. 1297–1302.
DATEDATE-2011-RekikADMN #development #evaluation
An electrical test method for MEMS convective accelerometers: Development and evaluation (AAR, FA, ND, FM, PN), pp. 806–811.
DATEDATE-2011-SieglHGB #embedded #modelling #specification #testing
Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
DATEDATE-2011-SinghSG #generative #performance #testing #using
Testing of high-speed DACs using PRBS generation with “Alternate-Bit-Tapping” (MS, MS, SG), pp. 377–382.
DATEDATE-2011-SreedharK #design #identification #on the #process
On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATEDATE-2011-StranoGLFGB #architecture #scalability #self
Exploiting Network-on-Chip structural redundancy for a cooperative and scalable built-in self-test architecture (AS, CGR, DL, MF, MEG, DB), pp. 661–666.
DATEDATE-2011-WangCC #self
An all-digital built-in self-test technique for transfer function characterization of RF PLLs (PYW, HMC, KTC), pp. 359–364.
DATEDATE-2011-Winterholer #debugging #embedded #requirements
Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.
DATEDATE-2011-YangSSL #reduction #testing
A clock-gating based capture power droop reduction methodology for at-speed scan testing (BY, AS, SS, CL), pp. 197–203.
CSEETCSEET-2011-CarverK #student #testing
Evaluating the testing ability of senior-level computer science students (JCC, NAK), pp. 169–178.
CSEETCSEET-2011-ChenZL #education #testing
Teaching software testing methods based on diversity principles (ZC, JZ, BL), pp. 391–395.
CSEETCSEET-2011-DvornikJCD #testing
Supporting introductory test-driven labs with WebIDE (TD, DSJ, JC, OD), pp. 51–60.
CSEETCSEET-2011-Garousi #challenge #industrial #lessons learnt #testing
Incorporating real-world industrial testing projects in software testing courses: Opportunities, challenges, and lessons learned (VG), pp. 396–400.
CSEETCSEET-2011-OffuttLAX #abstraction #design #education #using #web
Using abstraction and Web applications to teach criteria-based test design (JO, NL, PA, WX), pp. 227–236.
CSEETCSEET-2011-SouzaMB #evaluation #named #process #programming #testing
ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities (DMdS, JCM, EFB), pp. 1–10.
CSEETCSEET-2011-WongBDMOV #case study #education #experience #lessons learnt #testing
Teaching software testing: Experiences, lessons learned and the path forward (WEW, AB, VD, APM, JO, MAV), pp. 530–534.
ESOPESOP-2011-KoutavasH #encryption #higher-order #testing
A Testing Theory for a Higher-Order Cryptographic Language — (Extended Abstract) (VK, MH), pp. 358–377.
FASEFASE-2011-HolzerJKLSTV #modelling #testing
Seamless Testing for Models and Code (AH, VJ, SK, BL, CS, MT, HV), pp. 278–293.
FASEFASE-2011-KhanH #analysis #contract #dependence #modelling #on the #testing #using #visual notation
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
FASEFASE-2011-SharmaGAFM #question #random #testing
Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
FASEFASE-2011-ThummalapentaMXTH #testing
Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.
FASEFASE-2011-WangWHC #black box #evolution #testing
Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.
TACASTACAS-2011-AlglaveMSS #hardware #named #testing
Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
TACASTACAS-2011-BertrandJSK #automaton #nondeterminism #testing
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
ICPCICPC-J-2009-PoonTTK11 #category theory #experience #identification #testing
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing (PLP, THT, SFT, FCK), pp. 141–163.
CSMRCSMR-2011-JurgensHDFSW #testing
Regression Test Selection of Manual System Tests in Practice (EJ, BH, FD, MF, CS, AW), pp. 309–312.
CSMRCSMR-2011-MendeKP #case study #fault #integration #on the #predict #testing
On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study (TM, RK, JP), pp. 259–268.
CSMRCSMR-2011-SalehieLTDLM #testing
Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.
CSMRCSMR-2011-VosTWHPPN #internet #testing
Future Internet Testing with FITTEST (TEJV, PT, JW, MH, WP, EP, YNB), pp. 355–358.
ICSMEICSM-2011-BrunetGF #consistency #design #evaluation #testing #usability
Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.
ICSMEICSM-2011-CarlsonDD #approach #case study #clustering #industrial #testing
A clustering approach to improving test case prioritization: An industrial case study (RC, HD, AD), pp. 382–391.
ICSMEICSM-2011-HuangLZXW #approach #novel #testing
A novel approach to regression test selection for J2EE applications (SH, ZJL, JZ, YX, WW), pp. 13–22.
ICSMEICSM-2011-KhomhCZSD #fault #predict #testing #using
Predicting post-release defects using pre-release field testing results (FK, BC, YZ, AS, DD), pp. 253–262.
ICSMEICSM-2011-KuhnK #combinator #detection #fault #testing
Practical combinatorial (t-way) methods for detecting complex faults in regression testing (RK, RK), p. 599.
ICSMEICSM-2011-MatthesSH #assurance #migration #quality #testing
Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.
ICSMEICSM-2011-QusefBOLB #concept #named #slicing #traceability #using
SCOTCH: Test-to-code traceability using slicing and conceptual coupling (AQ, GB, RO, ADL, DB), pp. 63–72.
ICSMEICSM-2011-RogstadBDRA #automation #case study #database #experience #industrial #legacy #testing
Industrial experiences with automated regression testing of a legacy database application (ER, LCB, RD, MR, EA), pp. 362–371.
ICSMEICSM-2011-SampathBJM #reduction #testing
A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
ICSMEICSM-2011-SrikanthC #as a service #case study #industrial #testing
Regression testing in Software as a Service: An industrial case study (HS, MBC), pp. 372–381.
SCAMSCAM-2011-AvanciniC #approach #search-based #security #testing #web
Security Testing of Web Applications: A Search-Based Approach for Cross-Site Scripting Vulnerabilities (AA, MC), pp. 85–94.
WCREWCRE-2011-AlbertCFGG #automation #generative #java #named #testing
jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
WCREWCRE-2011-KaushikTM #case study #debugging #testing #traceability
Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.
WCREWCRE-2011-Qusef #concept #slicing #traceability
Recovering Test-to-Code Traceability Via Slicing and Conceptual Coupling (AQ), pp. 417–420.
WCREWCRE-2011-QusefBOLB #named #slicing
SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.
PLDIPLDI-2011-BudiLJL #behaviour #debugging #named
kb-anonymity: a model for anonymized behaviour-preserving test and debugging data (AB, DL, LJ, L), pp. 447–457.
PLDIPLDI-2011-Godefroid #generative #higher-order #testing
Higher-order test generation (PG), pp. 258–269.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
STOCSTOC-2011-HatamiL #correlation #fault #invariant #testing
Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.
STOCSTOC-2011-SarafV #black box #multi #testing
Black-box identity testing of depth-4 multilinear circuits (SS, IV), pp. 421–430.
STOCSTOC-2011-SaxenaS #bound #matter #testing
Blackbox identity testing for bounded top fanin depth-3 circuits: the field doesn’t matter (NS, CS), pp. 431–440.
ICALPICALP-v2-2011-BeeckenMS #algebra #independence #testing
Algebraic Independence and Blackbox Identity Testing (MB, JM, NS), pp. 137–148.
SEFMSEFM-2011-NorooziKMW #consistency #testing
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
SFMSFM-2011-Tretmans #modelling #testing #towards
Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.
IFLIFL-2011-KoopmanAP #logic #modelling #state machine #testing
Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
IFLIFL-2011-Page #testing #verification
Property-Based Testing and Verification: A Catalog of Classroom Examples (RP), pp. 134–147.
IFLIFL-2011-ReichNR #canonical #generative #lazy evaluation #source code
Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
AGTIVEAGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
GT-VMTGT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
CHICHI-2011-Freeman #eye tracking #protocol #usability #using
Triggered think-aloud protocol: using eye tracking to improve usability test moderation (BF), pp. 1171–1174.
CHICHI-2011-GormanRYBK #adaptation #testing #usability
Adapting usability testing for oral, rural users (TG, EJR, JY, AB, BEK), pp. 1437–1440.
CHICHI-2011-HirshfieldGHHRWWJ #functional #interface #testing #usability
This is your brain on interfaces: enhancing usability testing with functional near-infrared spectroscopy (LMH, RG, SHH, SWH, MR, RW, TW, RJKJ), pp. 373–382.
CHICHI-2011-MadathilG #approach #testing #usability
Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CSCWCSCW-2011-GutwinLG #network #performance #realtime #testing
Real-time groupware in the browser: testing the performance of web-based networking (CG, ML, TCNG), pp. 167–176.
HCIDUXU-v1-2011-RiceTW #enterprise #scalability #testing #usability
ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.
HCIDUXU-v1-2011-WebbOMPC #mobile #testing
Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.
HCIDUXU-v2-2011-OlsenPB #effectiveness #game studies #how #testing #usability
Serious Games Usability Testing: How to Ensure Proper Usability, Playability, and Effectiveness (TO, KP, CAB), pp. 625–634.
HCIHCD-2011-AndradeTSRB #3d #multi #navigation #testing #usability
Usability Tests for Improvement of 3D Navigation in Multiscale Environments (TMA, DRT, ERS, ABR, SDJB), pp. 481–490.
HCIHCD-2011-HoriKK #testing #usability
Investigation of Indirect Oral Operation Method for Think Aloud Usability Testing (MH, YK, TK), pp. 38–46.
HCIHCD-2011-Hsieh #usability #web
Exploring the Impact of Cultures on Web Usability Test (HCLH), pp. 47–54.
HCIHCI-ITE-2011-JokischBS #interactive #multi #testing #usability
Usability Testing of the Interaction of Novices with a Multi-touch Table in Semi Public Space (MJ, TB, AS), pp. 71–80.
HCIHCI-UA-2011-SuzukiWKO #3d #comparison #standard
Comparison of a 3-D Expression System and a Standardized IQ Test for Children (AS, MW, TK, TO), pp. 617–626.
HCIIDGD-2011-BakerSH #testing
Testing Touch: Emulators vs. Devices (RMSB, XS, BH), pp. 135–142.
HCIIDGD-2011-EksiogluKCSO #case study #evaluation #heuristic #testing #usability
Heuristic Evaluation and Usability Testing: Case Study (ME, EK, , MNS, SO), pp. 143–151.
AdaEuropeAdaEurope-2011-EilersK #adaptation #framework #testing
Adapting ACATS to the Ahven Testing Framework (DE, TK), pp. 75–88.
AdaSIGAda-2011-EilersK #execution #testing
Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ICEISICEIS-J-2011-MateoPC11a #modelling #product line #testing
Model Based Testing in Software Product Lines (PRM, MP, DC), pp. 270–283.
ICEISICEIS-v3-2011-AndreouSP #automation #testing #user interface
Specification-based Automated Automated GUI Testing (ASA, AAS, CP), pp. 318–323.
ICEISICEIS-v3-2011-MateoPC #approach #modelling #product line #testing
Testing in Software Product Lines — A Model based Approach (PRM, MP, DC), pp. 46–54.
CIKMCIKM-2011-HosseiniCMSV #information retrieval
Prioritizing relevance judgments to improve the construction of IR test collections (MH, IJC, NMF, TS, VV), pp. 641–646.
CIKMCIKM-2011-RajputPGA #paradigm
A nugget-based test collection construction paradigm (SR, VP, PBG, JAA), pp. 1945–1948.
ECIRECIR-2011-ThotaC #statistics #testing
Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing (SLT, BC), pp. 543–554.
KDDKDD-2011-ThanhRT #implementation #testing
k-NN as an implementation of situation testing for discrimination discovery and prevention (BLT, SR, FT), pp. 502–510.
RecSysRecSys-2011-CamposDS #evaluation #matrix #predict #recommendation #testing #towards
Towards a more realistic evaluation: testing the ability to predict future tastes of matrix factorization-based recommenders (PGC, FD, MASM), pp. 309–312.
SEKESEKE-2011-GaoGMTBK #analysis #complexity #component #configuration management #modelling #testing
Testing Configurable Component-Based Software — Configuration Test Modeling and Complexity Analysis (JG, JG, AM, CT, XB, DCK), pp. 495–502.
SEKESEKE-2011-MachadoNAM #named #process #product line #testing
RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKESEKE-2011-NetoMNAM #product line #testing
Software Product Lines System Test Case Tool: A Proposal (CRLN, IdCM, PAdMSN, ESdA, SRdLM), pp. 699–704.
SEKESEKE-2011-NoorianBD #classification #framework #machine learning #testing #towards
Machine Learning-based Software Testing: Towards a Classification Framework (MN, EB, WD), pp. 225–229.
SEKESEKE-2011-SantosSN #functional #order #performance #reuse #testing
Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.
SEKESEKE-2011-SilveiraRZCVO #generative #modelling #performance #testing #uml
Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.
SEKESEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #testing #using
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.
SEKESEKE-2011-TaoLG #approach #component #modelling #testing
A Model-based Approach to Regression Testing of Component-based Software (CT, BL, JG), pp. 230–237.
SEKESEKE-2011-ThiryZS #education #empirical #game studies #learning #testing
Empirical study upon software testing learning with support from educational game (MT, AZ, ACdS), pp. 481–484.
SEKESEKE-2011-VilkomirKT #algorithm #case study #interface #testing #using
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (SV, AAK, NT), pp. 219–224.
SEKESEKE-2011-WangLWL #automation #bibliography #generative #integration #order
A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
SEKESEKE-2011-YuLFC #composition #testing
A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
SIGIRSIGIR-2011-AsadiMEL #learning #pseudo #ranking #web
Pseudo test collections for learning web search ranking functions (NA, DM, TE, JJL), pp. 1073–1082.
SIGIRSIGIR-2011-ScholerTS #consistency #quality
Quantifying test collection quality based on the consistency of relevance judgements (FS, AT, MS), pp. 1063–1072.
ECMFAECMFA-2011-GogollaV #model transformation #testing
Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ECMFAECMFA-2011-YueAB #automation #case study #state machine #testing #uml
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
MODELSMoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MODELSMoDELS-2011-CichosOLS #generative #modelling #product line #testing
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
MODELSMoDELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
MODELSMoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
MODELSMoDELS-2011-WilkeGRA #energy #modelling #testing #towards
Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.
MODELSMoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MODELSMoDELS-2011-CichosOLS #generative #modelling #product line #testing
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
MODELSMoDELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
MODELSMoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
MODELSMoDELS-2011-WilkeGRA #energy #modelling #testing #towards
Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.
OOPSLAOOPSLA-2011-KatsVV #development #testing
Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
OOPSLAOOPSLA-2011-ShachamBASVY #concurrent #testing
Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.
OOPSLAOOPSLA-2011-ThummalapentaXTHS #sequence #testing
Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
TOOLSTOOLS-EUROPE-2011-BauerKE #model transformation #quality #testing
Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
GPCEGPCE-J-2009-BaggeDH11 #axiom #c++ #testing
Testing with Axioms in C++ 2011 (AHB, VD, MH), pp. 239–270.
LOPSTRLOPSTR-2011-AlbertGR #generative #testing
Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
PPDPPPDP-2011-Lagoon #challenge #constraints #generative #testing
The challenges of constraint-based test generation (VL), pp. 1–2.
QAPLQAPL-2011-DengGHM #probability #process #testing
Real-Reward Testing for Probabilistic Processes (Extended Abstract) (YD, RJvG, MH, CM), pp. 61–73.
SACSAC-2011-ChenZGZWSC #approach #interactive #reduction #requirements #testing
A test suite reduction approach based on pairwise interaction of requirements (XC, LZ, QG, HZ, ZW, XS, DC), pp. 1390–1397.
SACSAC-2011-KangR #automation #named #testing
FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
SACSAC-2011-KuoLC #algorithm #clustering #testing
Testing a binary space partitioning algorithm with metamorphic testing (FCK, SL, TYC), pp. 1482–1489.
SACSAC-2011-WoodraskaSX #mutation testing #security #testing
Security mutation testing of the FileZilla FTP server (DW, MS, DX), pp. 1425–1430.
SACSAC-2011-YouCXLZ #effectiveness #empirical #testing
An empirical study on the effectiveness of time-aware test case prioritization techniques (DY, ZC, BX, BL, CZ), pp. 1451–1456.
ESEC-FSEESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing
Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ESEC-FSEESEC-FSE-2011-CafeoNFCR #product line
Inferring test results for dynamic software product lines (BBPC, JN, FCF, RC, AR), pp. 500–503.
ESEC-FSEESEC-FSE-2011-ClementsEIMM #architecture #requirements #testing
Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.
ESEC-FSEESEC-FSE-2011-CsallnerFL #source code #testing
New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ESEC-FSEESEC-FSE-2011-FraserA #automation #generative #named #object-oriented #testing
EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
ESEC-FSEESEC-FSE-2011-GligoricBJ #mutation testing #named #testing
SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
ESEC-FSEESEC-FSE-2011-HarmanJL #generative #higher-order #testing
Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.
ESEC-FSEESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread
Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ESEC-FSEESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ESEC-FSEESEC-FSE-2011-MirzaAghaei #automation #evolution #testing
Automatic test suite evolution (MM), pp. 396–399.
ESEC-FSEESEC-FSE-2011-MusluSW #debugging #testing
Finding bugs by isolating unit tests (KM, BS, JW), pp. 496–499.
ESEC-FSEESEC-FSE-2011-TanejaGGX #privacy #testing
Testing software in age of data privacy: a balancing act (KT, MG, RG, TX), pp. 201–211.
ICSEICSE-2011-Araya #effectiveness #test coverage #visual notation
Test blueprint: an effective visual support for test coverage (VPA), pp. 1140–1142.
ICSEICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using
A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.
ICSEICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web
A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
ICSEICSE-2011-AtkinsonHJ #testing
Search-enhanced testing (CA, OH, WJ), pp. 880–883.
ICSEICSE-2011-BarnaLG #modelling #performance #testing
Model-based performance testing (CB, ML, HG), pp. 872–875.
ICSEICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
ICSEICSE-2011-Chen #game studies #named #testing
GATE: game-based testing environment (NC), pp. 1078–1081.
ICSEICSE-2011-ChenZ #combinator #metric #testing #tuple
Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.
ICSEICSE-2011-DanielDGJJMNTM #named #testing
ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
ICSEICSE-2011-HolmesN #behaviour #identification
Identifying program, test, and environmental changes that affect behaviour (RH, DN), pp. 371–380.
ICSEICSE-2011-MarianiPRS #automation #black box #named #testing
AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
ICSEICSE-2011-MesbahP #automation #testing
Automated cross-browser compatibility testing (AM, MRP), pp. 561–570.
ICSEICSE-2011-Smith #functional #requirements #security #testing #using
Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
ICSEICSE-2011-SoffaWM #debugging #hardware #testing
Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.
ICSEICSE-2011-StaatsWH #revisited #source code #testing
Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.
ICSEICSE-2011-StaatsWH11a #testing
Better testing through oracle selection (MS, MWW, MPEH), pp. 892–895.
ICSEICSE-2011-WangSG #concurrent #testing
Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.
ICSEICSE-2011-Xiao #developer #generative #identification #problem #testing #towards
Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
ICSEICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSEICSE-2011-Xu #testing
Directed test suite augmentation (ZX), pp. 1110–1113.
ICSEICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SLESLE-2011-FischerLZ #comparison #context-free grammar #parsing #testing
Comparison of Context-Free Grammars Based on Parsing Generated Test Data (BF, RL, VZ), pp. 324–343.
SPLCSPLC-2011-SinhaDR #development #multi #performance #product line #reduction #scalability #testing
Governance and Cost Reduction through Multi-tier Preventive Performance Tests in a Large-Scale Product Line Development (SS, TD, RR), pp. 295–302.
CCCC-2011-SolGPB #compilation #testing
Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
LCTESLCTES-2011-NavabpourBF #debugging #testing #using
Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.
CADECADE-2011-ArnaudCD #protocol #recursion #security #testing
Deciding Security for Protocols with Recursive Tests (MA, VC, SD), pp. 49–63.
CAVCAV-2011-GaneshKAGHE #analysis #detection #named #string #testing
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
CAVCAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
CSLCSL-2011-BucciarelliCEM #abstraction #calculus #testing
Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
ICLPICLP-2011-Bulwahn #generative #logic programming #testing
Smart test data generators via logic programming (LB), pp. 139–150.
ICSTICST-2011-AtkinsonBHS #framework #testing #towards
Towards a Language and Framework for Penurious Testing (CA, FB, OH, MS), pp. 31–39.
ICSTICST-2011-BelliBTF #automaton #mutation testing #testing
Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.
ICSTICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICSTICST-2011-CasadoTY #framework #transaction #web #web service
A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.
ICSTICST-2011-CausevicSP #bibliography #development #industrial #perspective
Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review (AC, DS, SP), pp. 337–346.
ICSTICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
ICSTICST-2011-ChenCZXF #clustering #testing #using
Using semi-supervised clustering to improve regression test selection techniques (SC, ZC, ZZ, BX, YF), pp. 1–10.
ICSTICST-2011-CzerwonkaDNTT #analysis #case study #experience #named #predict
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice — Experiences from Windows (JC, RD, NN, AT, AT), pp. 357–366.
ICSTICST-2011-DadeauHK #generative #protocol #security #testing
Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.
ICSTICST-2011-DanH #consistency #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ICSTICST-2011-EldhHP #analysis #design #testing
Analysis of Mistakes as a Method to Improve Test Case Design (SE, HH, SP), pp. 70–79.
ICSTICST-2011-EngstromRL #case study #industrial #performance #testing
Improving Regression Testing Transparency and Efficiency with History-Based Prioritization — An Industrial Case Study (EE, PR, AL), pp. 367–376.
ICSTICST-2011-FrankeW #framework #mobile #quality #testing
Providing a Software Quality Framework for Testing of Mobile Applications (DF, CW), pp. 431–434.
ICSTICST-2011-FraserZ #generative #testing
Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.
ICSTICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
ICSTICST-2011-Gonzalez-Sanchez #optimisation #runtime #testing
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
ICSTICST-2011-Grasland #automation #resource management #testing
Testing Resource Usage in Home Automation Systems (YG), pp. 419–422.
ICSTICST-2011-HanselRHG #algorithm #embedded #generative #realtime
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICSTICST-2011-HeamN #data type #generative #named #random #recursion #testing
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ICSTICST-2011-HemmatiAB #empirical #similarity #testing
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection (HH, AA, LCB), pp. 327–336.
ICSTICST-2011-HummerRSLD #composition #test coverage
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
ICSTICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using
Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ICSTICST-2011-MouelhiTABG #testing #web
Tailored Shielding and Bypass Testing of Web Applications (TM, YLT, EA, BB, SG), pp. 210–219.
ICSTICST-2011-NandaMSHO #testing
Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.
ICSTICST-2011-Nica #on the #testing #using
On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.
ICSTICST-2011-RomanoPA #approach #exception #null #pointer #testing
An Approach for Search Based Testing of Null Pointer Exceptions (DR, MDP, GA), pp. 160–169.
ICSTICST-2011-SantelicesH #testing
Applying aggressive propagation-based strategies for testing changes (RAS, MJH), pp. 11–20.
ICSTICST-2011-SprenklePS #case study #modelling #navigation #testing #web
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.
ICSTICST-2011-TakalaKH #android #case study #experience #modelling #testing #user interface
Experiences of System-Level Model-Based GUI Testing of an Android Application (TT, MK, JH), pp. 377–386.
ICSTICST-2011-YuSSR #embedded #testing #using
Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ICSTICST-2011-Zech #in the cloud #security #testing
Risk-Based Security Testing in Cloud Computing Environments (PZ), pp. 411–414.
ICTSSICTSS-2011-BochmannJW #reliability #testing #web
Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.
ICTSSICTSS-2011-CastillosDJT #modelling #ocl #testing #uml
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.
ICTSSICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing
Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
ICTSSICTSS-2011-EnderlinDGO #contract #named #php #specification #testing
Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
ICTSSICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
ICTSSICTSS-2011-Gaudel #random testing #testing
Counting for Random Testing (MCG), pp. 1–8.
ICTSSICTSS-2011-MammarCJMO #c #detection #source code #testing #using
Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.
ICTSSICTSS-2011-MeinkeN #term rewriting #testing #using
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology (KM, FN), pp. 97–114.
ICTSSICTSS-2011-Nunez #probability #testing
Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.
ICTSSICTSS-2011-OlsenFT #industrial #modelling #testing
Model-Based Testing of Industrial Transformational Systems (PO, JF, JT), pp. 131–145.
ICTSSICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.
ICTSSICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.
ICTSSICTSS-2011-SchwarzlAW #composition #random testing #testing #using
Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
ICTSSICTSS-2011-Walkinshaw #black box #specification #test coverage #testing
Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
ISSTAISSTA-2011-AllwoodCE #haskell #source code #testing
High coverage testing of Haskell programs (TORA, CC, SE), pp. 375–385.
ISSTAISSTA-2011-ArcuriB #adaptation #effectiveness #question #random testing #testing
Adaptive random testing: an illusion of effectiveness? (AA, LCB), pp. 265–275.
ISSTAISSTA-2011-BabicMMS #automation #generative #testing
Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTAISSTA-2011-BurnimSS #concurrent #memory management #modelling #source code #testing
Testing concurrent programs on relaxed memory models (JB, KS, CS), pp. 122–132.
ISSTAISSTA-2011-DumluYCP #adaptation #combinator #feedback #testing
Feedback driven adaptive combinatorial testing (ED, CY, MBC, AAP), pp. 243–253.
ISSTAISSTA-2011-FraserZ #generative #testing
Generating parameterized unit tests (GF, AZ), pp. 364–374.
ISSTAISSTA-2011-GodefroidL #automation #generative #summary #testing
Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
ISSTAISSTA-2011-NaminK #testing
The use of mutation in testing experiments and its sensitivity to external threats (ASN, SK), pp. 342–352.
ISSTAISSTA-2011-SegallTF #combinator #design #diagrams #using
Using binary decision diagrams for combinatorial test design (IS, RTB, EF), pp. 254–264.
ISSTAISSTA-2011-TanejaXTH #generative #named #performance #testing
eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
ISSTAISSTA-2011-ZhangSBE #automation #generative #testing
Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
ISSTAISSTA-2011-ZhangZ #adaptation #interactive #parametricity #testing
Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.
ICSTSAT-2011-MundhenkZ #equivalence #how #normalisation
How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.
ICSTSAT-2011-Sen #constraints #testing
Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.
TAPTAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
TAPTAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
TAPTAP-2011-BuchlerOP #security #testing
Security Mutants for Property-Based Testing (MB, JO, AP), pp. 69–77.
TAPTAP-2011-BueJM #approximate #generative #modelling #testing
Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
TAPTAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
TAPTAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
TAPTAP-2011-Gaudel #modelling #proving #source code #testing
Checking Models, Proving Programs, and Testing Systems (MCG), pp. 1–13.
TAPTAP-2011-Godefroid #proving #testing
Tests from Proofs (PG), p. 14.
TAPTAP-2011-HeamM #approach #automaton #random testing #testing #using
A Random Testing Approach Using Pushdown Automata (PCH, CM), pp. 119–133.
TAPTAP-2011-MeinkeS #incremental #testing
Incremental Learning-Based Testing for Reactive Systems (KM, MAS), pp. 134–151.
TAPTAP-2011-Tan #automaton #metric #testing
State Coverage Metrics for Specification-Based Testing with Büchi Automata (LT), pp. 171–186.
TAPTAP-2011-TroyaBLV #communication #lightweight #network #testing
Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
CBSECBSE-2010-HummelA #adaptation #assessment #automation #component #testing
Automated Creation and Assessment of Component Adapters with Test Cases (OH, CA), pp. 166–181.
ASEASE-2010-AlmeidaMSV #framework #named #peer-to-peer #testing
PeerUnit: a framework for testing peer-to-peer systems (ECdA, JEM, GS, PV), pp. 169–170.
ASEASE-2010-HolzerTVS #how #testing
How did you specify your test suite (AH, CS, MT, HV), pp. 407–416.
ASEASE-2010-KhalekK #automation #database #generative #query #sql #testing
Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
ASEASE-2010-KimBK #product line
Eliminating products to test in a software product line (CHPK, DSB, SK), pp. 139–142.
ASEASE-2010-QiRL #evolution #generative #source code #testing
Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
ASEASE-2010-RajeevSSR #code generation #named #testing
CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
ASEASE-2010-Staats #effectiveness #multi #testing
The influence of multiple artifacts on the effectiveness of software testing (MS), pp. 517–522.
ASEASE-2010-TanejaLMXT #multi #named #testing #validation #web
MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
ASEASE-2010-TanejaZX #automation #database #generative #named #testing
MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
ASEASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
CASECASE-2010-BeyelerMN #automation #testing
Wafer-level inspection system for the automated testing of comb drive based MEMS sensors and actuators (FB, SM, BJN), pp. 698–703.
CASECASE-2010-CesettiSBALCL #development #flexibility #framework #mobile #testing
Development of a flexible test platform for household appliance testing based on mobile agents (AC, CPS, GDB, GA, LL, CC, SL), pp. 855–860.
CASECASE-2010-ChoiYSMKCC #automation #flexibility #framework #mobile #testing
Robotic laboratory automation platform based on mobile agents for flexible clinical tests (BC, WSY, SHS, HM, JK, WC, HRC), pp. 186–191.
CASECASE-2010-JingL #assembly #hybrid #scheduling
A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.
DACDAC-2010-ConstantinidesA #debugging #testing #using
Using introspective software-based testing for post-silicon debug and repair (KC, TMA), pp. 537–542.
DACDAC-2010-LimKH #functional #generative #modelling #performance
An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DACDAC-2010-YinL #low cost #monitoring
Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs (LY, PL), pp. 929–934.
DATEDATE-2010-AbbasCFKA #adaptation #automation #framework #generative #performance #testing
An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links (MA, KTC, YF, SK, KA), pp. 1755–1760.
DATEDATE-2010-BalatsoukaTKC #fault #power management #testing
Defect aware X-filling for low-power scan testing (SB, VT, XK, KC), pp. 873–878.
DATEDATE-2010-ChenO #adaptation #effectiveness #identification
Cost-effective IR-drop failure identification and yield recovery through a failure-adaptive test scheme (MC, AO), pp. 63–68.
DATEDATE-2010-ChenQM #generative #performance #satisfiability #testing
Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DATEDATE-2010-Cota #embedded #problem #question #testing #what
Embedded software testing: What kind of problem is this? (ÉFC), p. 1486.
DATEDATE-2010-GomezSBF
Analog circuit test based on a digital signature (AG, RS, LB, JF), pp. 1641–1644.
DATEDATE-2010-GoorGH #memory management #testing
Memory testing with a RISC microcontroller (AJvdG, GG, SH), pp. 214–219.
DATEDATE-2010-HePE #multi #testing
Multi-temperature testing for core-based system-on-chip (ZH, ZP, PE), pp. 208–213.
DATEDATE-2010-Krupp0 #approach
A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.
DATEDATE-2010-LiuZYX #power management #pseudo #testing
Layout-aware pseudo-functional testing for critical paths considering power supply noise effects (XL, YZ, FY, QX), pp. 1432–1437.
DATEDATE-2010-Marinissen #3d #testing
Testing TSV-based three-dimensional stacked ICs (EJM), pp. 1689–1694.
DATEDATE-2010-MarinissenSGECNBAP #adaptation #testing
Adapting to adaptive testing (EJM, AS, DG, ME, JMCJ, AN, KMB, DA, CP), pp. 556–561.
DATEDATE-2010-MichailidisSRHK #development
Test front loading in early stages of automotive software development based on AUTOSAR (AM, US, TR, BH, SK), pp. 435–440.
DATEDATE-2010-OstendorffWSK #adaptation #approach
A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.
DATEDATE-2010-PeiLL #generative #testing
An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
DATEDATE-2010-PomeranzR #requirements #sequence #testing #using
Reducing the storage requirements of a test sequence by using a background vector (IP, SMR), pp. 1237–1242.
DATEDATE-2010-PomeranzR10a #functional #on the #testing
On reset based functional broadside tests (IP, SMR), pp. 1438–1443.
CSEETCSEET-2010-Garousi #case study #experience #testing
An Open Modern Software Testing Laboratory Courseware — An Experience Report (VG), pp. 177–184.
CSEETCSEET-2010-GarousiM #education #recommendation #testing
Current State of the Software Testing Education in North American Academia and Some Recommendations for the New Educators (VG, AM), pp. 89–96.
CSEETCSEET-2010-LiuKC #education #testing
Teaching an End-User Testing Methodology (HL, FCK, TYC), pp. 81–88.
ITiCSEITiCSE-2010-Kumar #detection #fault #online #testing
The case for error detection support during online testing (ANK), p. 311.
ITiCSEITiCSE-2010-LappalainenIIK #agile #named #programming #testing
ComTest: a tool to impart TDD and unit testing to introductory level programming (VL, JI, VI, SK), pp. 63–67.
ESOPESOP-2010-BernardyJC #polymorphism #testing
Testing Polymorphic Properties (JPB, PJ, KC), pp. 125–144.
FoSSaCSFoSSaCS-2010-GeorgievskaA #probability #testing
Retaining the Probabilities in Probabilistic Testing Theory (SG, SA), pp. 79–93.
TACASTACAS-2010-BallBCMQ #concurrent #performance #testing
Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
TACASTACAS-2010-Belinfante #execution #modelling #named #online
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
CSMRCSMR-2010-MalikJAHFH #analysis #automation #comparison #enterprise #performance #scalability #testing
Automatic Comparison of Load Tests to Support the Performance Analysis of Large Enterprise Systems (HM, ZMJ, BA, AEH, PF, GH), pp. 222–231.
ICPCICPC-2010-ChanZHS #testing #visualisation
Visualizing the Results of Field Testing (BC, YZ, AEH, AS), pp. 114–123.
ICSMEICSM-2010-ChoudharyVO10a #testing #web
A cross-browser web application testing tool (SRC, HV, AO), pp. 1–6.
ICSMEICSM-2010-GergelyBGG #case study #experience #industrial #metric
Effect of test completeness and redundancy measurement on post release failures — An industrial experience report (TG, ÁB, TG, MIG), pp. 1–10.
ICSMEICSM-2010-LiQJW #automation #generative #graph #testing
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
ICSMEICSM-2010-MirzaAghaeiPP #automation #evolution #testing
Automatically repairing test cases for evolving method declarations (MM, FP, MP), pp. 1–5.
ICSMEICSM-2010-NasehiM #api #testing
Unit tests as API usage examples (SMN, FM), pp. 1–10.
ICSMEICSM-2010-PanditaXTH #generative #test coverage #testing
Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
ICSMEICSM-2010-QusefOL #testing #traceability
Recovering traceability links between unit tests and classes under test: An improved method (AQ, RO, ADL), pp. 1–10.
ICSMEICSM-2010-SaleckerG #graph #testing #using
Pairwise test set calculation using k-partite graphs (ES, SG), pp. 1–5.
ICSMEICSM-2010-TilleyP #migration #testing
Migrating software testing to the cloud (SRT, TP), p. 1.
ICSMEICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing
Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
WCREWCRE-2010-GreilerGD #comprehension #perspective #plugin #testing
Understanding Plug-in Test Suites from an Extensibility Perspective (MG, HGG, AvD), pp. 67–76.
WCREWCRE-2010-Sabane #architecture #testing
Improving System Testability and Testing with Microarchitectures (AS), pp. 309–312.
PEPMPEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing
PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
STOCSTOC-2010-KarninMSV #bound #multi #testing
Deterministic identity testing of depth-4 multilinear circuits with bounded top fan-in (ZSK, PM, AS, IV), pp. 649–658.
STOCSTOC-2010-KoppartyS #fault #linear #random #testing
Local list-decoding and testing of random linear codes from high error (SK, SS), pp. 417–426.
FLOPSFLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing
Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
CIAACIAA-2010-ReidenbachS #polynomial #regular expression #scalability
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions (DR, MLS), pp. 241–250.
ICALPICALP-v1-2010-Cheraghchi #adaptation #testing
Improved Constructions for Non-adaptive Threshold Group Testing (MC), pp. 552–564.
ICALPICALP-v1-2010-Georgiadis #graph #testing
Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths in Digraphs (LG), pp. 738–749.
ICALPICALP-v1-2010-RubinfeldX #independence #testing
Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
ICALPICALP-v1-2010-RudraU #algorithm #data type #testing
Data Stream Algorithms for Codeword Testing (AR, SU), pp. 629–640.
ICALPICALP-v1-2010-ShpilkaV #on the #polynomial #testing
On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors (AS, IV), pp. 408–419.
SEFMSEFM-2010-CristiaAM #detection #framework #testing
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.
SEFMSEFM-2010-EscobedoGGC #approach #testing #web #web service
Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
SEFMSEFM-2010-GallerWW #contract #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
SEFMSEFM-2010-LarsenLB #combinator #testing
Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.
SEFMSEFM-2010-TudoseO #design pattern #execution #symbolic computation #testing #using
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.
LISPILC-2010-Maraist #lisp #named #testing
NST: a unit testing system for common Lisp (JM), pp. 53–64.
CHICHI-2010-ChangYM #testing #user interface #using
GUI testing using computer vision (THC, TY, RCM), pp. 1535–1544.
CHICHI-2010-HogganB #interface #multimodal #named #testing
Crosstrainer: testing the use of multimodal interfaces in situ (EEH, SAB), pp. 333–342.
CHICHI-2010-LiCEDL #automation #interactive #logic #named #prototype #testing
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests (YL, XC, KE, MD, JAL), pp. 503–512.
CHICHI-2010-Olmsted-HawalaMHA #comparison #protocol #testing #usability #web
Think-aloud protocols: a comparison of three think-aloud protocols for use in testing data-dissemination web sites for usability (ELOH, EDM, SH, KTA), pp. 2381–2390.
CHICHI-2010-SauroL #question #testing #usability #what
Average task times in usability tests: what to report? (JS, JRL), pp. 2347–2350.
ICEISICEIS-AIDSS-2010-SofokleousKA #automation #search-based #testing
Automatic Search-based Testing with the Required k-tuples Criterion (AAS, AK, ASA), pp. 250–255.
CIKMCIKM-2010-LeeC #grammar recovery #testing #xml
XML schema computations: schema compatibility testing and subschema extraction (TYtL, DWWC), pp. 839–848.
CIKMCIKM-2010-SonPS #classification #estimation #learning #naive bayes
Learning naïve bayes transfer classifier throughclass-wise test distribution estimation (JWS, SBP, HJS), pp. 1729–1732.
ECIRECIR-2010-LykkeLLI #evaluation
Developing a Test Collection for the Evaluation of Integrated Search (ML, BL, HL, PI), pp. 627–630.
ICMLICML-2010-ZhuGJRHK #learning #modelling
Cognitive Models of Test-Item Effects in Human Category Learning (XZ, BRG, KSJ, TTR, JH, CK), pp. 1247–1254.
ICPRICPR-2010-DengH #composition #detection #exponential #process
Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.
ICPRICPR-2010-SethP #independence #parametricity
A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
ICPRICPR-2010-WuS #approach #identification #testing
A Hypothesis Testing Approach for Fluorescent Blob Identification (LSW, SLS), pp. 2476–2479.
KDDKDD-2010-Steck #random #recommendation #testing
Training and testing of recommender systems on data missing not at random (HS), pp. 713–722.
KRKR-2010-SanthanamBH #performance #testing
Efficient Dominance Testing for Unconditional Preferences (GRS, SB, VH).
SEKESEKE-2010-AbuzeidHT #algorithm #performance #reduction #testing
FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction (ARA, HSH, IAHT), p. 67.
SEKESEKE-2010-AndresMN #algorithm #multi #search-based #testing
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
SEKESEKE-2010-BernhartAMG #automation #case study #experience #framework #integration #testing #verification
Automated Integration Testing and Verification of a Secured SOA Infrastructure — an Experience Report in eHealth (MB, TA, AM, TG), pp. 198–202.
SEKESEKE-2010-DuanCZQY #clustering #slicing #testing
Improving Cluster Selection Techniques of Regression Testing by Slice Filtering (YD, ZC, ZZ, JQ, ZY), pp. 253–258.
SEKESEKE-2010-MoserDB #automation #generative #ontology #simulation #testing
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
SEKESEKE-2010-NakagawaTM #configuration management #testing
Software Configuration Management as a Crosscutting Concern: An Example on Software Testing (EYN, JVTT, JCM), pp. 628–633.
SEKESEKE-2010-NasserDM #framework #generative #ontology #testing
An Ontology-based Software Test Generation Framework (VHN, WD, DM), pp. 192–197.
SEKESEKE-2010-PatelGS #effectiveness #maintenance #named #testing #web
TestDrive — A Cost Effective Way to Create and Maintain Test Scripts for Web Applications (SP, PG, PS), pp. 474–476.
SEKESEKE-2010-PinheiroGMS #automation #industrial #testing
Introducing Automated Environment Configuration Testing in an Industrial Setting (CP, VG, FM, JS), pp. 186–191.
SEKESEKE-2010-RodriguesVZ #automation #modelling #product line #testing #using
PLeTs-Test Automation using Software Product Lines and Model Based Testing (EdMR, LDV, AFZ), pp. 483–488.
SEKE