Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Mark Harman, Henry Muccini, Wolfram Schulte, and Tao Xie. 10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{harman_et_al:DagSemProc.10111.1, author = {Harman, Mark and Muccini, Henry and Schulte, Wolfram and Xie, Tao}, title = {{10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.1}, URN = {urn:nbn:de:0030-drops-26267}, doi = {10.4230/DagSemProc.10111.1}, annote = {Keywords: Software testing, Test generation, Test automation, Test oracles, Testing tools, Human-computer interaction, Code-based testing, Specification-based testing} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Mark Harman, Henry Muccini, Wolfram Schulte, and Tao Xie. 10111 Executive Summary – Practical Software Testing: Tool Automation and Human Factors. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{harman_et_al:DagSemProc.10111.2, author = {Harman, Mark and Muccini, Henry and Schulte, Wolfram and Xie, Tao}, title = {{10111 Executive Summary – Practical Software Testing: Tool Automation and Human Factors}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.2}, URN = {urn:nbn:de:0030-drops-26234}, doi = {10.4230/DagSemProc.10111.2}, annote = {Keywords: Software testing, Test generation, Test automation, Test oracles, Testing tools, Humancomputer interaction, Code-based testing, Specification-based te} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Nadia Alshahwan, Yue Jia, Kiran Lakhotia, Gordon Fraser, David Shuler, and Paolo Tonella. AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{alshahwan_et_al:DagSemProc.10111.3, author = {Alshahwan, Nadia and Jia, Yue and Lakhotia, Kiran and Fraser, Gordon and Shuler, David and Tonella, Paolo}, title = {{AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.3}, URN = {urn:nbn:de:0030-drops-26180}, doi = {10.4230/DagSemProc.10111.3}, annote = {Keywords: Test case generation, code analysis, automated software testing} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Andrew J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, and Mark Grechanik. Computing and Diagnosing Changes in Unit Test Energy Consumption. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{ko_et_al:DagSemProc.10111.4, author = {Ko, Andrew J. and Young, Michal and Andrews, Jamie and Robinson, Brian P. and Grechanik, Mark}, title = {{Computing and Diagnosing Changes in Unit Test Energy Consumption}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.4}, URN = {urn:nbn:de:0030-drops-26248}, doi = {10.4230/DagSemProc.10111.4}, annote = {Keywords: Energy, oracles} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, and Michael W. Whalen. FITE - Future Integrated Testing Environment. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{godefroid_et_al:DagSemProc.10111.5, author = {Godefroid, Patrice and Mariani, Leonardo and Polini, Andrea and Tillmann, Nikolai and Visser, Willem and Whalen, Michael W.}, title = {{FITE - Future Integrated Testing Environment}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.5}, URN = {urn:nbn:de:0030-drops-26191}, doi = {10.4230/DagSemProc.10111.5}, annote = {Keywords: Incremental analysis, incremental testing, human factors, static analysis, model checking} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Eileen Kraemer and Laura Dillon. Groundwork for the Development of Testing Plans for Concurrent Software. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{kraemer_et_al:DagSemProc.10111.6, author = {Kraemer, Eileen and Laura Dillon}, title = {{Groundwork for the Development of Testing Plans for Concurrent Software}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.6}, URN = {urn:nbn:de:0030-drops-26215}, doi = {10.4230/DagSemProc.10111.6}, annote = {Keywords: Concurrency, Testing} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam Porter, John Penix, Per Runeson, and Shin Yoo. Introducing Continuous Systematic Testing of Evolving Software. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{harrold_et_al:DagSemProc.10111.7, author = {Harrold, Mary Jean and Marinov, Darko and Oney, Stephen and Pezz\`{e}, Mauro and Porter, Adam and Penix, John and Runeson, Per and Yoo, Shin}, title = {{Introducing Continuous Systematic Testing of Evolving Software}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.7}, URN = {urn:nbn:de:0030-drops-26228}, doi = {10.4230/DagSemProc.10111.7}, annote = {Keywords: Regression testing, continuous testing, test selection} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Antonia Bertolino, Wolfgang Grieskamp, Robert Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit Paradkar, David Rosenblum, and Jan Tretmans. Model-Based Testing for the Cloud. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bertolino_et_al:DagSemProc.10111.8, author = {Bertolino, Antonia and Grieskamp, Wolfgang and Hierons, Robert and Le Traon, Yves and Legeard, Bruno and Muccini, Henry and Paradkar, Amit and Rosenblum, David and Tretmans, Jan}, title = {{Model-Based Testing for the Cloud}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.8}, URN = {urn:nbn:de:0030-drops-26251}, doi = {10.4230/DagSemProc.10111.8}, annote = {Keywords: Cloud computing, Model based testing, Non-functional properties} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Bruno Legeard. Model-based Testing: Next Generation Functional Software Testing. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{legeard:DagSemProc.10111.9, author = {Legeard, Bruno}, title = {{Model-based Testing: Next Generation Functional Software Testing}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.9}, URN = {urn:nbn:de:0030-drops-26207}, doi = {10.4230/DagSemProc.10111.9}, annote = {Keywords: Model-based testing, functional testing, test automation, process industrialization} }
Published in: Dagstuhl Seminar Proceedings, Volume 6301, Duplication, Redundancy, and Similarity in Software (2007)
Kiarash Mahdavi, Nicolas Gold, Zheng Li, and Mark Harman. Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. In Duplication, Redundancy, and Similarity in Software. Dagstuhl Seminar Proceedings, Volume 6301, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{mahdavi_et_al:DagSemProc.06301.4, author = {Mahdavi, Kiarash and Gold, Nicolas and Li, Zheng and Harman, Mark}, title = {{Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding}}, booktitle = {Duplication, Redundancy, and Similarity in Software}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6301}, editor = {Rainer Koschke and Ettore Merlo and Andrew Walenstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06301.4}, URN = {urn:nbn:de:0030-drops-9616}, doi = {10.4230/DagSemProc.06301.4}, annote = {Keywords: Concept Assignment, Slicing, Clustering, Heuristic Algorithms} }
Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)
Dave Binkley, Mark Harman, and Jens Krinke. 05451 Abstracts Collection – Beyond Program Slicing. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{binkley_et_al:DagSemProc.05451.1, author = {Binkley, Dave and Harman, Mark and Krinke, Jens}, title = {{05451 Abstracts Collection – Beyond Program Slicing}}, booktitle = {Beyond Program Slicing}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.1}, URN = {urn:nbn:de:0030-drops-6016}, doi = {10.4230/DagSemProc.05451.1}, annote = {Keywords: Program slicing, source code analysis and manipulation, program dependece, dependence graph} }
Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)
Sue Black, Steve Counsell, Tracy Hall, and Paul Wernick. Using Program Slicing to Identify Faults in Software. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{black_et_al:DagSemProc.05451.11, author = {Black, Sue and Counsell, Steve and Hall, Tracy and Wernick, Paul}, title = {{Using Program Slicing to Identify Faults in Software}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.11}, URN = {urn:nbn:de:0030-drops-5873}, doi = {10.4230/DagSemProc.05451.11}, annote = {Keywords: Program slicing, slicing metrics, fault proneness, software quality} }
Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)
Mark Harman, Dave Binkley, and Jens Krinke. 05451 Executive Summary – Beyond Program Slicing Dagstuhl Seminar. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{harman_et_al:DagSemProc.05451.2, author = {Harman, Mark and Binkley, Dave and Krinke, Jens}, title = {{05451 Executive Summary – Beyond Program Slicing Dagstuhl Seminar}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.2}, URN = {urn:nbn:de:0030-drops-5843}, doi = {10.4230/DagSemProc.05451.2}, annote = {Keywords: Summary} }
Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)
Silvia Breu, Marc Schlickling, and Nuno Miguel Feixa Rodrigues. 05451 Group 5 – Bananas, Dark Worlds, and AspectH. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{breu_et_al:DagSemProc.05451.3, author = {Breu, Silvia and Schlickling, Marc and Rodrigues, Nuno Miguel Feixa}, title = {{05451 Group 5 – Bananas, Dark Worlds, and AspectH}}, booktitle = {Beyond Program Slicing}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.3}, URN = {urn:nbn:de:0030-drops-4910}, doi = {10.4230/DagSemProc.05451.3}, annote = {Keywords: Haskell, code clone detection, refactoring, functional control graph} }
Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)
Sue Black and Philipp Bouillon. And Now For Something Completely Different.... In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{black_et_al:DagSemProc.05451.4, author = {Black, Sue and Bouillon, Philipp}, title = {{And Now For Something Completely Different...}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.4}, URN = {urn:nbn:de:0030-drops-5833}, doi = {10.4230/DagSemProc.05451.4}, annote = {Keywords: Group experiment, program comprehension, source code, dynamic trace, control flow graph} }
Feedback for Dagstuhl Publishing