| 2007 | 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer |
| 2007 | A buffer overflow benchmark for software model checkers. Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie |
| 2007 | A dynamic birthmark for java. David Schuler, Valentin Dallmeier, Christian Lindig |
| 2007 | A framework and tool supports for testing modularity of software design. Yuanfang Cai, Sunny Huynh, Tao Xie |
| 2007 | Adaptation hiding modularity. Yuanyuan Song |
| 2007 | An approach to mining call-usage patternswith syntactic context. Huzefa H. Kagdi, Michael L. Collard, Jonathan I. Maletic |
| 2007 | An aspect-oriented weaving mechanism based on component and connector architecture. Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai |
| 2007 | An automated approach to monitoring and diagnosing requirements. Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos |
| 2007 | An automated model-based debugging approach. Cemal Yilmaz, Clay Williams |
| 2007 | An energy consumption framework for distributed java-based systems. Chiyoung Seo, Sam Malek, Nenad Medvidovic |
| 2007 | An evaluation scheme of adaptive configuration techniques. Huoping Chen, Salim Hariri |
| 2007 | An infrastructure for autonomic system development: the selflet approach. Davide Devescovi, Elisabetta Di Nitto, Raffaela Mirandola |
| 2007 | Assertion-based repair of complex data structures. Bassem Elkarablieh, Iván García, Yuk Lai Suen, Sarfraz Khurshid |
| 2007 | Assisting potentially-repetitive small-scale changes via semi-automated heuristic search. Mark M. McIntyre, Robert J. Walker |
| 2007 | Automated detection of api refactorings in libraries. Kunal Taneja, Danny Dig, Tao Xie |
| 2007 | Automated gui testing guided by usage profiles. Penelope A. Brooks, Atif M. Memon |
| 2007 | Automatic code stylizing. Steven P. Reiss |
| 2007 | Automatic extraction of framework-specific models from framework-based application code. Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki |
| 2007 | Automating the identification of variability realisation techniques from feature models. Rachel Gawley |
| 2007 | Behavioral adaptation of component compositions based on process algebra encodings. Radu Mateescu, Pascal Poizat, Gwen Salaün |
| 2007 | Checking threat modeling data flow diagrams for implementation conformance and security. Marwan Abi-Antoun, Daniel Wang, Peter Torr |
| 2007 | Clustering support for automated tracing. Chuan Duan, Jane Cleland-Huang |
| 2007 | CodeGenie: using test-cases to search and reuse source code. Otávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Ricardo Santos Morla, Paulo César Masiero, Pierre Baldi, Cristina Videira Lopes |
| 2007 | Coevolving programs and unit tests from their specification. Andrea Arcuri, Xin Yao |
| 2007 | Combined static and dynamic mutability analysis. Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst |
| 2007 | Combining environment generation and slicing for modular software model checking. Oksana Tkachuk, Sreeranga P. Rajan |
| 2007 | Concolic testing. Koushik Sen |
| 2007 | Context-aware statistical debugging: from bug predictors to faulty control flow paths. Lingxiao Jiang, Zhendong Su |
| 2007 | Covering array sampling of input event sequences for automated gui testing. Xun Yuan, Myra B. Cohen, Atif M. Memon |
| 2007 | DESERT: a decentralized monitoring tool generator. Paola Inverardi, Leonardo Mostarda |
| 2007 | Decor: a tool for the detection of design defects. Naouel Moha, Yann-Gaël Guéhéneuc |
| 2007 | Diconic addition of failsafe fault-tolerance. Ali Ebnenasir |
| 2007 | Direct-dependency-based software compatibility testing. Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
| 2007 | Directed test generation using symbolic grammars. Rupak Majumdar, Ru-Gang Xu |
| 2007 | Driving the selection of cots components on the basis of system requirements. Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena |
| 2007 | Effective memory protection using dynamic tainting. James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic |
| 2007 | Effective random testing of concurrent programs. Koushik Sen |
| 2007 | Efficient unit test case minimization. Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer |
| 2007 | Efficiently monitoring data-flow test coverage. Raúl A. Santelices, Mary Jean Harrold |
| 2007 | Empirical research methods for software engineering. Steve M. Easterbrook |
| 2007 | Ensuring consistency in long running transactions. Jeffrey Fischer, Rupak Majumdar |
| 2007 | Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. Kobi Inkumsah, Tao Xie |
| 2007 | Exploring the neighborhood with dora to expedite software maintenance. Emily Hill, Lori L. Pollock, K. Vijay-Shanker |
| 2007 | Extracting rights and obligations from regulations: toward a tool-supported process. Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos |
| 2007 | Extraction of bug localization benchmarks from history. Valentin Dallmeier, Thomas Zimmermann |
| 2007 | Feature interaction analysis: a maintenance perspective. Maryam Shiri, Jameleddine Hassine, Juergen Rilling |
| 2007 | Feature location via information retrieval based filtering of a single scenario execution trace. Dapeng Liu, Andrian Marcus, Denys Poshyvanyk, Václav Rajlich |
| 2007 | Finding errors in components that exchange xml data. Mark Grechanik |
| 2007 | Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden |
| 2007 | IMP: a meta-tooling platform for creating language-specific ides in eclipse. Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr. |
| 2007 | Improving change prediction with fine-grained source code mining. Huzefa H. Kagdi |
| 2007 | Improving evolutionary class testing in the presence of non-public methods. Stefan Wappler, Ina Schieferdecker |
| 2007 | Improving uml profile design practices by leveraging conceptual domain models. François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard |
| 2007 | Inferring structural patterns for concern traceability in evolving software. Barthélémy Dagenais, Silvia Breu, Frédéric Weigand Warr, Martin P. Robillard |
| 2007 | Integrated tool support for software product line engineering. Deepak Dhungana, Rick Rabiser, Paul Grünbacher, Thomas Neumayer |
| 2007 | Iterative model-driven development of adaptable service-based applications. Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè |
| 2007 | Keyword programming in java. Greg Little, Robert C. Miller |
| 2007 | Mastering combinatorial explosion with the tobias-2 test generator. Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose |
| 2007 | Meta tools for implementing domain specific visual languages. John G. Hosking, John C. Grundy |
| 2007 | Mining concepts from code with probabilistic topic models. Erik Linstead, Paul Rigor, Sushil Krishna Bajracharya, Cristina Videira Lopes, Pierre Baldi |
| 2007 | Mining modal scenario-based specifications from execution traces of reactive systems. David Lo, Shahar Maoz, Siau-Cheng Khoo |
| 2007 | Model checking concurrent linux device drivers. Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher |
| 2007 | Model-driven derivation of product architectures. Goetz Botterweck, Liam O'Brien, Steffen Thiel |
| 2007 | Modeling bug report quality. Pieter Hooimeijer, Westley Weimer |
| 2007 | Modular and generic programming with interpreterlib. Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander |
| 2007 | Netstub: a framework for verification of distributed java applications. Elliot Barlas, Tevfik Bultan |
| 2007 | Nighthawk: a two-level genetic-random unit test data generator. James H. Andrews, Felix Chun Hang Li, Tim Menzies |
| 2007 | Object ownership profiling: a technique for finding and fixing memory leaks. Derek Rayside, Lucy Mendel |
| 2007 | Pallino: automation to support regression test selection for cots-based applications. Jiang Zheng, Laurie A. Williams, Brian Robinson |
| 2007 | Parseweb: a programmer assistant for reusing open source code on the web. Suresh Thummalapenta, Tao Xie |
| 2007 | Reducing irrelevant trace variations. Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2007 | Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. Matthew B. Dwyer, Rahul Purandare |
| 2007 | Rosetta: language support for system-level design. Perry Alexander |
| 2007 | Rteq: modeling and validating infinite-state hard-real-time systems. Robert J. Hall |
| 2007 | Scalable automatic test data generation from modeling diagrams. Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian |
| 2007 | Scheduling of conflicting refactorings to promote quality improvement. Hui Liu, Ge Li, Zhiyi Ma, Weizhong Shao |
| 2007 | Sequential circuits for program analysis. Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
| 2007 | Smart: a tool for application reference testing. Qing Xie, Mark Grechanik, Matthew Hellige |
| 2007 | Software reuse and evolution with generative techniques. Krzysztof Czarnecki |
| 2007 | Specifying and verifying software. K. Rustan M. Leino |
| 2007 | Synthesis of test purpose directed reactive planning tester for nondeterministic systems. Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits |
| 2007 | Synthesizing client load models for performance engineering via web crawling. Yuhong Cai, John C. Grundy, John G. Hosking |
| 2007 | Test automation for kernel code and disk arrays with virtual devices. Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang |
| 2007 | Test suite reduction and prioritization with call trees. Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa |
| 2007 | Testing concurrent programs using value schedules. Jun Chen, Steve MacDonald |
| 2007 | The business case for automated software engineering. Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm |
| 2007 | The embarrassing truth about software automation and what should be done about it. Bran Selic |
| 2007 | The eureka tool for software model checking. Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica |
| 2007 | Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. Marwan Abi-Antoun, Jonathan Aldrich |
| 2007 | Tools for model-based security engineering: models vs. code. Jan Jürjens, Yijun Yu |
| 2007 | Toward automated software development. Douglas R. Smith |
| 2007 | Towards automated consistency checks of product line requirements specifications. Kim Lauenroth, Klaus Pohl |
| 2007 | Towards automatic model synchronization from model transformations. Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei |
| 2007 | Towards leveraging model transformation to support model-based testing. Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
| 2007 | Towards supporting awareness of indirect conflicts across software configuration management workspaces. Anita Sarma, Gerald Bortis, André van der Hoek |
| 2007 | Tutorial on JML, the java modeling language. Gary T. Leavens |
| 2007 | UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. Jordi Cabot, Robert Clarisó, Daniel Riera |
| 2007 | Unit testing concurrent software. William W. Pugh, Nathaniel Ayewah |
| 2007 | Using information retrieval to support design of incremental change of software. Denys Poshyvanyk, Andrian Marcus |
| 2007 | Using traceability to support model-based regression testing. Leila Naslavsky, Debra J. Richardson |
| 2007 | Validating system properties exhibited in execution traces. Fangzhe Chang, Jennifer Ren |
| 2007 | Verifying C++ with STL containers via predicate abstraction. Nicolas Blanc, Alex Groce, Daniel Kroening |
| 2007 | Visualizing clone detection results. Robert Tairas, Jeff Gray, Ira D. Baxter |