The Community for Technology Leaders
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2015)
Graz, Austria
April 13, 2015 to April 17, 2015
ISBN: 978-1-4799-1885-0
TABLE OF CONTENTS

[Front cover] (PDF)

pp. 1

[Title page] (PDF)

pp. 1

A test automation language framework for behavioral models (Abstract)

Nan Li , Research and Development, Medidata Solutions
Jeff Offutt , Software Engineering, George Mason University
pp. 1-10

On model-based testing advanced GUIs (Abstract)

Valeria Lelli , INSA Rennes, Rennes, France
Arnaud Blouin , INSA Rennes, Rennes, France
Benoit Baudry , Inria Rennes, France
Fabien Coulon , Inria Rennes, France
pp. 1-10

Test generation from timed pushdown automata with inputs and outputs (Abstract)

Hana M'Hemdi , FEMTO-ST/DISC, University of Franche-Comté 16, route de Gray F-25030 Besançon Cedex France
Jacques Julliand , FEMTO-ST/DISC, University of Franche-Comté 16, route de Gray F-25030 Besançon Cedex France
Pierre-Alain Masson , FEMTO-ST/DISC, University of Franche-Comté 16, route de Gray F-25030 Besançon Cedex France
Riadh Robbana , LIP2 and INSAT-University of Carthage, Tunisia
pp. 1-10

Model-based approach for automated test case generation from visual requirement specifications (Abstract)

Kapil Singi , Accenture Technology Labs, Accenture, India
Dipin Era , Accenture Technology Labs, Accenture, India
Vikrant Kaulgud , Accenture Technology Labs, Accenture, India
pp. 1-6

Covering both stack and states while testing push-down systems (Abstract)

Pierre-Cyrille Heam , FEMTO-ST, Université de Franche Comté - CNRS - INRIA, 16 route de Gray - 25030 Besancon, France
Hana M'Hemdi , FEMTO-ST, Université de Franche Comté - CNRS - INRIA, 16 route de Gray - 25030 Besancon, France and LIP2 Laboratory, University of Tunis El Manar, Tunisia
pp. 1-7

A model-based testing technique for component-based real-time embedded systems (Abstract)

Jing Guan , Software Engineering, George Mason University, Fairfax VA, USA
Jeff Offutt , Software Engineering, George Mason University, Fairfax VA, USA
pp. 1-10

State machine flattening, a mapping study and tools assessment (Abstract)

Xavier Devroey , PReCISE, University of Namur, Belgium
Maxime Cordy , PReCISE, University of Namur, Belgium
Pierre-Yves Schobbens , PReCISE, University of Namur, Belgium
Axel Legay , INRIA Rennes Bretagne Atlantique, France
Patrick Heymans , PReCISE, University of Namur, Belgium
pp. 1-8

Towards generation of adaptive test cases from partial models of determinized timed automata (Abstract)

Bernhard K. Aichernig , Institute for Software Technology, Graz University of Technology, Austria
Florian Lorber , Institute for Software Technology, Graz University of Technology, Austria
pp. 1-6

Scaled Agile Framework: Presentation and real world example (Abstract)

Richard Brenner , Zühlke Engineering (Austria) GmbH, Vienna, Austria
Stefan Wunder , AVL List GmbH, Graz, Austria
pp. 1-2

A guide to lean software development in action (Abstract)

Andrea Janes , Free University of Bozen-Bolzano
pp. 1-2

Test automation for NFC ICs using Jenkins and NUnit (Abstract)

Stephan Puri-Jobi , Corporate Software ams AG, Unterpremstätten, Austria
pp. 1-4

Designing sustainable information systems for organizations operating in safety critical environments (Abstract)

Wolfgang Vorraber , Department of Engineering- and Business Informatics, Graz University of Technology, Graz 8010, Austria
Gerald Lichtenegger , Department of Engineering- and Business Informatics, Graz University of Technology, Graz 8010, Austria
Dietmar Neubacher , Department of Engineering- and Business Informatics, Graz University of Technology, Graz 8010, Austria
Siegfried Voessner , Department of Engineering- and Business Informatics, Graz University of Technology, Graz 8010, Austria
pp. 1-5

Security tests for mobile applications — Why using TLS/SSL is not enough (Abstract)

Peter Kieseberg , SBA Research, Vienna, Austria
Peter Fruhwirt , SBA Research, Vienna, Austria
Sebastian Schrittwieser , University of Applied Scioences, St. Polten, Austria
Edgar Weippl , SBA Research, Vienna, Austria
pp. 1-2

A survey on mobile users' software quality perceptions and expectations (Abstract)

Andre Nitze , Department of Cooperative Studies, Berlin School of Economics and Law, D-10825 Berlin, Germany
Andreas Schmietendorf , Department of Cooperative Studies, Berlin School of Economics and Law, D-10825 Berlin, Germany
pp. 1-2

Implementing tool support for analyzing stakeholder communications in software development (Abstract)

Vladimir A. Shekhovtsov , Application Engineering Group, Institute of Applied Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria
Heinrich C. Mayr , Application Engineering Group, Institute of Applied Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria
Matija Kucko , Application Engineering Group, Institute of Applied Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria
pp. 1-10

Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practice (Abstract)

Violetta J. Wawryk , DCCS GmbH, Stuttgart, Germany
Christian Krenn , DCCS GmbH, Graz, Austria
Thomas Dietinger , DCCS GmbH, Graz, Austria
pp. 1-7

nCanto: An agile software development case study (Abstract)

Wolfgang Richter , JIPP. IT GmbH, Gleisdorf, Austria
pp. 1-2

Automated testing in the continuous delivery pipeline: A case study of an online company (Abstract)

Johannes Gmeiner , Software Competence Center Hagenberg Hagenberg, Austria
Rudolf Ramler , Software Competence Center Hagenberg Hagenberg, Austria
Julian Haslinger , University of Applied Sciences Upper Austria Hagenberg, Austria
pp. 1-6

Testing big data (Assuring the quality of large databases) (Abstract)

Harry M. Sneed , Software Quality Assurance Team, ZTP-Prentner-IT, Vienna, Austria
Katalin Erdoes , Tool Development Team, SoRing Kft., Budapest, Hungary
pp. 1-6

Test driven development for device drivers and rapid hardware prototyping (Abstract)

Dominic Eschweiler , Frankfurt Institute for Advanced Studies, Goethe University Frankfurt, Germany, D-60438 Frankfurt am Main
Volker Lindenstruth , Frankfurt Institute for Advanced Studies, Goethe University Frankfurt, Germany, D-60438 Frankfurt am Main
pp. 1-9

Design principles in test suite architecture (Abstract)

Yasuharu Nishi , The University of Electro-Communications, Tokyo Tokyo, Japan
pp. 1-4

Automated compatibility testing method for software logic by using symbolic execution (Abstract)

Keiji Uetsuki , FeliCa Networks, Inc., Tokyo, Japan
Kazuhiko Tsuda , Graduate School of Systems and Information Engineering, University of Tsukuba, Tokyo, Japan
Tohru Matsuodani , Debug Engineering Institute, Tokyo, Japan
pp. 1-6

Mining process models and architectural components from test cases (Abstract)

Vipul Shah , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
Chetan Khadke , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
Sunjit Rana , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
pp. 1-6

A study on an approach for analysing test basis using I/O test data patterns (Abstract)

Tsuyoshi Yumoto , Hewlett-Packard Japan, Ltd, Koto-ku, Tokyo, Japan
Tohru Matsuodani , Debug engineering research, laboratory, Tama-shi, Tokyo, Japan
Kazuhiko Tsuda , University of Tsukuba, Bunkyo-ku, Tokyo, Japan
pp. 1-8

Semantic analysis technique of logics retrieval for software testing from specification documents (Abstract)

Satoshi Masuda , IBM Research - Tokyo Toyosu, Tokyo, Japan
Futoshi Iwama , IBM Research - Tokyo Toyosu, Tokyo, Japan
Nobuhiro Hosokawa , IBM Research - Tokyo Toyosu, Tokyo, Japan
Tohru Matsuodani , Debug Engineering Research Laboratory, Tama-shi, Tokyo, Japan
Kazuhiko Tsuda , University of Tsukuba, Bunkyo-ku, Tokyo, Japan
pp. 1-6

Embedded functions in combinatorial test designs (Abstract)

George B. Sherwood , Testcover.com, LLC Colts Neck, NJ USA
pp. 1-10

Introducing combinatorial testing in the organization a report on a first attempt (Abstract)

Douglas Hillmer , Independent Consultant, Silver Spring, Maryland, U.S.A.
pp. 1-9

Combining minimization and generation for combinatorial testing (Abstract)

Itai Segall , Bell Labs Israel, Alcatel-Lucent
Rachel Tzoref-Brill , IBM, Haifa Research Lab
Aviad Zlotnick , IBM, Haifa Research Lab
pp. 1-9

A first systematic mapping study on combinatorial interaction testing for software product lines (Abstract)

Roberto E. Lopez-Herrejon , Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
Stefan Fischer , Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
Rudolf Ramler , Software Competence Center Hagenberg, Austria
Alexander Egyed , Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
pp. 1-10

Evaluation of the IPO-Family algorithms for test case generation in web security testing (Abstract)

Josip Bozic , Institute for Software Technology, Graz University of Technology, A-8010 Graz, Austria
Bernhard Garn , SBA Research, A-1040 Vienna, Austria
Dimitris E. Simos , SBA Research, A-1040 Vienna, Austria
Franz Wotawa , Institute for Software Technology, Graz University of Technology, A-8010 Graz, Austria
pp. 1-10

A process for nonfunctional combinatorial testing: Selection of parameter values from a nondiscrete domain space (Abstract)

Siegmar Zufle , Department of Architecture and System-Engineering, Daimler AG, 71059, Sindelfingen, Germany
Venkataraman Krishnamoorthy , Department of Architecture and System-Engineering, Daimler AG, 71059, Sindelfingen, Germany
pp. 1-4

Combinatorial interaction testing of tangled configuration options (Abstract)

Arsalan Javeed , Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey
Cemal Yilmaz , Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey
pp. 1-4

Relationship between pair-wise and MC/DC testing: Initial experimental results (Abstract)

Sergiy Vilkomir , Department of Computer Science, East Carolina University, Greenville, NC 27858
David Anderson , Department of Computer Science, East Carolina University, Greenville, NC 27858
pp. 1-4

Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions (Abstract)

Ziyuan Wang , School of Computer Science and Technology, Nanjing University of Posts and Telecommunications, Nanjing, 210023, China
Yuanchao Qi , School of Computer Science and Technology, Nanjing University of Posts and Telecommunications, Nanjing, 210023, China
pp. 1-5

Constraint handling in combinatorial test generation using forbidden tuples (Abstract)

Linbin Yu , Facebook Inc., Menlo Park, CA 94025, USA
Feng Duan , University of Texas at Arlington, Arlington, TX 76019, USA
Yu Lei , University of Texas at Arlington, Arlington, TX 76019, USA
Raghu N. Kacker , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
D. Richard Kuhn , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
pp. 1-9

Using decision trees to aid algorithm selection in combinatorial interaction tests generation (Abstract)

Angelo Gargantini , Dip. di Ingegneria, University of Bergamo-Italy
Paolo Vavassori , Dip. di Ingegneria, University of Bergamo-Italy
pp. 1-10

Flattening or not of the combinatorial interaction testing models? (Abstract)

Christopher Henard , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Mike Papadakis , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Yves Le Traon , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
pp. 1-4

Improving IPOG's vertical growth based on a graph coloring scheme (Abstract)

Feng Duan , University of Texas at Arlington, Arlington, TX 76019, USA
Yu Lei , University of Texas at Arlington, Arlington, TX 76019, USA
Linbin Yu , Facebook Inc., Menlo Park, CA 94025, USA
Raghu N. Kacker , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
D. Richard Kuhn , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
pp. 1-8

Equivalence class verification and oracle-free testing using two-layer covering arrays (Abstract)

D. Richard Kuhn , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
Raghu N. Kacker , National Institute of Standards and Technology, Gaithersburg, MD 20899, USA
Yu Lei , Computer Science & Engineering, University of Texas at Arlington, Arlington, TX, USA
Jose Torres-Jimenez , CINVESTAV-Tamaulipas, Ciudad Victoria, Tamaulipas, Mexico
pp. 1-4

BEN: A combinatorial testing-based fault localization tool (Abstract)

Laleh Sh. Ghandehari , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
Jaganmohan Chandrasekaran , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
Yu Lei , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
Raghu Kacker , Information Technology Lab, National Institute of Standards and Technology, Gaithersburg, MD, USA
D. Richard Kuhn , Information Technology Lab, National Institute of Standards and Technology, Gaithersburg, MD, USA
pp. 1-4

Faster mutation-based fault localization with a novel mutation execution strategy (Abstract)

Pei Gong , Department of Computer Science, Beijing University of Chemical Technology, Beijing 100029, P.R. China
Ruilian Zhao , Department of Computer Science, Beijing University of Chemical Technology, Beijing 100029, P.R. China
Zheng Li , Department of Computer Science, Beijing University of Chemical Technology, Beijing 100029, P.R. China
pp. 1-10

Mutation testing of memory-related operators (Abstract)

Jay Nanavati , Dept. of Computer Science University College, London
Fan Wu , Dept. of Computer Science University College, London
Mark Harman , Dept. of Computer Science University College, London
Yue Jia , Dept. of Computer Science University College, London
Jens Krinke , Dept. of Computer Science University College, London
pp. 1-10

Towards mutation analysis of Android apps (Abstract)

Lin Deng , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
Nariman Mirzaei , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
Paul Ammann , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
Jeff Offutt , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
pp. 1-10

Kernel Density Adaptive Random Testing (Abstract)

Matthew Patrick , University of Cambridge
Yue Jia , CREST, University College London
pp. 1-10

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts (Abstract)

Paolo Arcaini , Dipartimento di Ingegneria, Università degli Studi di Bergamo, Italy
Angelo Gargantini , Dipartimento di Ingegneria, Università degli Studi di Bergamo, Italy
Elvinia Riccobene , Dipartimento di Informatica, Università degli Studi di Milano, Italy
Paolo Vavassori , Dipartimento di Ingegneria, Università degli Studi di Bergamo, Italy
pp. 1-6

Mutation testing in practice using Ruby (Abstract)

Nan Li , Research and Development, Medidata Solutions
Michael West , Research and Development, Medidata Solutions
Anthony Escalona , Research and Development, Medidata Solutions
Vinicius H. S. Durelli , University of Groningen
pp. 1-6

Static analysis of mutant subsumption (Abstract)

Bob Kurtz , Software Engineering, George Mason University, Fairfax VA, USA
Paul Ammann , Software Engineering, George Mason University, Fairfax VA, USA
Jeff Offutt , Software Engineering, George Mason University, Fairfax VA, USA
pp. 1-10

Towards systematic mutations for and with ATL model transformations (Abstract)

Javier Troya , Business Informatics Group, Vienna University of Technology, Austria
Alexander Bergmayr , Business Informatics Group, Vienna University of Technology, Austria
Loli Burgueno , GISUM/Atenea Research Group, Universidad de Málaga, Spain
Manuel Wimmer , Business Informatics Group, Vienna University of Technology, Austria
pp. 1-10

