@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
@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.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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing