default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ICST 2013: Luxembourg
- Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-5961-0
- Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. 1-10 - Mauro Pezzè
, Konstantin Rubinov, Jochen Wuttke:
Generating Effective Integration Test Cases from Unit Ones. 11-20 - Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani:
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. 21-30 - Gregory M. Kapfhammer, Phil McMinn, Chris J. Wright:
Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems. 31-40 - Florian Netter, Frank Gauterin, Bjorn Butterer:
Real-Data Validation of Simulation Models in a Function-Based Modular Framework. 41-47 - Jun Tang, Ruilong Huo, Jiali Yao, Shaosen Wu:
Test Quality Measurement Using TBPP-R. 48-55 - Emil Alégroth, Robert Feldt, Helena Holmström Olsson:
Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study. 56-65 - Gerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Mauro D'Angelo, Antonio Furno, Carminantonio Manganelli:
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones. 66-69 - Nilam Kaushik, Mehdi Amoui, Ladan Tahvildari, Weining Liu, Shimin Li:
Defect Prioritization in the Software Industry: Challenges and Opportunities. 70-73 - Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman:
Efficient JavaScript Mutation Testing. 74-83 - Lin Deng, Jeff Offutt, Nan Li:
Empirical Evaluation of the Statement Deletion Mutation Operator. 84-93 - Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel C. Briand:
Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review. 94-103 - Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis:
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 104-113 - Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea:
Reconstructing Core Dumps. 114-123 - Gang Shu, Boya Sun, Andy Podgurski, Feng Cao:
MFL: Method-Level Fault Localization with Causal Inference. 124-133 - Erik Hill, Daniel J. Tracy, Sheldon Brown:
GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software. 134-143 - Sebastian Steenbuck, Gordon Fraser:
Generating Unit Tests for Concurrent Classes. 144-153 - Maria Christakis, Alkis Gotovos, Konstantinos Sagonas:
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. 154-163 - Yu Lin, Danny Dig:
CHECK-THEN-ACT Misuse of Java Concurrent Collections. 164-173 - Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy:
Testing Database-Centric Applications for Causes of Database Deadlocks. 174-183 - Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh:
Scaling Model Checking for Test Generation Using Dynamic Inference. 184-191 - Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle:
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. 192-201 - Anders Eriksson, Birgitta Lindström, Jeff Offutt:
Transformation Rules for Platform Independent Testing: An Empirical Study. 202-211 - Shaukat Ali, Tao Yue, Lionel C. Briand:
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. 212-221 - Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel:
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. 222-231 - Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel:
The Impact of Concurrent Coverage Metrics on Testing Effectiveness. 232-241 - Linbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, D. Richard Kuhn:
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. 242-251 - Gerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, Sebastiano Panichella:
Multi-objective Cross-Project Defect Prediction. 252-261 - Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo:
Analysis and Prediction of Mandelbugs in an Industrial Software System. 262-271 - Marc Roper:
Estimating Fault Numbers Remaining After Testing. 272-281 - Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz:
R2Fix: Automatically Generating Bug Fixes from Bug Reports. 282-291 - Tingting Yu, Xiao Qu, Mithun Acharya, Gregg Rothermel:
Oracle-based Regression Test Selection. 292-301 - Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche:
Coverage-Based Test Case Prioritisation: An Industrial Case Study. 302-311 - Md. Junaid Arafeen, Hyunsook Do:
Test Case Prioritization Using Requirements-Based Clustering. 312-321 - Michaela Greiler, Arie van Deursen, Margaret-Anne D. Storey:
Automated Detection of Test Fixture Strategies and Smells. 322-331 - Eelco Dolstra, Raynor Vliegendhart, Johan A. Pouwelse:
Crowdsourcing GUI Tests. 332-341 - Fabrizio Pastore, Leonardo Mariani, Gordon Fraser:
CrowdOracles: Can the Crowd Solve the Oracle Problem? 342-351 - Sheeva Afshan, Phil McMinn, Mark Stevenson:
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost. 352-361 - Gordon Fraser, Andrea Arcuri:
EvoSuite: On the Challenges of Test Case Generation in the Real World. 362-369 - Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn:
ACTS: A Combinatorial Test Generation Tool. 370-375 - Andrea Calvagna, Angelo Gargantini, Paolo Vavassori:
Combinatorial Interaction Testing with CITLAB. 376-382 - Arne-Michael Törsel:
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker. 383-390 - Bruno Legeard, Arnaud Bouzy:
Smartesting CertifyIt: Model-Based Testing for Enterprise IT. 391-397 - Philipp Luchscheider, Thomas Herpel, Reinhard German:
CDM-Suite: An Attributed Test Selection Tool. 398-407 - Gang Shu, Boya Sun, Tim A. D. Henderson, Andy Podgurski:
JavaPDG: A New Platform for Program Dependence Analysis. 408-415 - Fabrizio Pastore, Leonardo Mariani:
AVA: Supporting Debugging with Failure Interpretations. 416-421 - Kazunori Sakamoto, Kiyofumi Shimojo, Ryohei Takasawa, Hironori Washizaki, Yoshiaki Fukazawa:
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages. 422-430 - Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha:
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. 431-438 - Emil Alégroth, Michel Nass, Helena Holmström Olsson:
JAutomate: A Tool for System- and Acceptance-test Automation. 439-446 - Karl Meinke, Muddassar A. Sindhu:
LBTest: A Learning-Based Testing Tool for Reactive Systems. 447-454 - Luca Compagna, Pierre Guilleminot, Achim D. Brucker:
Business Process Compliance via Security Validation as a Service. 455-462 - Angelo Gargantini, Marco Guarnieri, Eros Magri:
AURORA: AUtomatic RObustness coveRage Analysis Tool. 463-470 - Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti:
VERA: A Flexible Model-Based Vulnerability Testing Tool. 471-478 - Noriaki Ichida, Takeshi Sumi, Hideto Ogasawara:
A Method of Making Single Function Tests for Constituting Scenario Tests. 479-480 - Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi:
Formal Modeling and Verification of SDN-OpenFlow. 481-482 - Seiya Urata, Tetsuro Katayama:
Proposal of Testing Diagrams for Visualizing Test Cases. 483-484 - Florin Craciun, Simona Motogna, Ioan Lazar:
Towards Better Testing of fUML Models. 485-486 - Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro:
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization. 487-488 - Morten Mossige, Arnaud Gotlieb, Hein Meling:
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. 489-490 - Seiji Munetoh, Nobukazu Yoshioka:
RAILROADMAP: An Agile Security Testing Framework for Web-application Development. 491-492 - Sheikh Umar Farooq, S. M. K. Quadri, Nesar Ahmad:
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods. 493-494 - Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti:
A Toolchain for Designing and Testing XACML Policies. 495-496 - Luca Viganò:
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. 497-498 - Sebastian Bauersfeld:
GUIdiff - A Regression Testing Tool for Graphical User Interfaces. 499-500 - Matthias Büchler:
Security Testing with Fault-Models and Properties. 501-502 - Jean-Marie Gauthier:
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal. 503-504 - Alexandre Vernotte:
Research Questions for Model-Based Vulnerability Testing of Web Applications. 505-506 - Zachary P. Fry, Westley Weimer:
Leveraging Light-Weight Analyses to Aid Software Maintenance. 507-508 - Valéria Lelli:
Challenges of Testing for Critical Interactive Systems. 509-510 - Anca Deak:
Understanding the Influence of Social and Technical Factors Testers in Software Organizations. 511-512 - Francesco Mercaldo:
Identification of Anomalies in Processes of Database Alteration. 513-514
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