Mutating aspect-oriented models to test cross-cutting concerns (Abstract)

Birgitta Lindstrom , University of Skövde, Skövde, Sweden
Sten F. Andler , University of Skövde, Skövde, Sweden
Jeff Offutt , George Mason University, Fairfax VA, USA
Paul Pettersson , Mälardalen University, Västerås, Sweden
Daniel Sundmark , Swedish Institute of Computer Science, Kista, Sweden
pp. 1-10

Definition and evaluation of mutation operators for GUI-level mutation analysis (Abstract)

Rafael A.P. Oliveira , ICMC/USP, University of Sao Paulo, Sao Carlos, Brazil
Emil Alegroth , Software Eng. and Tech., Chalmers University, Gothenburg, Sweden
Zebao Gao , Dept. of Computer Science, University of Maryland, College Park MD, USA
Atif Memon , Dept. of Computer Science, University of Maryland, College Park MD, USA
pp. 1-10

Dynamic phishing content using generative grammars (Abstract)

Sean Palka , Department of Computer Science, George Mason University, Fairfax, Virginia 22030
Damon McCoy , Department of Computer Science, George Mason University, Fairfax, Virginia 22030
pp. 1-8

Security testing for Android mHealth apps (Abstract)

Konstantin Knorr , Trier University of Applied Sciences, Germany
David Aspinall , University of Edinburgh, UK
pp. 1-8

A novel simulation approach for fault injection resistance evaluation on smart cards (Abstract)

Lionel Riviere , SAFRAN Morpho, France
Julien Bringer , SAFRAN Morpho, France
Thanh-Ha Le , SAFRAN Morpho, France
Herve Chabanne , SAFRAN Morpho, France
pp. 1-8

Automated testing of IDS rules (Abstract)

Zeeshan Afzal , Department of Computer Science, Karlstad University, Sweden
Stefan Lindskog , Department of Computer Science, Karlstad University, Sweden
pp. 1-2

Tool support for secure programming by security testing (Abstract)

Keqin Li , SAP Product Security Research, France
Cedric Hebert , SAP Product Security Research, France
Jan Lindemann , SAP Product Security Research, France
Michael Sauter , SAP Product Security Research, France
Holger Mack , SAP SE, Germany
Tom Schroer , SAP SE, Germany
Abhay Tiple , SAP SE, Germany
pp. 1-4

Industry-academia collaboration in software testing: An overview of TAIC PART 2015 (Abstract)

Nadia Alshahwan , JPMorgan Chase & Co., London, UK
Michael Felderer , Institute of Computer Science, University of Innsbruck, Innsbruck, Austria
Rudolf Ramler , Software Competence Center Hagenberg, Hagenberg, Austria
pp. 1-2

Combining model-based and risk-based testing for effective test case generation (Abstract)

Ceren Sahin Gebizli , Vestel Electronics, Manisa, Turkey
Duygu Metin , Vestel Electronics, Manisa, Turkey
Hasan Sozer , Ozyegin University, Istanbul, Turkey
pp. 1-4

Requirements document based test scenario generation for web application scenario testing (Abstract)

Xiaojing Zhang , Software Innovation Center, NTT, Tokyo, Japan
Haruto Tanno , Software Innovation Center, NTT, Tokyo, Japan
pp. 1-3

Testing AUTOSAR software with QuickCheck (Abstract)

Thomas Arts , Quviq AB, Gothenburg, Sweden
John Hughes , Quviq and Chalmers University of Technology
Ulf Norell , Quviq AB, Gothenburg, Sweden
Hans Svensson , Quviq AB, Gothenburg, Sweden
pp. 1-4

Testing of a telecommunication protocol using constraint programming (Abstract)

Olga Grinchtein , Ericsson AB Stockholm, Sweden
Mats Carlsson , SICS, Stockholm, Sweden
Justin Pearson , Department of Information Technology, Uppsala University, Sweden
pp. 1-3

Test automation for multi-touch user interfaces of industrial applications (Abstract)

Thomas Wetzlmaier , Software Competence Center Hagenberg, Softwarepark 21, 4232 Hagenberg, Austria
Mario Winterer , Software Competence Center Hagenberg, Softwarepark 21, 4232 Hagenberg, Austria
pp. 1-3

Writing unit tests: It's now or never! (Abstract)

Claus Klammer , Software Competence Center Hagenberg GmbH, Softwarepark 21, 4232 Hagenberg, Austria
Albin Kern , Engel Austria GmbH, Ludwig-Engel-Straße 1, 4311 Schwertberg, Austria
pp. 1-4

Mapping software testing practice with software testing research — SERP-test taxonomy (Abstract)

Emelie Engstrom , Dept. of Computer Science, Lund University, Sweden
Kai Petersen , School of Computing, Blekinge Institute of Technology, Sweden
pp. 1-4

A process to increase the model quality in the context of model-based testing (Abstract)

Vladimir Entin , Software Quality Assurance, Omicron electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Mathias Winder , Software Quality Assurance, Omicron electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Bo Zhang , Software Quality Assurance, Omicron electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Andreas Claus , Software Quality Assurance, Omicron electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
pp. 1-7

Lessons learnt from using DSLs for automated software testing (Abstract)

Mark Micallef , PEST Research Lab, Faculty of Information & Communication Technology, University of Malta
Christian Colombo , PEST Research Lab, Faculty of Information & Communication Technology, University of Malta
pp. 1-6

Graphical editing support for QuickCheck models (Abstract)

Thomas Arts , QuviQ AB, Göteborg, Sweden
Kirill Bogdanov , Dept of Computer Science, The University of Sheffield, Sheffield S1 4DP, UK
Alex Gerdes , QuviQ AB and Chalmers University of Technology, Goteborg, Sweden
John Hughes , QuviQ AB and Chalmers University of Technology, Goteborg, Sweden
pp. 1-6

Automotive system testing by independent guarded assertions (Abstract)

Thomas Gustafsson , Scania CV AB, Södertälje, Sweden
Mats Skoglund , Swedish Institute of Computer Science, Kista, Sweden
Avenir Kobetski , Swedish Institute of Computer Science, Kista, Sweden
Daniel Sundmark , Swedish Institute of Computer Science, Kista, Sweden
pp. 1-7

Software quality research: From processes to model-based techniques (Abstract)

Bernhard Peischl , Softnet Austria, Inffeldgasse 16b/II, 8010 Graz, Austria
pp. 1-6

Beyond code coverage — An approach for test suite assessment and improvement (Abstract)

David Tengeri , Department of Software Engineering, University of Szeged, Szeged, Hungary
Arpad Beszedes , Department of Software Engineering, University of Szeged, Szeged, Hungary
Tamas Gergely , Department of Software Engineering, University of Szeged, Szeged, Hungary
Laszlo Vidacs , MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Szeged, Hungary
David Havas , Department of Software Engineering, University of Szeged, Szeged, Hungary
Tibor Gyimothy , Department of Software Engineering, University of Szeged, Szeged, Hungary
pp. 1-7

A learning-based method for detecting defective classes in object-oriented systems (Abstract)

Cagil Biray , Ericsson Turkey R&D, Istanbul, Turkey
Feza Buzluca , Computer Engineering Department, Istanbul Technical University, Istanbul, Turkey
pp. 1-8

Supporting software product line testing by optimizing code configuration coverage (Abstract)

Laszlo Vidacs , MTA-SZTE Research Group on Artificial Intelligence, Szeged, Hungary
Ferenc Horvath , University of Szeged, Szeged, Hungary
Jozsef Mihalicza , NNG LLC, Budapest, Hungary
Bela Vancsics , University of Szeged, Szeged, Hungary
Arpad Beszedes , University of Szeged, Szeged, Hungary
pp. 1-7
101 ms
(Ver 3.3 (11022016))