Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kbse/ase2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/kbse/AgarwalSWS05,
author = {Rahul Agarwal and
Amit Sasturkar and
Liqiang Wang and
Scott D. Stoller},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Optimized run-time race detection and atomicity checking using partial
discovered types},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {233--242},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101944},
doi = {10.1145/1101908.1101944},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AgarwalSWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanBLLT05,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Mikael Lindvall and
Benjamin Lux and
Stefan Topp},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Application of design for verification with concurrency controllers
to air traffic control software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {14--23},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101914},
doi = {10.1145/1101908.1101914},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Betin-CanBLLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlackK05,
author = {Paul E. Black and
Michael Kass},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Software security assurance tools, techniques and metrics {(SSATTM)}},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {461},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1102001},
doi = {10.1145/1101908.1102001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlackK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlewittBS05,
author = {Alex Blewitt and
Alan Bundy and
Ian Stark},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automatic verification of design patterns in Java},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {224--232},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101943},
doi = {10.1145/1101908.1101943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlewittBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BryceC05,
author = {Ren{\'{e}}e C. Bryce and
Charles J. Colbourn},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Constructing interaction test suites with greedy algorithms},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {440--443},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101994},
doi = {10.1145/1101908.1101994},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BryceC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CaiS05,
author = {Yuanfang Cai and
Kevin J. Sullivan},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Simon: modeling and analysis of design space structures},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {329--332},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101962},
doi = {10.1145/1101908.1101962},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CaiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CassO05,
author = {Aaron G. Cass and
Leon J. Osterweil},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Process support to help novices design software faster and better},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {295--299},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101954},
doi = {10.1145/1101908.1101954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CassO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenM05,
author = {Tsong Yueh Chen and
Robert G. Merkel},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Quasi-random testing},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {309--312},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101957},
doi = {10.1145/1101908.1101957},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChenM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CoppitL05,
author = {David Coppit and
Jiexin Lian},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {yagg: an easy-to-use generator for structured test inputs},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {356--359},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101969},
doi = {10.1145/1101908.1101969},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CoppitL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CouchotGK05,
author = {Jean{-}Fran{\c{c}}ois Couchot and
Alain Giorgetti and
Nikolai Kosmatov},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A uniform deductive approach for parameterized protocol safety},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {364--367},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101971},
doi = {10.1145/1101908.1101971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CouchotGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DenmatDR05,
author = {Tristan Denmat and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Data mining and cross-checking of execution traces: a re-interpretation
of Jones, Harrold and Stasko test information},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {396--399},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101979},
doi = {10.1145/1101908.1101979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DenmatDR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DenneyFHJ05,
author = {Ewen Denney and
Bernd Fischer and
Dieter Hutter and
Mark Jones},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Software certificate management (SoftCeMent'05)},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {463},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1102003},
doi = {10.1145/1101908.1102003},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DenneyFHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DiaconescuM05,
author = {Ada Diaconescu and
John Murphy},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automating the performance management of component-based enterprise
systems through the use of redundancy},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {44--53},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101918},
doi = {10.1145/1101908.1101918},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DiaconescuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Dolstra05,
author = {Eelco Dolstra},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Secure sharing between untrusted users in a transparent source/binary
deployment model},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {154--163},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101933},
doi = {10.1145/1101908.1101933},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Dolstra05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DominguezD05,
author = {Alma L. Juarez Dominguez and
Nancy A. Day},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Compositional reasoning for port-based distributed systems},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {376--379},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101974},
doi = {10.1145/1101908.1101974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DominguezD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EasterbrookU05,
author = {Steve M. Easterbrook and
Sebasti{\'{a}}n Uchitel},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Introduction to doctoral symposium},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {435},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101992},
doi = {10.1145/1101908.1101992},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EasterbrookU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EgyedBHG05,
author = {Alexander Egyed and
Stefan Biffl and
Matthias Heindl and
Paul Gr{\"{u}}nbacher},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Determining the cost-quality trade-off for automated software traceability},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {360--363},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101970},
doi = {10.1145/1101908.1101970},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/EgyedBHG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EhrigEHT05,
author = {Karsten Ehrig and
Claudia Ermel and
Stefan H{\"{a}}nsgen and
Gabriele Taentzer},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Generation of visual editors as eclipse plug-ins},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {134--143},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101930},
doi = {10.1145/1101908.1101930},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EhrigEHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EngelsE05,
author = {Gregor Engels and
Martin Erwig},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {ClassSheets: automatic generation of spreadsheet applications from
object-oriented specifications},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {124--133},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101929},
doi = {10.1145/1101908.1101929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EngelsE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ErikssonMBB05,
author = {Magnus Eriksson and
Henrik Morast and
J{\"{u}}rgen B{\"{o}}rstler and
Kjell Borg},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {The {PLUSS} toolkit - extending telelogic {DOORS} and IBM-rational
rose to support product line use case modeling},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {300--304},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101955},
doi = {10.1145/1101908.1101955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ErikssonMBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FalbPRJAK05,
author = {J{\"{u}}rgen Falb and
Roman Popp and
Thomas R{\"{o}}ck and
Helmut Jelinek and
Edin Arnautovic and
Hermann Kaindl},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Using communicative acts in high-level specifications of user interfaces
for their automated synthesis},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {429--430},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101988},
doi = {10.1145/1101908.1101988},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FalbPRJAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FredrikssonTC05,
author = {Johan Fredriksson and
Massimo Tivoli and
Ivica Crnkovic},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A component-based development framework for supporting functional
and non-functional analysis in control system design},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {368--371},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101972},
doi = {10.1145/1101908.1101972},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/FredrikssonTC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FriasGSB05,
author = {Marcelo F. Frias and
Rodolfo Gamarra and
Gabriela Steren and
Lorena Bourg},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A strategy for efficient verification of relational specifications,
based on monotonicity analysis},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {305--308},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101956},
doi = {10.1145/1101908.1101956},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FriasGSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Fuggetta05,
author = {Alfonso Fuggetta},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {The power of software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {1},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101909},
doi = {10.1145/1101908.1101909},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Fuggetta05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GeW05,
author = {Guozheng Ge and
E. James Whitehead Jr.},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Bamboo: an architecture modeling and code generation framework for
configuration management systems},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {427--428},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101987},
doi = {10.1145/1101908.1101987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GeW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A rigorous approach for proving model refactorings},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {372--375},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101973},
doi = {10.1145/1101908.1101973},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GotliebDB05,
author = {Arnaud Gotlieb and
Tristan Denmat and
Bernard Botella},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Constraint-based test data generation in the presence of stack-directed
pointers},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {313--316},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101958},
doi = {10.1145/1101908.1101958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GotliebDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Grov05,
author = {Gudmund Grov},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Verifying the correctness of hume programs: an approach combining
deductive and algorithmic reasoning},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {444--447},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101995},
doi = {10.1145/1101908.1101995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Grov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuptaHZG05,
author = {Neelam Gupta and
Haifeng He and
Xiangyu Zhang and
Rajiv Gupta},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Locating faulty code using failure-inducing chops},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {263--272},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101948},
doi = {10.1145/1101908.1101948},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GuptaHZG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HalfondO05,
author = {William G. J. Halfond and
Alessandro Orso},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {{AMNESIA:} analysis and monitoring for NEutralizing SQL-injection
attacks},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {174--183},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101935},
doi = {10.1145/1101908.1101935},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HalfondO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HaoPZZMS05,
author = {Dan Hao and
Ying Pan and
Lu Zhang and
Wei Zhao and
Hong Mei and
Jiasu Sun},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A similarity-aware approach to testing based fault localization},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {291--294},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101953},
doi = {10.1145/1101908.1101953},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HaoPZZMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HaydarBPS05,
author = {May Haydar and
Sergiy Boroday and
Alexandre Petrenko and
Houari A. Sahraoui},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Properties and scopes in web model checking},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {400--404},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101980},
doi = {10.1145/1101908.1101980},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HaydarBPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HeartyFNC05,
author = {Peter Stewart Hearty and
Norman E. Fenton and
Martin Neil and
Patrick Cates},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automated population of causal models for improved software risk assessment},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {433--434},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101990},
doi = {10.1145/1101908.1101990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HeartyFNC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HennessyP05,
author = {Mark Hennessy and
James F. Power},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {An analysis of rule coverage as a criterion in generating minimal
test suites for grammar-based software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {104--113},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101926},
doi = {10.1145/1101908.1101926},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HennessyP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HoffmanY05,
author = {Daniel Hoffman and
Kevin Yoo},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Blowtorch: a framework for firewall test automation},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {96--103},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101925},
doi = {10.1145/1101908.1101925},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HoffmanY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/InverardiMTA05,
author = {Paola Inverardi and
Leonardo Mostarda and
Massimo Tivoli and
Marco Autili},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Synthesis of correct and distributed adaptors for component-based
systems: an automatic approach},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {405--409},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101981},
doi = {10.1145/1101908.1101981},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/InverardiMTA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JonesH05,
author = {James A. Jones and
Mary Jean Harrold},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Empirical evaluation of the tarantula automatic fault-localization
technique},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {273--282},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101949},
doi = {10.1145/1101908.1101949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JonesH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JurjensY05,
author = {Jan J{\"{u}}rjens and
Mark Yampolskiy},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Code security analysis with assertions},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {392--395},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101978},
doi = {10.1145/1101908.1101978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JurjensY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KapfhammerSM05,
author = {Gregory M. Kapfhammer and
Mary Lou Soffa and
Daniel Moss{\'{e}}},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Testing in resource constrained execution environments},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {418--422},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101984},
doi = {10.1145/1101908.1101984},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KapfhammerSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KashyapG05,
author = {Sujatha Kashyap and
Vijay K. Garg},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Exploiting predicate structure for efficient reachability detection},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {4--13},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101913},
doi = {10.1145/1101908.1101913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KashyapG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Kemmerer05,
author = {Richard A. Kemmerer},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Designing and implementing a family of intrusion detection systems},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {3},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101911},
doi = {10.1145/1101908.1101911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Kemmerer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KoschkeQ05,
author = {Rainer Koschke and
Jochen Quante},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {On dynamic feature location},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {86--95},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101923},
doi = {10.1145/1101908.1101923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KoschkeQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LangelierSP05,
author = {Guillaume Langelier and
Houari A. Sahraoui and
Pierre Poulin},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Visualization-based analysis of quality for large-scale software systems},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {214--223},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101941},
doi = {10.1145/1101908.1101941},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LangelierSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LienhardDA05,
author = {Adrian Lienhard and
St{\'{e}}phane Ducasse and
Gabriela Ar{\'{e}}valo},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Identifying traits with formal concept analysis},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {66--75},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101921},
doi = {10.1145/1101908.1101921},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LienhardDA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LinG05,
author = {Yuehua Lin and
Jeff Gray},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A model transformation approach to automatic model construction and
evolution},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {448--451},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101996},
doi = {10.1145/1101908.1101996},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LinG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuGH05,
author = {Na Liu and
John C. Grundy and
John G. Hosking},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A visual language and environment for composing web services},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {321--324},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101960},
doi = {10.1145/1101908.1101960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiuGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuLWCC05,
author = {Xiyang Liu and
Hehui Liu and
Bin Wang and
Ping Chen and
Xiyao Cai},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A unified fitness function calculation rule for flag conditions to
improve evolutionary testing},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {337--341},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101964},
doi = {10.1145/1101908.1101964},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiuLWCC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaleticACH05,
author = {Jonathan I. Maletic and
Giuliano Antoniol and
Jane Cleland{-}Huang and
Jane Huffman Hayes},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {3rd international workshop on traceability in emerging forms of software
engineering {(TEFSE} 2005)},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {462},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1102002},
doi = {10.1145/1101908.1102002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MaleticACH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Mayer05,
author = {Johannes Mayer},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Lattice-based adaptive random testing},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {333--336},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101963},
doi = {10.1145/1101908.1101963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Mayer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MehraGH05,
author = {Akhil Mehra and
John C. Grundy and
John G. Hosking},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A generic approach to supporting diagram differencing and merging
for collaborative design},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {204--213},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101940},
doi = {10.1145/1101908.1101940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MehraGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MenziesPCH05,
author = {Tim Menzies and
Daniel Port and
Zhihao Chen and
Jairus Hihn},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Specialization and extrapolation of software cost models},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {384--387},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101976},
doi = {10.1145/1101908.1101976},
timestamp = {Tue, 11 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MenziesPCH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Milanova05,
author = {Ana L. Milanova},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Precise identification of composition relationships for {UML} class
diagrams},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {76--85},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101922},
doi = {10.1145/1101908.1101922},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Milanova05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MokhtarLGI05,
author = {Sonia Ben Mokhtar and
Jinshan Liu and
Nikolaos Georgantas and
Val{\'{e}}rie Issarny},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {QoS-aware dynamic service composition in ambient intelligence environments},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {317--320},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101959},
doi = {10.1145/1101908.1101959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MokhtarLGI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Nejati05,
author = {Shiva Nejati},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Formal support for merging and negotiation},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {456--460},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101998},
doi = {10.1145/1101908.1101998},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Nejati05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NejatiC05,
author = {Shiva Nejati and
Marsha Chechik},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Let's agree to disagree},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {287--290},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101952},
doi = {10.1145/1101908.1101952},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NejatiC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Reiss05,
author = {Steven P. Reiss},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A component model for internet-scale applications},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {34--43},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101917},
doi = {10.1145/1101908.1101917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Reiss05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RudolphM05,
author = {Carsten Rudolph and
Antonio Mana},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Specification and automated processing of security requirements (SAPS'05)},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {460},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1102000},
doi = {10.1145/1101908.1102000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RudolphM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RungtaM05,
author = {Neha Rungta and
Eric G. Mercer},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A context-sensitive structural heuristic for guided search model checking},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {410--413},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101982},
doi = {10.1145/1101908.1101982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RungtaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SaffAPE05,
author = {David Saff and
Shay Artzi and
Jeff H. Perkins and
Michael D. Ernst},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automatic test factoring for java},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {114--123},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101927},
doi = {10.1145/1101908.1101927},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SaffAPE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SampaioCR05,
author = {Am{\'{e}}rico Sampaio and
Ruzanna Chitchyan and
Paul Rayson},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {EA-Miner: a tool for automating aspect-oriented requirements identification},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {352--355},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101967},
doi = {10.1145/1101908.1101967},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SampaioCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShankarASX05,
author = {Subash Shankar and
Sinan Asa and
Vladimir Sipos and
Xiaowei Xu},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Reasoning about real-time statecharts in the presence of semantic
variations},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {243--252},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101945},
doi = {10.1145/1101908.1101945},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ShankarASX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShepherdPPC05,
author = {David C. Shepherd and
Jeffrey Palm and
Lori L. Pollock and
Mark Chu{-}Carroll},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Timna: a framework for automatically combining aspect mining analyses},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {184--193},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101937},
doi = {10.1145/1101908.1101937},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ShepherdPPC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimmondsB05,
author = {Jocelyn Simmonds and
M. Cecilia Bastarrica},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A tool for automatic {UML} model consistency checking},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {431--432},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101989},
doi = {10.1145/1101908.1101989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SimmondsB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SprenkleGSP05,
author = {Sara Sprenkle and
Emily Gibson and
Sreedevi Sampath and
Lori L. Pollock},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automated replay and failure detection for web applications},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {253--262},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101947},
doi = {10.1145/1101908.1101947},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SprenkleGSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Swartout05,
author = {William R. Swartout},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Virtual humans: lessons learned in integrating a large-scale {AI}
project},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {2},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101910},
doi = {10.1145/1101908.1101910},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Swartout05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SwintPJYKWCSM05,
author = {Galen S. Swint and
Calton Pu and
Gueyoung Jung and
Wenchang Yan and
Younggyun Koh and
Qinyi Wu and
Charles Consel and
Akhil Sahai and
Koichi Moriyama},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Clearwater: extensible, flexible, modular code generation},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {144--153},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101931},
doi = {10.1145/1101908.1101931},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SwintPJYKWCSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Tan05,
author = {Li Tan},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Model-based self-monitoring embedded programs with temporal logic
specifications},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {380--383},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101975},
doi = {10.1145/1101908.1101975},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Tan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TibermacineFS05,
author = {Chouki Tibermacine and
R{\'{e}}gis Fleurquin and
Salah Sadou},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {NFRs-aware architectural evolution of component-based software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {388--391},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101977},
doi = {10.1145/1101908.1101977},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/TibermacineFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/UbayashiMMT05,
author = {Naoyasu Ubayashi and
Genki Moriyama and
Hidehiko Masuhara and
Tetsuo Tamai},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A parameterized interpreter for modeling different {AOP} mechanisms},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {194--203},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101938},
doi = {10.1145/1101908.1101938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/UbayashiMMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VardhanV05,
author = {Abhay Vardhan and
Mahesh Viswanathan},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Learning to verify branching time properties},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {325--328},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101961},
doi = {10.1145/1101908.1101961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/VardhanV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VisserPP05,
author = {Willem Visser and
Corina S. Pasareanu and
Radek Pel{\'{a}}nek},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Test input generation for red-black trees using abstraction},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {414--417},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101983},
doi = {10.1145/1101908.1101983},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/VisserPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangR05,
author = {Tao Wang and
Abhik Roychoudhury},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automated path generation for software fault localization},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {347--351},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101966},
doi = {10.1145/1101908.1101966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangRCW05,
author = {Yanyan Wang and
Matthew J. Rutherford and
Antonio Carzaniga and
Alexander L. Wolf},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automating experimentation on distributed testbeds},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {164--173},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101934},
doi = {10.1145/1101908.1101934},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangRCW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WardKA05,
author = {Justin Ward and
Garrin Kimmell and
Perry Alexander},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Prufrock: a framework for constructing polytypic theorem provers},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {423--426},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101985},
doi = {10.1145/1101908.1101985},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WardKA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WuG05,
author = {Hui Wu and
Jeff Gray},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automated generation of testing tools for domain-specific languages},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {436--439},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101993},
doi = {10.1145/1101908.1101993},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaVM05,
author = {Songtao Xia and
Ben Di Vito and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automated test generation for engineering applications},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {283--286},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101951},
doi = {10.1145/1101908.1101951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/XiaVM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XingS05,
author = {Zhenchang Xing and
Eleni Stroulia},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {UMLDiff: an algorithm for object-oriented design differencing},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {54--65},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101919},
doi = {10.1145/1101908.1101919},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XingS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XuN05,
author = {Dianxiang Xu and
Kendall E. Nygard},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A threat-driven approach to modeling and verifying secure software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {342--346},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101965},
doi = {10.1145/1101908.1101965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/XuN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangC05,
author = {Dezhuang Zhang and
Rance Cleaveland},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Efficient temporal-logic query checking for presburger systems},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {24--33},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101915},
doi = {10.1145/1101908.1101915},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Zheng05,
author = {Jiang Zheng},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {In regression testing selection when source code is not available},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {452--455},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101997},
doi = {10.1145/1101908.1101997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Zheng05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZismanE05,
author = {Andrea Zisman and
Thomas Ellman},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {2nd Workshop on the state of the art in automated software engineering},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {464},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1102004},
doi = {10.1145/1101908.1102004},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZismanE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2005,
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908},
doi = {10.1145/1101908},
isbn = {1-58113-993-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-04 03:11 CEST from data curated 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:
