Abstract is missing.
- Symbolic Path-Oriented Test Data Generation for Floating-Point ProgramsRoberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb. 1-10 [doi]
- Generating Effective Integration Test Cases from Unit OnesMauro Pezzè, Konstantin Rubinov, Jochen Wuttke. 11-20 [doi]
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT SolvingPablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani. 21-30 [doi]
- Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management SystemsGregory M. Kapfhammer, Phil McMinn, Chris J. Wright. 31-40 [doi]
- Real-Data Validation of Simulation Models in a Function-Based Modular FrameworkFlorian Netter, Frank Gauterin, Bjorn Butterer. 41-47 [doi]
- Test Quality Measurement Using TBPP-RJun Tang, Ruilong Huo, Jiali Yao, Shaosen Wu. 48-55 [doi]
- Transitioning Manual System Test Suites to Automated Testing: An Industrial Case StudyEmil Alegroth, Robert Feldt, Helena Holmström Olsson. 56-65 [doi]
- A Case Study of Automating User Experience-Oriented Performance Testing on SmartphonesGerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Mauro D'Angelo, Antonio Furno, Carminantonio Manganelli. 66-69 [doi]
- Defect Prioritization in the Software Industry: Challenges and OpportunitiesNilam Kaushik, Mehdi Amoui, Ladan Tahvildari, Weining Liu, Shimin Li. 70-73 [doi]
- Efficient JavaScript Mutation TestingShabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman. 74-83 [doi]
- Empirical Evaluation of the Statement Deletion Mutation OperatorLin Deng, Jeff Offutt, Nan Li. 84-93 [doi]
- Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature ReviewSunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel C. Briand. 94-103 [doi]
- A Functional Testing Approach for Hybrid Safety Properties with Incomplete InformationYves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. 104-113 [doi]
- Reconstructing Core DumpsJeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea. 114-123 [doi]
- MFL: Method-Level Fault Localization with Causal InferenceGang Shu, Boya Sun, Andy Podgurski, Feng Cao. 124-133 [doi]
- GrowthTracker: Diagnosing Unbounded Heap Growth in C++ SoftwareErik Hill, Daniel J. Tracy, Sheldon Brown. 134-143 [doi]
- Generating Unit Tests for Concurrent ClassesSebastian Steenbuck, Gordon Fraser. 144-153 [doi]
- Systematic Testing for Detecting Concurrency Errors in Erlang ProgramsMaria Christakis, Alkis Gotovos, Konstantinos F. Sagonas. 154-163 [doi]
- CHECK-THEN-ACT Misuse of Java Concurrent CollectionsYu Lin, Danny Dig. 164-173 [doi]
- Testing Database-Centric Applications for Causes of Database DeadlocksMark Grechanik, B. M. Mainul Hossain, Ugo Buy. 174-183 [doi]
- Scaling Model Checking for Test Generation Using Dynamic InferenceAnand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh. 184-191 [doi]
- Model-Based Testing of Cryptographic Components - Lessons Learned from ExperienceJulien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle. 192-201 [doi]
- Transformation Rules for Platform Independent Testing: An Empirical StudyAnders Eriksson, Birgitta Lindström, Jeff Offutt. 202-211 [doi]
- Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled ExperimentShaukat Ali, Tao Yue, Lionel C. Briand. 212-221 [doi]
- Behaviour Abstraction Coverage as Black-Box Adequacy CriteriaHernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel. 222-231 [doi]
- The Impact of Concurrent Coverage Metrics on Testing EffectivenessShin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel. 232-241 [doi]
- An Efficient Algorithm for Constraint Handling in Combinatorial Test GenerationLinbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, D. Richard Kuhn. 242-251 [doi]
- Multi-objective Cross-Project Defect PredictionGerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, Sebastiano Panichella. 252-261 [doi]
- Analysis and Prediction of Mandelbugs in an Industrial Software SystemGabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo. 262-271 [doi]
- Estimating Fault Numbers Remaining After TestingMarc Roper. 272-281 [doi]
- R2Fix: Automatically Generating Bug Fixes from Bug ReportsChen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz. 282-291 [doi]
- Oracle-based Regression Test SelectionTingting Yu, Xiao Qu, Mithun Acharya, Gregg Rothermel. 292-301 [doi]
- Coverage-Based Test Case Prioritisation: An Industrial Case StudyDaniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche. 302-311 [doi]
- Test Case Prioritization Using Requirements-Based ClusteringMd. Junaid Arafeen, Hyunsook Do. 312-321 [doi]
- Automated Detection of Test Fixture Strategies and SmellsMichaela Greiler, Arie van Deursen, Margaret-Anne D. Storey. 322-331 [doi]
- Crowdsourcing GUI TestsEelco Dolstra, Raynor Vliegendhart, Johan A. Pouwelse. 332-341 [doi]
- CrowdOracles: Can the Crowd Solve the Oracle Problem?Fabrizio Pastore, Leonardo Mariani, Gordon Fraser. 342-351 [doi]
- Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle CostSheeva Afshan, Phil McMinn, Mark Stevenson. 352-361 [doi]
- EvoSuite: On the Challenges of Test Case Generation in the Real WorldGordon Fraser, Andrea Arcuri. 362-369 [doi]
- ACTS: A Combinatorial Test Generation ToolLinbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn. 370-375 [doi]
- Combinatorial Interaction Testing with CITLABAndrea Calvagna, Angelo Gargantini, Paolo Vavassori. 376-382 [doi]
- A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model CheckerArne-Michael Törsel. 383-390 [doi]
- Smartesting CertifyIt: Model-Based Testing for Enterprise ITBruno Legeard, Arnaud Bouzy. 391-397 [doi]
- CDM-Suite: An Attributed Test Selection ToolPhilipp Luchscheider, Thomas Herpel, Reinhard German. 398-407 [doi]
- JavaPDG: A New Platform for Program Dependence AnalysisGang Shu, Boya Sun, Tim A. D. Henderson, Andy Podgurski. 408-415 [doi]
- AVA: Supporting Debugging with Failure InterpretationsFabrizio Pastore, Leonardo Mariani. 416-421 [doi]
- OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming LanguagesKazunori Sakamoto, Kiyofumi Shimojo, Ryohei Takasawa, Hironori Washizaki, Yoshiaki Fukazawa. 422-430 [doi]
- Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing ToolFrédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha. 431-438 [doi]
- JAutomate: A Tool for System- and Acceptance-test AutomationEmil Alegroth, Michel Nass, Helena Holmström Olsson. 439-446 [doi]
- LBTest: A Learning-Based Testing Tool for Reactive SystemsKarl Meinke, Muddassar A. Sindhu. 447-454 [doi]
- Business Process Compliance via Security Validation as a ServiceLuca Compagna, Pierre Guilleminot, Achim D. Brucker. 455-462 [doi]
- AURORA: AUtomatic RObustness coveRage Analysis ToolAngelo Gargantini, Marco Guarnieri, Eros Magri. 463-470 [doi]
- VERA: A Flexible Model-Based Vulnerability Testing ToolAbian Blome, Martín Ochoa, Keqin Li 0002, Michele Peroli, Mohammad Torabi Dashti. 471-478 [doi]
- A Method of Making Single Function Tests for Constituting Scenario TestsNoriaki Ichida, Takeshi Sumi, Hideto Ogasawara. 479-480 [doi]
- Formal Modeling and Verification of SDN-OpenFlowMiyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi. 481-482 [doi]
- Proposal of Testing Diagrams for Visualizing Test CasesSeiya Urata, Tetsuro Katayama. 483-484 [doi]
- Towards Better Testing of fUML ModelsFlorin Craciun, Simona Motogna, Ioan Lazar. 485-486 [doi]
- Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element LocalizationMaurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro. 487-488 [doi]
- Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration EnvironmentMorten Mossige, Arnaud Gotlieb, Hein Meling. 489-490 [doi]
- RAILROADMAP: An Agile Security Testing Framework for Web-application DevelopmentSeiji Munetoh, Nobukazu Yoshioka. 491-492 [doi]
- A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing MethodsSheikh Umar Farooq, S. M. K. Quadri, Nesar Ahmad. 493-494 [doi]
- A Toolchain for Designing and Testing XACML PoliciesAntonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti. 495-496 [doi]
- The SPaCIoS Project: Secure Provision and Consumption in the Internet of ServicesLuca Viganò. 497-498 [doi]
- GUIdiff - A Regression Testing Tool for Graphical User InterfacesSebastian Bauersfeld. 499-500 [doi]
- Security Testing with Fault-Models and PropertiesMatthias Büchler. 501-502 [doi]
- Test Generation for RTES from SysML Models: Context, Motivations and Research ProposalJean-Marie Gauthier. 503-504 [doi]
- Research Questions for Model-Based Vulnerability Testing of Web ApplicationsAlexandre Vernotte. 505-506 [doi]
- Leveraging Light-Weight Analyses to Aid Software MaintenanceZachary P. Fry, Westley Weimer. 507-508 [doi]
- Challenges of Testing for Critical Interactive SystemsValeria Lelli. 509-510 [doi]
- Understanding the Influence of Social and Technical Factors Testers in Software OrganizationsAnca Deak. 511-512 [doi]
- Identification of Anomalies in Processes of Database AlterationFrancesco Mercaldo. 513-514 [doi]