Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/kbse/ase2007.bht:"
@inproceedings{DBLP:conf/kbse/Abi-AntounA07, author = {Marwan Abi{-}Antoun and Jonathan Aldrich}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Tool support for the compile-time execution structure of object-oriented programs with ownership annotations}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {543--544}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321735}, doi = {10.1145/1321631.1321735}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Abi-AntounA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Abi-AntounWT07, author = {Marwan Abi{-}Antoun and Daniel Wang and Peter Torr}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Checking threat modeling data flow diagrams for implementation conformance and security}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {393--396}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321692}, doi = {10.1145/1321631.1321692}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Abi-AntounWT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Alexander07, author = {Perry Alexander}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Rosetta: language support for system-level design}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {577}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321752}, doi = {10.1145/1321631.1321752}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Alexander07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/AndrewsLM07, author = {James H. Andrews and Felix Chun Hang Li and Tim Menzies}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Nighthawk: a two-level genetic-random unit test data generator}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {144--153}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321654}, doi = {10.1145/1321631.1321654}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/AndrewsLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/AntkiewiczBC07, author = {Michal Antkiewicz and Thiago T. Bartolomei and Krzysztof Czarnecki}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Automatic extraction of framework-specific models from framework-based application code}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {214--223}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321664}, doi = {10.1145/1321631.1321664}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/AntkiewiczBC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ArcuriY07, author = {Andrea Arcuri and Xin Yao}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Coevolving programs and unit tests from their specification}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {397--400}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321693}, doi = {10.1145/1321631.1321693}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/ArcuriY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ArmandoBCMS07, author = {Alessandro Armando and Massimo Benerecetti and Dario Carotenuto and Jacopo Mantovani and Pasquale Spica}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {The eureka tool for software model checking}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {541--542}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321734}, doi = {10.1145/1321631.1321734}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ArmandoBCMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ArtziKGE07, author = {Shay Artzi and Adam Kiezun and David Glasser and Michael D. Ernst}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Combined static and dynamic mutability analysis}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {104--113}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321649}, doi = {10.1145/1321631.1321649}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ArtziKGE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BarlasB07, author = {Elliot Barlas and Tevfik Bultan}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Netstub: a framework for verification of distributed java applications}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {24--33}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321638}, doi = {10.1145/1321631.1321638}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/BarlasB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BlancGK07, author = {Nicolas Blanc and Alex Groce and Daniel Kroening}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Verifying {C++} with {STL} containers via predicate abstraction}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {521--524}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321724}, doi = {10.1145/1321631.1321724}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/BlancGK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BotterweckOT07, author = {Goetz Botterweck and Liam O'Brien and Steffen Thiel}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Model-driven derivation of product architectures}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {469--472}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321711}, doi = {10.1145/1321631.1321711}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/BotterweckOT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BrooksM07, author = {Penelope A. Brooks and Atif M. Memon}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Automated gui testing guided by usage profiles}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {333--342}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321681}, doi = {10.1145/1321631.1321681}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/BrooksM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CabotCR07, author = {Jordi Cabot and Robert Claris{\'{o}} and Daniel Riera}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {UMLtoCSP: a tool for the formal verification of {UML/OCL} models using constraint programming}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {547--548}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321737}, doi = {10.1145/1321631.1321737}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CabotCR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CaiGH07, author = {Yuhong Cai and John C. Grundy and John G. Hosking}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Synthesizing client load models for performance engineering via web crawling}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {353--362}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321684}, doi = {10.1145/1321631.1321684}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CaiGH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CaiHX07, author = {Yuanfang Cai and Sunny Huynh and Tao Xie}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {A framework and tool supports for testing modularity of software design}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {441--444}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321704}, doi = {10.1145/1321631.1321704}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CaiHX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CaiWHW07, author = {Lin{-}Zan Cai and Rong{-}Shiung Wu and Wen{-}Ting Huang and Farn Wang}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Test automation for kernel code and disk arrays with virtual devices}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {505--508}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321720}, doi = {10.1145/1321631.1321720}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CaiWHW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ChangR07, author = {Fangzhe Chang and Jennifer Ren}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Validating system properties exhibited in execution traces}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {517--520}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321723}, doi = {10.1145/1321631.1321723}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ChangR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CharlesFS07, author = {Philippe Charles and Robert M. Fuhrer and Stanley M. Sutton Jr.}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {{IMP:} a meta-tooling platform for creating language-specific ides in eclipse}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {485--488}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321715}, doi = {10.1145/1321631.1321715}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CharlesFS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ChenH07, author = {Huoping Chen and Salim Hariri}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An evaluation scheme of adaptive configuration techniques}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {493--496}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321717}, doi = {10.1145/1321631.1321717}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ChenH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ChenM07, author = {Jun Chen and Steve MacDonald}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Testing concurrent programs using value schedules}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {313--322}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321678}, doi = {10.1145/1321631.1321678}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/ChenM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ClauseDOP07, author = {James A. Clause and Ioannis Doudalis and Alessandro Orso and Milos Prvulovic}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Effective memory protection using dynamic tainting}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {284--292}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321673}, doi = {10.1145/1321631.1321673}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ClauseDOP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CortellessaCMP07, author = {Vittorio Cortellessa and Ivica Crnkovic and Fabrizio Marinelli and Pasqualina Potena}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Driving the selection of cots components on the basis of system requirements}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {413--416}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321697}, doi = {10.1145/1321631.1321697}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/CortellessaCMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Czarnecki07, author = {Krzysztof Czarnecki}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Software reuse and evolution with generative techniques}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {575}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321750}, doi = {10.1145/1321631.1321750}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Czarnecki07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DagenaisBWR07, author = {Barth{\'{e}}l{\'{e}}my Dagenais and Silvia Breu and Fr{\'{e}}d{\'{e}}ric Weigand Warr and Martin P. Robillard}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Inferring structural patterns for concern traceability in evolving software}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {254--263}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321669}, doi = {10.1145/1321631.1321669}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DagenaisBWR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DallmeierZ07, author = {Valentin Dallmeier and Thomas Zimmermann}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Extraction of bug localization benchmarks from history}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {433--436}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321702}, doi = {10.1145/1321631.1321702}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DallmeierZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DevescoviNM07, author = {Davide Devescovi and Elisabetta Di Nitto and Raffaela Mirandola}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An infrastructure for autonomic system development: the selflet approach}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {449--452}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321706}, doi = {10.1145/1321631.1321706}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DevescoviNM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DhunganaRGN07, author = {Deepak Dhungana and Rick Rabiser and Paul Gr{\"{u}}nbacher and Thomas Neumayer}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Integrated tool support for software product line engineering}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {533--534}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321730}, doi = {10.1145/1321631.1321730}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/DhunganaRGN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DiepED07, author = {Madeline Diep and Sebastian G. Elbaum and Matthew B. Dwyer}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Reducing irrelevant trace variations}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {477--480}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321713}, doi = {10.1145/1321631.1321713}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DiepED07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DuanC07, author = {Chuan Duan and Jane Cleland{-}Huang}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Clustering support for automated tracing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {244--253}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321668}, doi = {10.1145/1321631.1321668}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DuanC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/DwyerP07, author = {Matthew B. Dwyer and Rahul Purandare}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {124--133}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321651}, doi = {10.1145/1321631.1321651}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/DwyerP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Easterbrook07, author = {Steve M. Easterbrook}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Empirical research methods for software engineering}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {574}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321749}, doi = {10.1145/1321631.1321749}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/Easterbrook07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Ebnenasir07, author = {Ali Ebnenasir}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Diconic addition of failsafe fault-tolerance}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {44--53}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321641}, doi = {10.1145/1321631.1321641}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Ebnenasir07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ElkarabliehGSK07, author = {Bassem Elkarablieh and Ivan Garcia and Yuk Lai Suen and Sarfraz Khurshid}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Assertion-based repair of complex data structures}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {64--73}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321643}, doi = {10.1145/1321631.1321643}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ElkarabliehGSK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/FischerM07, author = {Jeffrey Fischer and Rupak Majumdar}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Ensuring consistency in long running transactions}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {54--63}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321642}, doi = {10.1145/1321631.1321642}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/FischerM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Gawley07, author = {Rachel Gawley}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Automating the identification of variability realisation techniques from feature models}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {555--558}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321741}, doi = {10.1145/1321631.1321741}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Gawley07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Grechanik07, author = {Mark Grechanik}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Finding errors in components that exchange xml data}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {264--273}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321671}, doi = {10.1145/1321631.1321671}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/Grechanik07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Hall07, author = {Robert J. Hall}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Rteq: modeling and validating infinite-state hard-real-time systems}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {481--484}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321714}, doi = {10.1145/1321631.1321714}, timestamp = {Tue, 08 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/Hall07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HillPV07, author = {Emily Hill and Lori L. Pollock and K. Vijay{-}Shanker}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Exploring the neighborhood with dora to expedite software maintenance}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {14--23}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321637}, doi = {10.1145/1321631.1321637}, timestamp = {Thu, 06 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/HillPV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HooimeijerW07, author = {Pieter Hooimeijer and Westley Weimer}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Modeling bug report quality}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {34--43}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321639}, doi = {10.1145/1321631.1321639}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/HooimeijerW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HoskingG07, author = {John G. Hosking and John C. Grundy}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Meta tools for implementing domain specific visual languages}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {576}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321751}, doi = {10.1145/1321631.1321751}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/HoskingG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/InkumsahX07, author = {Kobi Inkumsah and Tao Xie}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {425--428}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321700}, doi = {10.1145/1321631.1321700}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/InkumsahX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/InverardiM07, author = {Paola Inverardi and Leonardo Mostarda}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {{DESERT:} a decentralized monitoring tool generator}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {529--530}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321728}, doi = {10.1145/1321631.1321728}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/InverardiM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/JiangS07, author = {Lingxiao Jiang and Zhendong Su}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Context-aware statistical debugging: from bug predictors to faulty control flow paths}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {184--193}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321660}, doi = {10.1145/1321631.1321660}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/JiangS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/JurjensY07, author = {Jan J{\"{u}}rjens and Yijun Yu}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Tools for model-based security engineering: models vs. code}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {545--546}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321736}, doi = {10.1145/1321631.1321736}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/JurjensY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Kagdi07, author = {Huzefa H. Kagdi}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Improving change prediction with fine-grained source code mining}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {559--562}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321742}, doi = {10.1145/1321631.1321742}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Kagdi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KagdiCM07, author = {Huzefa H. Kagdi and Michael L. Collard and Jonathan I. Maletic}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An approach to mining call-usage patternswith syntactic context}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {457--460}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321708}, doi = {10.1145/1321631.1321708}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/KagdiCM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KiyavitskayaZBACMM07, author = {Nadzeya Kiyavitskaya and Nicola Zeni and Travis D. Breaux and Annie I. Ant{\'{o}}n and James R. Cordy and Luisa Mich and John Mylopoulos}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Extracting rights and obligations from regulations: toward a tool-supported process}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {429--432}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321701}, doi = {10.1145/1321631.1321701}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/KiyavitskayaZBACMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KuHCL07, author = {Kelvin Ku and Thomas E. Hart and Marsha Chechik and David Lie}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {A buffer overflow benchmark for software model checkers}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {389--392}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321691}, doi = {10.1145/1321631.1321691}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/KuHCL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LagardeETG07, author = {Fran{\c{c}}ois Lagarde and Hu{\'{a}}scar Espinoza and Fran{\c{c}}ois Terrier and S{\'{e}}bastien G{\'{e}}rard}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Improving uml profile design practices by leveraging conceptual domain models}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {445--448}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321705}, doi = {10.1145/1321631.1321705}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LagardeETG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LambersEMP07, author = {Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezz{\`{e}}}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Iterative model-driven development of adaptable service-based applications}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {453--456}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321707}, doi = {10.1145/1321631.1321707}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LambersEMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LauenrothP07, author = {Kim Lauenroth and Klaus Pohl}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Towards automated consistency checks of product line requirements specifications}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {373--376}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321687}, doi = {10.1145/1321631.1321687}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LauenrothP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Leavens07, author = {Gary T. Leavens}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Tutorial on JML, the java modeling language}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {573}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321747}, doi = {10.1145/1321631.1321747}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Leavens07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LedruDBVR07, author = {Yves Ledru and Fr{\'{e}}d{\'{e}}ric Dadeau and Lydie du Bousquet and S{\'{e}}bastien Ville and Elodie Rose}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Mastering combinatorial explosion with the tobias-2 test generator}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {535--536}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321731}, doi = {10.1145/1321631.1321731}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LedruDBVR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Leino07, author = {K. Rustan M. Leino}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Specifying and verifying software}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {2}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321633}, doi = {10.1145/1321631.1321633}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Leino07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LeitnerOZCM07, author = {Andreas Leitner and Manuel Oriol and Andreas Zeller and Ilinca Ciupa and Bertrand Meyer}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Efficient unit test case minimization}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {417--420}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321698}, doi = {10.1145/1321631.1321698}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LeitnerOZCM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LemosBOMMBL07, author = {Ot{\'{a}}vio Augusto Lazzarini Lemos and Sushil Krishna Bajracharya and Joel Ossher and Ricardo Santos Morla and Paulo C{\'{e}}sar Masiero and Pierre Baldi and Cristina Videira Lopes}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {CodeGenie: using test-cases to search and reuse source code}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {525--526}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321726}, doi = {10.1145/1321631.1321726}, timestamp = {Thu, 18 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LemosBOMMBL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LinsteadRBLB07, author = {Erik Linstead and Paul Rigor and Sushil Krishna Bajracharya and Cristina Videira Lopes and Pierre Baldi}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Mining concepts from code with probabilistic topic models}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {461--464}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321709}, doi = {10.1145/1321631.1321709}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LinsteadRBLB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LittleM07, author = {Greg Little and Robert C. Miller}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Keyword programming in java}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {84--93}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321646}, doi = {10.1145/1321631.1321646}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LittleM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiuLMS07, author = {Hui Liu and Ge Li and Zhiyi Ma and Weizhong Shao}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Scheduling of conflicting refactorings to promote quality improvement}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {489--492}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321716}, doi = {10.1145/1321631.1321716}, timestamp = {Thu, 22 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LiuLMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiuMPR07, author = {Dapeng Liu and Andrian Marcus and Denys Poshyvanyk and V{\'{a}}clav Rajlich}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Feature location via information retrieval based filtering of a single scenario execution trace}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {234--243}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321667}, doi = {10.1145/1321631.1321667}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiuMPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LoMK07, author = {David Lo and Shahar Maoz and Siau{-}Cheng Khoo}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Mining modal scenario-based specifications from execution traces of reactive systems}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {465--468}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321710}, doi = {10.1145/1321631.1321710}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LoMK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MajumdarX07, author = {Rupak Majumdar and Ru{-}Gang Xu}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Directed test generation using symbolic grammars}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {134--143}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321653}, doi = {10.1145/1321631.1321653}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MajumdarX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MateescuPS07, author = {Radu Mateescu and Pascal Poizat and Gwen Sala{\"{u}}n}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Behavioral adaptation of component compositions based on process algebra encodings}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {385--388}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321690}, doi = {10.1145/1321631.1321690}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MateescuPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/McIntyreW07, author = {Mark M. McIntyre and Robert J. Walker}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Assisting potentially-repetitive small-scale changes via semi-automated heuristic search}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {497--500}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321718}, doi = {10.1145/1321631.1321718}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/McIntyreW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MenziesEHFMB07, author = {Tim Menzies and Oussama El{-}Rawas and Jairus Hihn and Martin S. Feather and Raymond J. Madachy and Barry W. Boehm}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {The business case for automated software engineering}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {303--312}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321676}, doi = {10.1145/1321631.1321676}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MenziesEHFMB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MohaG07, author = {Naouel Moha and Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Decor: a tool for the detection of design defects}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {527--528}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321727}, doi = {10.1145/1321631.1321727}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MohaG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/NakagawaTH07, author = {Hiroyuki Nakagawa and Kenji Taguchi and Shinichi Honiden}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Formal specification generator for {KAOS:} model transformation approach to generate formal specifications from {KAOS} requirements models}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {531--532}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321729}, doi = {10.1145/1321631.1321729}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/NakagawaTH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/NaslavskyR07, author = {Leila Naslavsky and Debra J. Richardson}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Using traceability to support model-based regression testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {567--570}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321744}, doi = {10.1145/1321631.1321744}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/NaslavskyR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/NaslavskyZR07, author = {Leila Naslavsky and Hadar Ziv and Debra J. Richardson}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Towards leveraging model transformation to support model-based testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {509--512}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321721}, doi = {10.1145/1321631.1321721}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/NaslavskyZR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/PoshyvanykM07, author = {Denys Poshyvanyk and Andrian Marcus}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Using information retrieval to support design of incremental change of software}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {563--566}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321743}, doi = {10.1145/1321631.1321743}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/PoshyvanykM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/PughA07, author = {William W. Pugh and Nathaniel Ayewah}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Unit testing concurrent software}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {513--516}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321722}, doi = {10.1145/1321631.1321722}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/PughA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RaysideM07, author = {Derek Rayside and Lucy Mendel}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Object ownership profiling: a technique for finding and fixing memory leaks}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {194--203}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321661}, doi = {10.1145/1321631.1321661}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/RaysideM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Reiss07, author = {Steven P. Reiss}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Automatic code stylizing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {74--83}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321645}, doi = {10.1145/1321631.1321645}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Reiss07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SantelicesH07, author = {Ra{\'{u}}l A. Santelices and Mary Jean Harrold}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Efficiently monitoring data-flow test coverage}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {343--352}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321682}, doi = {10.1145/1321631.1321682}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SantelicesH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SarmaBH07, author = {Anita Sarma and Gerald Bortis and Andr{\'{e}} van der Hoek}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Towards supporting awareness of indirect conflicts across software configuration management workspaces}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {94--103}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321647}, doi = {10.1145/1321631.1321647}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/SarmaBH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SchulerDL07, author = {David Schuler and Valentin Dallmeier and Christian Lindig}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {A dynamic birthmark for java}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {274--283}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321672}, doi = {10.1145/1321631.1321672}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SchulerDL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Selic07, author = {Bran Selic}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {The embarrassing truth about software automation and what should be done about it}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {3}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321634}, doi = {10.1145/1321631.1321634}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Selic07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Sen07, author = {Koushik Sen}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Effective random testing of concurrent programs}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {323--332}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321679}, doi = {10.1145/1321631.1321679}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Sen07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Sen07a, author = {Koushik Sen}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Concolic testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {571--572}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321746}, doi = {10.1145/1321631.1321746}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Sen07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SeoMM07, author = {Chiyoung Seo and Sam Malek and Nenad Medvidovic}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An energy consumption framework for distributed java-based systems}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {421--424}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321699}, doi = {10.1145/1321631.1321699}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SeoMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ShiriHR07, author = {Maryam Shiri and Jameleddine Hassine and Juergen Rilling}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Feature interaction analysis: a maintenance perspective}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {437--440}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321703}, doi = {10.1145/1321631.1321703}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ShiriHR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SmaragdakisCS07, author = {Yannis Smaragdakis and Christoph Csallner and Ranjith Subramanian}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Scalable automatic test data generation from modeling diagrams}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {4--13}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321635}, doi = {10.1145/1321631.1321635}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SmaragdakisCS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Smith07, author = {Douglas R. Smith}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Toward automated software development}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {1}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321632}, doi = {10.1145/1321631.1321632}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Smith07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SmithGKS07, author = {Adam M. Smith and Joshua Geiger and Gregory M. Kapfhammer and Mary Lou Soffa}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Test suite reduction and prioritization with call trees}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {539--540}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321733}, doi = {10.1145/1321631.1321733}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SmithGKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Song07, author = {Yuanyuan Song}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Adaptation hiding modularity}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {551--554}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321740}, doi = {10.1145/1321631.1321740}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Song07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/TairasGB07, author = {Robert Tairas and Jeff Gray and Ira D. Baxter}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Visualizing clone detection results}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {549--550}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321738}, doi = {10.1145/1321631.1321738}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/TairasGB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/TanejaDX07, author = {Kunal Taneja and Danny Dig and Tao Xie}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Automated detection of api refactorings in libraries}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {377--380}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321688}, doi = {10.1145/1321631.1321688}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/TanejaDX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ThummalapentaX07, author = {Suresh Thummalapenta and Tao Xie}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Parseweb: a programmer assistant for reusing open source code on the web}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {204--213}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321663}, doi = {10.1145/1321631.1321663}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ThummalapentaX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/TkachukR07, author = {Oksana Tkachuk and Sreeranga P. Rajan}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Combining environment generation and slicing for modular software model checking}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {401--404}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321694}, doi = {10.1145/1321631.1321694}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/TkachukR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/UbayashiST07, author = {Naoyasu Ubayashi and Akihiro Sakai and Tetsuo Tamai}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An aspect-oriented weaving mechanism based on component and connector architecture}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {154--163}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321656}, doi = {10.1145/1321631.1321656}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/UbayashiST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/VainRKE07, author = {J{\"{u}}ri Vain and Kullo Raiend and Andres Kull and Juhan P. Ernits}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Synthesis of test purpose directed reactive planning tester for nondeterministic systems}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {363--372}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321685}, doi = {10.1145/1321631.1321685}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/VainRKE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WangMYM07, author = {Yiqiao Wang and Sheila A. McIlraith and Yijun Yu and John Mylopoulos}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An automated approach to monitoring and diagnosing requirements}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {293--302}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321675}, doi = {10.1145/1321631.1321675}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/WangMYM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WapplerS07, author = {Stefan Wappler and Ina Schieferdecker}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Improving evolutionary class testing in the presence of non-public methods}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {381--384}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321689}, doi = {10.1145/1321631.1321689}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/WapplerS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WeaverKFA07, author = {Philip Weaver and Garrin Kimmell and Nicolas Frisby and Perry Alexander}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Modular and generic programming with interpreterlib}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {473--476}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321712}, doi = {10.1145/1321631.1321712}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/WeaverKFA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WitkowskiBKW07, author = {Thomas Witkowski and Nicolas Blanc and Daniel Kroening and Georg Weissenbacher}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Model checking concurrent linux device drivers}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {501--504}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321719}, doi = {10.1145/1321631.1321719}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/WitkowskiBKW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/XieGH07, author = {Qing Xie and Mark Grechanik and Matthew Hellige}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Smart: a tool for application reference testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {537--538}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321732}, doi = {10.1145/1321631.1321732}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/XieGH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/XiongLHZTM07, author = {Yingfei Xiong and Dongxi Liu and Zhenjiang Hu and Haiyan Zhao and Masato Takeichi and Hong Mei}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Towards automatic model synchronization from model transformations}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {164--173}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321657}, doi = {10.1145/1321631.1321657}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/XiongLHZTM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/YilmazW07, author = {Cemal Yilmaz and Clay Williams}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {An automated model-based debugging approach}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {174--183}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321659}, doi = {10.1145/1321631.1321659}, timestamp = {Wed, 21 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/YilmazW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/YoonSMP07, author = {Il{-}Chul Yoon and Alan Sussman and Atif M. Memon and Adam A. Porter}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Direct-dependency-based software compatibility testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {409--412}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321696}, doi = {10.1145/1321631.1321696}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/YoonSMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/YuanCM07, author = {Xun Yuan and Myra B. Cohen and Atif M. Memon}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Covering array sampling of input event sequences for automated gui testing}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {405--408}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321695}, doi = {10.1145/1321631.1321695}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/YuanCM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZaraketAK07, author = {Fadi A. Zaraket and Adnan Aziz and Sarfraz Khurshid}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Sequential circuits for program analysis}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {114--123}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321650}, doi = {10.1145/1321631.1321650}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/ZaraketAK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZhengWR07, author = {Jiang Zheng and Laurie A. Williams and Brian Robinson}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Pallino: automation to support regression test selection for cots-based applications}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {224--233}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321665}, doi = {10.1145/1321631.1321665}, timestamp = {Mon, 07 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/ZhengWR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kbse/2007, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631}, doi = {10.1145/1321631}, isbn = {978-1-59593-882-4}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.