Table of Contents

• TESEM: A Tool for Verifying Security Design Pattern Applications by Model TestingTakanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya. 1-8 [doi]
• Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical StudyEmil Alégroth, Zebao Gao, Rafael Oliveira, Atif Memon. 1-10 [doi]
• On the Industrial Applicability of TextTest: An Empirical Case StudyEmil Alégroth, Geoffrey Bache, Emily Bache. 1-10 [doi]
• Prioritizing Manual Test Cases in Traditional and Rapid Release EnvironmentsHadi Hemmati, Zhihan Fang, Mika V. Mantyla. 1-10 [doi]
• Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development WorkflowEdgar J. Holleis. 1-2 [doi]
• Test Generation from Business RulesSimon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra. 1-10 [doi]
• Understanding the Test Automation Culture of App DevelopersPavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, David Lo. 1-10 [doi]
• SEViz: A Tool for Visualizing Symbolic ExecutionDavid Honfi, András Vörös, Zoltán Micskei. 1-8 [doi]
• Yes! You Can Use Your Model Checker to Verify OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Yuki Chiba. 1-10 [doi]
• Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch DevelopmentNicklas Erman, Vanja Tufvesson, Markus Borg, Per Runeson, Anders Ardö. 1-9 [doi]
• A Case Study on the Efficiency of Model-Based Testing at the European Space AgencyStefan Mohacsi, Michael Felderer, Armin Beer. 1-2 [doi]
• The MIDAS Cloud Platform for Testing SOA ApplicationsSteffen Herbold, Alberto De Francesco, Jens Grabowski, Patrick Harms, Lom-Messan Hillah, Fabrice Kordon, Ariele-Paolo Maesano, Libero Maesano, Claudia Di Napoli, Fabio De Rosa, Martin A. Schneider, Nicola Tonellotto, Marc-Florian Wendland, Pierre-Henri Wuillemin. 1-8 [doi]
• Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic ExecutionAzadeh Farzan, Andreas Holzer, Helmut Veith. 1-11 [doi]
• Classifying and Qualifying GUI DefectsValeria Lelli, Arnaud Blouin, Benoit Baudry. 1-10 [doi]
• Behind an Application Firewall, Are We Safe from SQL Injection Attacks?Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand. 1-10 [doi]
• Non-Intrusive Documentation-Driven Integration TestingFlorian Häser. 1-2 [doi]
• Postconditioned Symbolic ExecutionQiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao. 1-10 [doi]
• MetTest: A Test Automation Framework for Development of a Point-To-Multipoint RadioM. Devrim Tokcan, Onur Ozturk, Hakan Tuna. 1-2 [doi]
• Testing Web Applications Through Layout ConstraintsSylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton. 1-8 [doi]
• Sound and Quasi-Complete Detection of Infeasible Test RequirementsSébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion. 1-10 [doi]
• Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's HelpDaniel Werner. 1-5 [doi]
• Security Threat Identification and TestingRoberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta. 1-8 [doi]
• QuickChecking Static Analysis PropertiesJan Midtgaard, Anders Moller. 1-10 [doi]
• If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System TestingStephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner. 1-10 [doi]
• Generating Succinct Test Cases Using Don't Care AnalysisCuong Nguyen 0001, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen. 1-10 [doi]
• Using Multi-Locators to Increase the Robustness of Web Test CasesMaurizio Leotta, Andrea Stocco, Filippo Ricca, Paolo Tonella. 1-10 [doi]
• Reformulating Branch Coverage as a Many-Objective Optimization ProblemAnnibale Panichella, Fitsum Meshesha Kifetew, Paolo Tonella. 1-10 [doi]
• Supporting the Transition to an Agile Test MatrixRobert Korosec, Roman Pfarrhofer. 1-2 [doi]
• Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time SystemsFlorian Lorber. 1-2 [doi]
• History-Based Test Case Prioritization for Black Box Testing Using Ant Colony OptimizationTadahiro Noguchi, Hironori Washizaki, Yoshiaki Fukazawa, Atsutoshi Sato, Kenichiro Ota. 1-2 [doi]
• PLeTsPerf - A Model-Based Performance Testing ToolElder de M. Rodrigues, Maicon Bernardino, Leandro T. Costa, Avelino Francisco Zorzo, Flávio M. de Oliveira. 1-8 [doi]
• A Virtual Bank for Development and TestingDaniel Kunzle, Carl Worms. 1-2 [doi]
• NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal ModelZhuofu Bai, Gang Shu, Andy Podgurski. 1-10 [doi]
• Evaluating Symbolic Execution-Based Test ToolsLajos Cseppento, Zoltán Micskei. 1-10 [doi]
• Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development ProcessChristian El Salloum. 1-3 [doi]
• JSEFT: Automated Javascript Unit Test GenerationShabnam Mirshokraie, Ali Mesbah 0001, Karthik Pattabiraman. 1-10 [doi]
• A Scalable Big Data Test FrameworkNan Li, Anthony Escalona, Yun Guo, Jeff Offutt. 1-2 [doi]
• Detection and Localization of HTML Presentation Failures Using Computer Vision-Based TechniquesSonal Mahajan, William G. J. Halfond. 1-10 [doi]
• Mobile Testing in Software Industry Using Agile: Challenges and OpportunitiesAndreia Santos, Igor Correia. 1-2 [doi]
• MoMut: : UML Model-Based Mutation Testing for UMLWillibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl. 1-8 [doi]
• Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case SelectionDebajyoti Mondal, Hadi Hemmati, Stephane Durocher. 1-10 [doi]
• Testing Legacy Embedded Code: Landing on a Software Engineering Desert IslandManuel Oriol. 1-2 [doi]
• Optimization of Combinatorial Testing by Incremental SAT SolvingAkihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere. 1-10 [doi]
• A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation LoopsJing Xu, Yu Lei, Richard H. Carver, David Chenho Kung. 1-10 [doi]
• Model-Based Continuous Integration Testing of Responsiveness of Web ApplicationsGiorgio Brajnik, Andrea Baruzzo, Sara Fabbro. 1-2 [doi]
• Test Suite Quality Assessment Using Model Inference TechniquesHermann Felbinger. 1-2 [doi]
• Co-Evolution of Model-Based Tests for Industrial Automotive SoftwareEric J. Rapos. 1-2 [doi]
• Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing AlgorithmsTimo Huuhtanen, Juha Itkonen, Casper Lassenius. 1-10 [doi]
• Show Me New Counterexamples: A Path-Based ApproachKalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels. 1-10 [doi]
• Generating Tests for Detecting Faults in Feature ModelsPaolo Arcaini, Angelo Gargantini, Paolo Vavassori. 1-10 [doi]
• Iterative Instrumentation for Code Coverage in Time-Sensitive SystemsTosapon Pankumhang, Matthew Rutherford. 1-10 [doi]
• WebSee: A Tool for Debugging HTML Presentation FailuresSonal Mahajan, William G. J. Halfond. 1-8 [doi]
• Detecting Display Energy Hotspots in Android AppsMian Wan, Yuchen Jin, Ding Li, William G. J. Halfond. 1-10 [doi]
• Achievements, Open Problems and Challenges for Search Based Software TestingMark Harman, Yue Jia, Yuanyuan Zhang. 1-12 [doi]
• Incremental Model-Based Mutation TestingStefan Tiran. 1-2 [doi]
• Generating Complex and Faulty Test Data through Model-Based Mutation AnalysisDaniel Di Nardo, Fabrizio Pastore, Lionel C. Briand. 1-10 [doi]
• Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test CasesEric James Rapos, Jürgen Dingel. 1-10 [doi]
• Re-Using Generators of Complex Test DataSimon M. Poulding, Robert Feldt. 1-10 [doi]
• Guided Test Generation for Finding Worst-Case Stack Usage in Embedded SystemsTingting Yu, Myra B. Cohen. 1-10 [doi]
• U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical SystemsShaukat Ali, Tao Yue. 1-2 [doi]