PhD Dissertations in the Area of Software Engineering

This list is provided as a resource for PhD candidates, researchers, scientists, and engineers who are actively pursuing advanced research in Software Engineering.

PhD graduates are invited to submit information about their dissertations by using this form. The information they provide will be evaluated by our committee before being added to the list below.

Please observe that only completed dissertations will be accepted and that decisions about their acceptance for posting on the site are final. Furthermore, dissertations must be in English; for dissertations that are not available in English, an English-language publication that summarizes the results of the dissertation may be submitted instead.

Finally, note that SIGSOFT is making this information available without warranty and assumes no responsibility for its accuracy. All information was provided on a voluntary basis. Any issues of copyright are the sole responsibility of the person submitting the information to SIGSOFT.

Those interested in PhD dissertations in the area of software engineering may also be want to review Tao Xie's Software Engineering Academic Genealogy.



Maria Christakis. Narrowing the Gap between Verification and Systematic Testing. ETH Zurich (Sep 21 2015, advisor: Peter Muller). Abstract.

Yepang Liu. Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications. The Hong Kong University of Science and Technology (Nov 20 2015, advisor: Shing-Chi Cheung). Abstract.


Ivan Machado. Fault model-based variability testing. Federal University of Bahia (Jul 21 2014, advisor: Eduardo Santana de Almeida). Abstract.

Xusheng Xiao. Cooperative Testing and Analysis via Informed Decision Making. North Carolina State University (Jun 13 2014, advisor: Tao Xie and Laurie Williams). Abstract.


Joshua Sunshine. Protocol Programmability. Carnegie Mellon University (Dec 2013, advisor: Jonathan Aldrich). Abstract.

Jeff Huang. Effective Methods for Debugging Concurrent Software. Hong Kong University of Science and Technology (May 31 2013, advisor: Charles Zhang). Abstract.

Baishakhi Ray. Analysis of Cross-System Porting and Porting Errors in Software Projects. University of Texas at Austin (Aug 19 2013, advisor: Miryung Kim). Abstract.

Tristan Ravitch. Inferred Interface Glue: Supporting Language Interoperability with Static Analysis. University of Wisconsin-Madison (Aug 20 2013, advisor: Ben Liblit). Abstract.

Kathryn Stolee. Solving the Search for Source Code. University of Nebraska-Lincoln (Jan 1 2013, advisor: Sebastian Elbaum). Abstract.


Norbert Siegmund. Measuring and Predicting Non-Functional Properties of Customizable Programs. University of Magdeburg (Nov 27 2012, advisor: Gunter Saake). Abstract.

Janet Siegmund. Framework for Measuring Program Comprehension. University of Magdeburg (Nov 27 2012, advisor: Gunter Saake). Abstract.

Kai Pan. Constraint-based generation of database states for testing database applications. University of North Carolina at Charlotte (Dec 2012, advisor: Xintao Wu). Abstract.

Domenico Bianculli. Open-world software: Specification, verification, and beyond. Università della Svizzera italiana (Jul 18 2012, advisor: Carlo Ghezzi). Abstract.

Taneja Kunal. Quality Assurance of Database Centric Applications. North Carolina State University (Nov 7 2012, advisor: Tao Xie). Abstract.

Iman Saleh. The Formal Specification and Verification of Data-Centric Web Services. Virginia Tech (Feb 10 2012, advisor: Gregory W. Kulczycki). Abstract.

Michael Würsch. A Query Framework for Software Evolution Data. University of Zurich (Sep 2012, advisor: Harald C. Gall). Abstract.

Michael Pradel. Program Analyses for Automatic and Precise Error Detection. ETH Zurich, Department of Computer Science (Dec 2012, advisor: Thomas R. Gross). Abstract.

Cindy Rubio González. Finding Error-Propagation Bugs in Large Software Systems Using Static Analysis. University of Wisconsin Madison (Aug 2012, advisor: Ben Liblit). Abstract.

Piramanayagam Arumuga Nainar. Applications of Static Analysis and Program Structure in Statistical Debugging. University of Wisconsin - Madison (Aug 24 2012, advisor: Ben Liblit). Abstract.

Aldeida Aleti. An Adaptive Approach to Controlling Parameters of Evolutionary Algorithms. Swinburne University of Technology (Jul 23 2012, advisor: Lars Grunske). Abstract.

Pamela Bhattacharya. Quantitative decision-making in software engineering. University of California, Riverside (Jun 15 2012, advisor: Iulian Neamtiu). Abstract.

Matthias Hert. RDF-based Read and Write Access to Relational Databases. University of Zurich (Apr 2012, advisor: Harald C. Gall). Abstract.

Ekwa Duala-Ekoko. Using Structure-Based Recommendations to Facilitate API Learnability. McGill University (May 2012, advisor: Martin Robillard). Abstract.

Indika Meedeniya. Architecture Optimisation of Embedded Systems under Uncertainty in Probabilistic Reliability Evaluation Model Parameters. Swinburne University of Technology (Jul 17 2012, advisor: Lars Grunske and Irene Moser). Abstract.


Mark Gabel. Inferring Programmer Intent and Related Errors from Software. University of California at Davis (Sep 2011, advisor: Zhendong Su). Abstract.

Eugene Syriani. A Multi-Paradigm Foundation for Model Transformation Language Engineering. McGill University (Feb 4 2011, advisor: Hans Vangheluwe). Abstract.

Mohammad AL Asswad. Semantic Information Systems Engineering: A Query-based Approach for Semi-automatic Annotation of Web Services. Brunel University (Jul 19 2011, advisor: Mark Lycett). Abstract.

Catia Trubiani. Automated generation of architectural feedback from software performance analysis results. University of L'Aquila (Apr 18 2011, advisor: Vittorio Cortellessa). Abstract.

Amine Chigani. Campus Situational Awareness and Emergency Response Management System. Virginia Polytechnic Institute & State University (May 14 2011, advisor: Osman Balci). Abstract.

Anne Koziolek. Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Karlsruhe Institute of Technology (Jul 14 2011, advisor: Ralf Reussner). Abstract.

Ridi Ferdiana. An extreme programming approach for global software development. Universitas Gadjah Mada (Oct 26 2011, advisor: Lukito Edi Nughroho and Paulus Insap Santosa and Ahmad Ashari). Abstract.

Yi Huang. Contract-based Synchronization of Multi-threaded Java Programs. Michigan State University (Dec 16 2011, advisor: Laura Dillon). Abstract.

Rahul Purandare. Exploiting Program and Property Structure for Efficient Runtime Monitoring. University of Nebraska (May 6 2011, advisor: Matthew B. Dwyer). Abstract.

Jiangfan Shi. Use of constraint solving for testing software product lines. University of Nebraska (Dec 2011, advisor: Matthew B. Dwyer and Myra B. Cohen). Abstract.

Neil Harrison. Improving quality attributes of software systems through software architecture patterns. University of Groningen (Apr 18 2011, advisor: Paris Avgeriou). Abstract.

Trosky Boris Callo Arias. Execution architecture views for evolving software-intensive systems. University of Groningen (Jun 17 2011, advisor: Paris Avgeriou and Pierre America). Abstract.

Philip Langer. Adaptable Model Versioning based on Model Transformation By Demonstration. Vienna University of Technology (Dec 21 2011, advisor: Gerti Kappel). Abstract.

Klaas-Jan Stol. Supporting Product Development with Software from the Bazaar. University of Limerick (Dec 1 2011, advisor: Muhammad Ali Babar and Paris Avgeriou and Brian Fitzgerald). Abstract.

Ziyad Alshaikh. Notes on the Synthesis of Context: a novel approach to model context in software engineering. Australian National University (Feb 2011, advisor: Clive Boughton). Abstract.

Kiev Gama. Towards Dependable Dynamic Component-based Application. Universite de Grenoble (Oct 6 2011, advisor: Didier Donsez). Abstract.

Arif Raza. A Usability Maturity Model for Open Source Software. University of Western Ontario (Jun 15 2011, advisor: Luiz Fernando Capretz). Abstract.

Hugo Sereno Ferreira. Adaptive Object-Modeling: Patterns, Tools and Applications. University of Porto, Faculty of Engineering (May 27 2011, advisor: Ademar Aguiar). Abstract.

Varun Gupta. Object-Oriented Static and Dynamic Software Metrics for Design and Complexity. National Institute of Technology, Kurukshetra, India (Mar 31 2011, advisor: Jitender Kumar Chhabra). Abstract.

Soo Ling Lim. Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation. University of New South Wales (Feb 3 2011, advisor: Anthony Finkelstein). Abstract.

William Tribbey. Construction and analysis of vector space models for use in aspect mining. Nova Southeastern University (Apr 2011, advisor: Frank Mitropoulos). Abstract.


Andrew Forward. The Convergence of Modeling and Programming: Facilitating the Representation of Attributes and Associations in the Umple Model-Oriented Programming Language. University of Ottawa (Oct 25 2010, advisor: Timothy C. Lethbridge). Abstract.

Paul Ralph. Fundamentals of Software Design Science. University of British Columbia (Oct 2010, advisor: Yair Wand). Abstract.

Antonio Miguel Rosado da Cruz. Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models. Universidade do Porto (Sep 17 2010, advisor: Joao Pascoal Faria). Abstract.

Vinicius Garcia. RiSE Reference Model for Software Reuse Adoption in Brazilian Companies. Federal University of Pernambuco (Feb 26 2010, advisor: Silvio Romero de Lemos Meira and Eduardo Santana de Almeida). Abstract.

Foutse Khomh. Patterns and Quality of Object-oriented Software Systems. University of Montreal (Aug 31 2010, advisor: Yann-Gael Gueheneuc). Abstract.

Marco D'Ambros. On the Evolution of Source Code and Software Defects. University of Lugano (Oct 19 2010, advisor: Michele Lanza). Abstract.

Suresh Thummalapenta. Improving Software Productivity and Quality via Mining Source Code. North Carolina State University (Nov 23 2010, advisor: Tao Xie). Abstract.

Juncao Li. An Automata-Theoretic Approach to Hardware/Software Co-verification. Portland State University (Dec 10 2010, advisor: Fei Xie). Abstract.

Paolo Di Benedetto. A Framework For Context Aware Adaptable Software Applications And Services. Università degli Studi di L'Aquila (Jul 9 2010, advisor: Paola Inverardi). Abstract.

Toby Myers. The Foundations for a Scaleable Methodology for Systems Design. Griffith University (Nov 26 2010, advisor: R. Geoff Dromey). Abstract.

Lukas Renggli. Dynamic Language Embedding With Homogeneous Tool Support. University of Bern (Oct 20 2010, advisor: Oscar Nierstrasz). Abstract.

Rubén Mondéjar. Distributed AOP Middleware for Large-Scale Scenarios. Universitat Rovira i Virgili (Apr 29 2010, advisor: Pedro García-López). Abstract.

David Röthlisberger. Augmenting IDEs with Runtime Information for Software Maintenance. University of Bern (Jun 4 2010, advisor: Oscar Nierstrasz). Abstract.

Rangaswamy Selvarani. Design Quality Metrics in Object Oriented Software System. Jawaharlal Nehru Technological University, Hyderabad (Feb 8 2010, advisor: T.R. Gopalakrishnan Nair). Abstract.

Bonita Sharif. Empirical Assessment of UML Class Diagram Layouts based on Architectural Importance. Kent State University (May 13 2010, advisor: Jonathan I. Maletic). Abstract.

Michel dos Santos Soares. Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems. Delft University of Technology (Feb 2010, advisor: Alexander Verbraeck). Abstract.

Angshu Maan Sen. Multiple Perspectives of Elicitation of Requirements in Goal Oriented Requirements Engineering: An Agile Technique of Elicitation. Assam University, Silchar (May 13 2010, advisor: K. Hemachandran). Abstract.

Patricia Deshane. Managing the Copy-and-Paste Programming Practice. Clarkson University (Apr 30, 2010, advisor: Daqing Hou). Abstract.

Christian Murphy. Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles. Columbia University (May 2010, advisor: Gail Kaiser). Abstract.


Remco de Boer. Architectural Knowledge Management: Supporting Architects and Auditors. VU University Amsterdam (Oct 5 2009, advisor: Hans van Vliet and Patricia Lago). Abstract.

Laura-Cecilia Rodriguez-Martinez. Design and Evaluation of a Software Systems Life Cycle Process Model in the Service-oriented Software Engineering Paradigm. Autonomous University of Aguascalientes (Nov 12 2009, advisor: Manuel Mora). Abstract.

Angela Lozano. Assessing the effect of source code characteristics on changeability. Open University (Dec 17 2009, advisor: Michel Wermelinger and Bashar Nuseibeh). Abstract.

Mircea Lungu. Reverse Engineering Software Ecosystems. University of Lugano (Oct 2009, advisor: Michele Lanza). Abstract.

Jochen Quante. Dynamic Object Process Graphs. University of Bremen, Germany (Jan 30, 2009, advisor: Rainer Koschke). Abstract.

Rui Abreu. Spectrum-based Fault Localization in Embedded Software. Delft University of Technology (2009, advisor: Arjan van Gemund). Abstract.

Bruno Cabral. A Transactional Model for Automatic Exception Handling. University of Coimbra (Nov 26 2009, advisor: Paulo Marques). Abstract.

Mohammad Raunak. Resource Management In Complex and Dynamic Environments. University of Massachusetts Amherst (Sep 2009, advisor: Leon J. Osterweil). Abstract.

Joerg Rech. Context-sensitive Diagnosis of Quality Defects in Object-oriented Software Systems. University of Hildesheim (2009, advisor: Klaus-Dieter Althoff). Abstract.

Yingfei Xiong. A Language-based Approach to Model Synchronization in Software Engineering. The University of Tokyo (Sep 2009, advisor: Zhenjiang Hu and Masato Takeichi). Abstract.

Justin Erenkrantz. Computational REST: A New Model for Decentralized, Internet-Scale Applications. University of California, Irvine (Sep 2009, advisor: Richard N. Taylor). Abstract.

Donna Malayeri. Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse. Carnegie Mellon University (Dec 2009, advisor: Jonathan Aldrich). Abstract.

Georgios Gousios. Tools and Methods for Large Scale Software Engineering Research. Athens University of Economics and Business (Apr 7 2009, advisor: Diomidis Spinellis). Abstract.

Eduardo Figueiredo. Concern-Oriented Heuristic Assessment of Design Stability. Lancaster University (Oct 23 2009, advisor: Jon Whittle and Alessandro Garcia). Abstract.

Lingxiao Jiang. Scalable Detection of Similar Code: Techniques and Applications. University of California, Davis (2009, advisor: Zhendong Su). Abstract.

Travis Breaux. Legal Requirements Acquisition for the Specification of Legally Compliant Information Systems. North Carolina State University (Apr 2009, advisor: Annie Anton). Abstract.

Eric Bodden. Verifying finite-state properties of large-scale programs. McGill University (Dec 28 2009, advisor: Laurie Hendren). Abstract.

Sayyed Maisikeli. Aspect Mining Using Self-Organizing Maps With Method Level Dynamic Software Metrics as Input Vectors. Nova Southeastern University (Jun 2009, advisor: Frank Mitropoulos). Abstract.

Adam Kiezun. Effective Software Testing with a String-Constraint Solver. MIT (2009, advisor: Michael D. Ernst). Abstract.

Dennis Jeffrey. Dynamic State Alteration Techniques for Automatically Locating Software Errors. The University of California, Riverside (Aug 2009, advisor: Rajiv Gupta). Abstract.

Chanchal Roy. Detection and Analysis of Near-Miss Software Clones. Queen's University at Kingston (Aug 31 2009, advisor: James R. Cordy). Abstract.

Roberto Silva Filho. An Empirical Study of Publish/Subscribe Middleware Versatility. University of California, Irvine (Aug 2009, advisor: David F. Redmiles). Abstract.

Suzette Person. Differential Symbolic Execution. University of Nebraska - Lincoln (Aug 2009, advisor: Matthew B. Dwyer). Abstract.

Eugen Nistor. Concern-Driven Software Evolution. University of California, Irvine (2009, advisor: Andre van der Hoek). Abstract.

Maria Karen Cortes-Verdin. AOPLA: Aspect-Oriented Product Line Architecture. CIMAT A.C. (Center for Research in Mathematics), Mexico (Jun 5 2009, advisor: Cuauhtemoc Lemus Olalde). Abstract.

Kevin Bierhoff. API Protocol Compliance in Object-Oriented Software. Carnegie Mellon University (May 17 2009, advisor: Jonathan Aldrich). Abstract.

Abbas Heydarnoori. Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. University of Waterloo (Apr 27 2009, advisor: Krzysztof Czarnecki). Abstract.

Mithun Acharya. Mining API Specifications from Source Code for Improving Software Reliability. North Carolina State University (Apr 27 2009, advisor: Tao Xie). Abstract.

Khanh Hoa Dam. Supporting Software Evolution in Agent Systems. RMIT University (Mar 4 2009, advisor: Michael Winikoff and Lin Padgham). Abstract.

Nelio Cacho. Supporting Maintainable Exception Handling with Explicit Exception Channels. Lancaster University (Jan 15 2009, advisor: Alessandro Garcia). Abstract.


Anton Jansen. Architectural design decisions. University of Groningen (Sep 19 2008, advisor: Jan Bosch and Dieter Hammer and Paris Avgeriou). Abstract.

Thomas Zimmermann. Changes and Bugs Mining and Predicting Development Activities. Saarland University (May 26 2008, advisor: Andreas Zeller). Abstract.

Chithralekha Thanasekaran. Agents with Two-Dimensional Language Autonomy for Task Delegation. Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). Abstract.

Lukasz Radlinski. Improved Software Project Risk Assessment Using Bayesian Nets. Queen Mary, University of London (Nov 30 2008, advisor: Norman Fenton). Abstract.

Till Bay. Hosting distributed software projects: concepts, framework, and the Origo experience. ETH Zurich (Jan 16 2008, advisor: Bertrand Meyer). Abstract.

Venkatasamy Prasanna Venkatesan. ARMMS- AN Architectural Reference Model for Multilingual Software. Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). Abstract.

Oksana Tkachuk. Domain-Specific Environment Generation for Modular Software Model Checking. Kansas State University (Dec 12 2008, advisor: Matthew B. Dwyer). Abstract.

Israel Herraiz. A statistical examination of the properties and evolution of libre software. Universidad Rey Juan Carlos (Oct 2008, advisor: Jesus M. Gonzalez Barahona and Gregorio Robles). Abstract.

Marc Fisher II. Probing Analysis of Closed Components. University of Nebraska - Lincoln (Aug 2008, advisor: Gregg Rothermel and Sebastian Elbaum). Abstract.

Marco Autili. Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios. Universit� degli Studi dell'Aquila (Apr 2008, advisor: Paola Inverardi). Abstract.

Romain Robbes. Of Change and Software. University of Lugano (Jan 12 2008, advisor: Michele Lanza). Abstract.

Miryung Kim. Analyzing and Inferring the Structure of Code Changes. University of Washington (2008, advisor: David Notkin). Abstract.

Atul Gupta. Unit Testing of Object-Oriented Programs. IIT Kanpur, INDIA (Mar 17 2008, advisor: Dr. Pankaj Jalote). Abstract.

Haroon Tarawneh. A Proposed Software Process Framework for Internet Development in Small Software Firms. The Arab Academy for Banking and Financial Sciences (2008, advisor: Asim El Sheikh). Abstract.

Adrian Lienhard. Dynamic Object Flow Analysis. University of Bern, Switzerland (Dec 16 2008, advisor: Oscar Nierstrasz). Abstract.

Claudio Sant'Anna. On the Modularity of Aspect-Oriented Design: A Concern-Driven Measurement Approach. Pontifical Catholic University of Rio de Janeiro (PUC-Rio) (Apr 2008, advisor: Carlos Lucena and Alessandro Garcia). Abstract.

Faizan Javed. Techniques for Context-Free Grammar Induction and Applications. University of Alabama at Birmingham (May 3 2008, advisor: Barrett R. Bryant). Abstract.

Beat Fluri. Change Distilling - Enriching software evolution analysis with fine-grained source code change histories. University of Zurich (Oct 2008, advisor: Harald C. Gall). Abstract.

Suman Roychoudhury. Genaweave: A Generic Aspect Weaver Framework Based On Model-Driven Program Transformation. University of Alabama at Birmingham (Aug 9 2008, advisor: Jeff Gray). Abstract.

Sebastian Gonzalez. Programming in Ambience: Gearing Up for Dynamic Adaptation to Context. Universit� catholique de Louvain (Oct 24 2008, advisor: Prof. Kim Mens). Abstract.

Annabella Loconsole. Definition and validation of requirements management measures. Ume� University (Jan 25 2008, advisor: Jurgen Borstler). Abstract.

Bram Adams. Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems. Ghent University (May 15 2008, advisor: Herman Tromp). Abstract.

Tom Van Custem. Ambient References: Object Designation in Mobile ad hoc Networks. Vrije Universiteit Brussel (May 23 2008, advisor: Wolfgang De Meuter). Abstract.

K.C. Shashidhar. Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking. Katholieke Universiteit Leuven (May 23 2008, advisor: Maurice Bruynooghe and Francky Catthoor). Abstract.

Christoph Csallner. Combining over- and under-approximating program analyses for automatic software testing. Georgia Tech (Aug 1 2008, advisor: Yannis Smaragdakis). Abstract.

Michal Antkiewicz. Framework-Specific Modeling Languages. University of Waterloo (Sep 12 2008, advisor: Krzysztof Czarnecki). Abstract.

Dennis Wagelaar. Platform Ontologies for the Model-Driven Architecture. Vrije Universiteit Brussel (Apr 18 2008, advisor: Viviane Jonckers). Abstract.

Eugenio Capra. Software Design Quality and Development Effort: an Empirical Study on the Role of Governance in Open Source Projects. Politecnico di Milano (May 14 2008, advisor: Chiara Francalanci). Abstract.

Oliver Hummel. Semantic Component Retrieval in Software Engineering. University of Mannheim (Mar 11 2008, advisor: Colin Atkinson and Ivica Crnkovic). Abstract.

Vahe Poladian. Tailoring Configuration to User's Tasks under Uncertainty. Carnegie Mellon University (May 2008, advisor: David Garland and Mary Shaw). Abstract.

Jie Hu. Realistic Models for Scheduling Tasks on Network Nodes. University of California, Irvine (Mar 1 2008, advisor: Raymond Klefstad). Abstract.

Scott McMaster. A Context-Sensitive Coverage Criterion for Test Suite Reduction. University of Maryland, College Park (May 23 2008, advisor: Atif Memon). Abstract.

Shang-Wen Cheng. Cost-effective, Software Architecture-based Self-adaptation. Carnegie Mellon University (May 18 2008, advisor: David Garlan). Abstract.

Dean Sutherland. The Code of Many Colors: Semi-automated Reasoning About Multi-Thread Policy for Java. Carnegie Mellon University (May 2008, advisor: William L. Scherlis). Abstract.

Yuriy Brun. Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distributed Networks. University of Southern California (May 2008, advisor: Nenad Medvidovic). Abstract.

Erkki Laitila. Symbolic Analysis and Atomistic Model as a Basis for a Program Comprehension Methodology. Jyv�skyl� University, Finland (Aug 5 2008, advisor: Pekka Neittaanmaki). Abstract.

Genaina Nunes Rodrigues. A Model Driven Approach for Software Reliability Prediction. University College London (Feb 8 2008, advisor: David S. Rosenblum). Abstract.

Tiago Massoni. A Model-Driven Approach to Formal Refactoring. Federal University of Pernambuco (Mar 07 2008, advisor: Paulo Borba). Abstract.


Charles B. Haley. Arguing Security: A Framework for Analyzing Security Requirements. The Open University (Mar 2007, advisor: Bashar Nuseibeh). Abstract.

Diego Garbervetsky. Parametric specifications of dynamic memory utilization. Universidad de Buenos Aires (Nov 15 2007, advisor: Victor Braberman and Sergio Yovine). Abstract.

Davide Di Ruscio. Specification of Model Transformation and Weaving in Model Driven Engineering. University of L'Aquila (2007, advisor: Alfonso Pierantonio). Abstract.

Jim Steel. Typage de Modèles. Université de Rennes 1 (Apr 23 2007, advisor: Jean-Marc Jézéquel). Abstract.

Gerardo Padilla. A Test Profile Analysis Framework for Assessing the Reliability of Software Component Assemblies. Research Center in Mathematics, Mexico (2007, advisor: Carlos Montes de Oca). Abstract.

Joel Huselius. Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording. M�lardalens University (Jun 14 2007, advisor: Hans Hansson). Abstract.

Jiang Zheng. In Regression Testing without Code. North Carolina State University (Aug 2007, advisor: Laurie Williams). Abstract.

Emily Navarro. SimSE: A Software Engineering Simulation Environment for Software Process Education. University of California, Irvine (2007, advisor: Andre van der Hoek). Abstract.

Charles Pairot. Design And Implementation Of A Wide-Area Middleware Infrastructure For The Development Of Distributed Applications In Structured Peer-To-Peer Environments. Universidad de Murcia (Jul 6 2007, advisor: Pedro Garcia-Lopez). Abstract.

Anita Sarma. Palant�r: Enhancing Configuration Management Systems with Workspace Awareness to Detect and Resolve Emerging Conflicts. University of California, Irvine (Dec 2007, advisor: Andre van der Hoek). Abstract.

Xiaoqing Wu. Component-Based Language Implementation With Object-Oriented Syntax and Aspect-Oriented Semantics. University of Alabama at Birmingham (May 2007, advisor: Barrett R. Bryant). Abstract.

Shih-Hsi Liu. QOSPL: A Quality of Service-Driven Software Product Line Engineering Framework for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems. University of Alabama at Birmingham (2007, advisor: Barrett R. Bryant). Abstract.

Yuehua Lin. A Model Transformation Approach to Automated Model Evolution. University of Alabama at Birmingham (Aug 2007, advisor: Jeff Gray). Abstract.

Andy Kellens. Maintaining causality between design regularities and source code. Vrije Universiteit Brussel (2007, advisor: Theo D'Hondt). Abstract.

Davide Falessi. A Toolbox for Software Architecture Design. University of Rome TorVergata (Dec 14 2007, advisor: Giovanni Cantone). Abstract.

Lorenz Froihofer. Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints. Vienna University of Technology (Nov 14 2007, advisor: Mehdi Jazayeri). Abstract.

Ana Belen Barragans Martinez. Formal Methodology for Specifying Software Systems in Multi-Perspective Environments. University of Vigo (Sep 7 2007, advisor: Jose J. Pazos Arias). Abstract.

Taweesup Apiwattanapong. Identifying testing requirements for modified software. Georgia Institute of Technology (Aug 2007, advisor: Mary Jean Harrold). Abstract.

Tallam Sriraman. Fault Location and Avoidance in Long-Running Multithreaded Applications. University of Arizona (Oct 2007, advisor: Rajiv Gupta). Abstract.

Chris Mattmann. Software Connectors for Highly Distributed and Voluminous Data-Intensive Systems. University of Southern California (Jul 2007, advisor: Nenad Medvidovic). Abstract.

Jorge Luis Ortega-Arjona. Architectural Patterns for Parallel Programming. Models for Performance Estimation. University College London (May 31 2007, advisor: David S. Rosenblum). Abstract.

Carla Taciana Lima Lourenco Silva. Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case. Universidade Federal de Pernambuco (Feb 2007, advisor: Jaelson Castro). Abstract.

Eduardo Almeida. RiDE: The RiSE Process for Domain Engineering. Federal University of Pernambuco (May 2007, advisor: Silvio Romero de Lemos Meira). Abstract.

Fernando Schapachnik. Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures. University of Buenos Aires (Oct 2007, advisor: Victor Braberman). Abstract.

Hyunsook Do. Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques. University of Nebraska, Lincoln (May 2007, advisor: Gregg Rothermel). Abstract.

Josh Dehlinger. Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems. Iowa State University (Aug 2007, advisor: Robyn R. Lutz). Abstract.

David Shepherd. Natural Language Program Analysis: Combining Natural Language Processing and Program Analysis to Improve Software Maintenance Tools. University of Delaware (Aug 2007, advisor: Lori Pollock and K. Vijay-Shanker). Abstract.

Arun Mukhija. CASA- A Framework for Dynamically Adaptive Applications. University of Zurich (Dec 2007, advisor: Martin Glinz). Abstract.

Jeremy Bradbury. Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking. Queen's University (Oct 2007, advisor: and and Juergen Dingel). Abstract.

James Skene. Language Support for Service-Level Agreements for Application-Service Provision. University of London (Nov 2007, advisor: Wolfgang Emmerich). Abstract.

Jacek Ratzinger. sPACE - Software Project Assessment in the Course of Evolution. Vienna University of Technology (2007, advisor: Harald Gall). Abstract.

Nicola Zannone. A Requirements Engineering Methodology for Trust, Security, and Privacy. University of Trento (2007, advisor: Fabio Massacci). Abstract.

Vander Alves. Implementing Software Product Line Adoption Strategies. Federal University of Pernambuco (Mar 2007, advisor: Paulo Borba). Abstract.

Christian Lange. Assessing and Improving the Quality of Modeling - A Series of Empirical Studies about the UML. Eindhoven University of Technology (Oct 2007, advisor: Serge Demeyer and Mark van den Brand). Abstract.

Michael Fischer. EvoZilla - Longitudinal Evolution Analysis of Large Scale Software Systems. Technical University of Vienna (May 2007, advisor: Harald Gall). Abstract.

Nathaniel Nystrom. Programming Languages for Scalable Software Extension and Composition. Cornell University (Jan 2007, advisor: Andrew Myers). Abstract.

Manish Anand. Collaborative Power Management: Piercing Abstraction Barriers for Fast and Energy-Efficient Pervasive Data Access. University of Michigan (Jul 2007, advisor: Jason Flinn). Abstract.

George Fairbanks. Design Fragments. Carnegie Mellon University (May 2007, advisor: David Garlan and Bill Scherlis). Abstract.

Sara Sprenkle. Strategies for Automatically Exposing Faults in Web Applications. University of Delaware (Aug 2007, advisor: Lori Pollock). Abstract.

Stefan Wagner. Cost-Optimisation of Analytical Software Quality Assurance. Technische Universit�t M�nchen (Apr 2007, advisor: Manfred Broy). Abstract.

Cesar Sanchez. Deadlock Avoidance for Distributed Real-Time and Embedded Systems. Stanford University (Jun 2007, advisor: Zohar Manna). Abstract.

Teresa Mallardo. The Role Of Software Requirements Inspections In Distributed Development. University of Bari (May 2007, advisor: Filippo Lanubile). Abstract.

Fabio Calefato. Supporting Synchronous Communication In Distributed Software Teams. University of Bari (May 2007, advisor: Filippo Lanubile). Abstract.

Ganesh Pai. Probabilistic software quality analysis. University of Virginia (May 2007, advisor: Joanne Bechta Dugan). Abstract.

Rakeshkumar Shukla. A Framework for Statistical Testing of Software Components. The University of Queensland (May 2007, advisor: Paul Strooper). Abstract.


Andrew Phillips. Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. Imperial College (Oct 2006, advisor: Bashar Nuseibeh). Abstract.

Venkatesh-Prasad Ranganath. Scalable and Accurate Approaches to Program Dependence Analysis, Slicing, and Verification of Concurrent Object Oriented Programs. Kansas State University (Dec 2006, advisor: John Hatcliff). Abstract.

Wei Zhao. Model-Driven Integration of Software and Service Components. University of Alabama at Birmingham (Dec 15 2006, advisor: Barret R. Bryant). Abstract.

Naveed Arshad. A Planning-Based Approach to Failure Recovery in Distributed Systems. University of Colorado at Boulder (May 2006, advisor: Alexander L. Wolf and Dennis M. Heimbigner). Abstract.

Ingo Stuermer. Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation. Technical University of Berlin (Germany) (Feb 16 2006, advisor: Prof. Dr. Peter Pepper). Abstract.

Matthew Rutherford. Adequate System-Level Testing of Distributed Systems. University of Colorado at Boulder (Aug 2006, advisor: Alexander L. Wolf). Abstract.

Leonardo Murta. Configuration Management Applied to Component Based Development. Federal University of Rio de Janeiro (Oct 2006, advisor: Claudia Maria Lima Werner). Abstract.

John Fiskio-Lasseter. Specification and Solution of Multisource Data Flow Problems. University of Oregon (Dec 2006, advisor: Michal Young). Abstract.

Davor Svetinovic. Increasing the Semantic Similarity of Object-Oriented Domain Models by Performing Behavioral Analysis First. University of Waterloo, BC, Canada (2006, advisor: Daniel M. Berry and Michael W. Godfrey). Abstract.

Konrad Sascha. Model-driven Development and Analysis of High Assurance Systems. Michigan State University (Sep 2006, advisor: Betty H.C. Cheng). Abstract.

Dirk Deridder. A Concept-Centric Environment for Software Evolution in an Agile Context. Vrije Universiteit Brussel (Jun 2006, advisor: Theo D'Hondt). Abstract.

Vahid Garousi. Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms. Carleton University, Canada (Sep 2006, advisor: Prof. Lionel Briand and Prof. Yvan Labiche). Abstract.

Yanyan Wang. Automating Experimentation with Distributed Systems Using Generative Techniques. University of Colorado at Boulder (Aug 2006, advisor: Antonio Carzaniga and Alexander L. Wolf). Abstract.

Roshanak Roshandel. Calculating Architectural Reliability via Modeling and Analysis. University of Southern California (2006, advisor: Nenad Medvidovic). Abstract.

David Janzen. An Empirical Evaluation of the Impact of Test-Driven Development on Software Quality. University of Kansas (Dec 2006, advisor: Hossein Saiedian). Abstract.

Holger Kienle. Building reverse engineering tools with software components. University of Victoria, BC, Canada (Nov 2006, advisor: Hausi Muller). Abstract.

Benjamin Livshits. Improving Software Security with Precise Static and Runtime Analysis. Stanford University (Dec 2006, advisor: Monica Lam). Abstract.

Andy Zaidman. Scalability Solutions for Program Comprehension Through Dynamic Analysis. University of Antwerp (Sep 6 2006, advisor: Serge Demeyer). Abstract.

Danny Weyns. An Architecture-Centric Approach for Software Engineering with Situated Multiagent Systems. Katholieke Universiteit Leuven, Belgium (Oct 11 2006, advisor: Tom Holvoet). Abstract.

Sunghun Kim. Adaptive Bug Prediction By Analyzing Software History. University of California, Santa Cruz (Sep 1 2006, advisor: Jim Whitehead). Abstract.

Xiangyu Zhang. Fault Location Via Precise Dynamic Slicing. University of Arizona (Sep 30 2006, advisor: Rajiv Gupta). Abstract.

Qing Xie. Developing Cost-Effective Model-Based Techniques for GUI Testing. University of Maryland (Aug 28 2006, advisor: Atif Memon). Abstract.

Lorin Hochstein. Development of an Empirical Approach to Building Domain-Specific Knowledge Applied to High-End Computing. University of Maryland (Jul 2006, advisor: Vic Basili). Abstract.

Marvin Early. Improving the success rate of software development projects. Northcentral University (2006, advisor: Amiram Neiman). Abstract.

Benjamin Tyler. Specification and Runtime Monitoring of Object-Oriented Systems. The Ohio State University (Jun 11 2006, advisor: Neelam Soundarajan). Abstract.

Alexandre Bergel. Classboxes: Controlling Visibility of Class Extensions. Software Composition Group, University of Bern (Nov 21 2006, advisor: Staphane Ducasse). Abstract.

Mauro Caporuscio. Design, Development and Analysis of Distributed Event-Based Systems. University of LAquila (2006, advisor: Paola Inverardi). Abstract.

Leonardo Mostarda. Distributed Intrusion Detection Systems for Secure Software Architectures. university of LAquila (2006, advisor: Paola Inverardi). Abstract.

Hans Sassenburg. Design of a Methodology to Support Software Release Decisions: Do the Numbers Really Matter?. University of Groningen (Jun 1 2006, advisor: Egon Berghout). Abstract.


Curtis Clifton. A design discipline and language features for modular reasoning in aspect-oriented programs. Iowa State University (Jul 2005, advisor: Gary T. Leavens). Abstract.

Eli Tilevich. Software Tools for Separating Distribution Concerns. Georgia Tech (Dec 17 2005, advisor: Dr. Yannis Smaragdakis). Abstract.

Qingfeng He. Requirements-Based Access Control Analysis and Policy Specification. North Carolina State University (Dec 14 2005, advisor: Annie I. Anton). Abstract.

Christian Nentwich. Managing the Consistency of Distributed Documents. University of London (2005, advisor: Wolfgang Emmerich). Abstract.

James Law. Path-Based Dynamic Impact Analysis. Oregon State University (Jul 13 2005, advisor: Gregg Rothermel). Abstract.

Ilya Shlyakhter. Declarative Symbolic Pure-Logic Model Checking. Massachusetts Institute of Technology (Feb 2005, advisor: Daniel Jackson). Abstract.

John Clements. Portable and High-level Access to the Stack with Continuation Marks. Northeastern University (2005, advisor: Matthias Felleisen). Abstract.

Joao Pedro Sousa. Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments. Carnegie Mellon University (May 2005, advisor: David Garlan). Abstract.

Aysu Betin Can. Design for Verification for Concurrent and Distributed Programs. University of California Santa Barbara (2005, advisor: Tevfik Bultan). Abstract.

Gabriela Arevalo. High Level Views in Object-Oriented Systems using Formal Concept Analysis. University of Bern (Jan 14 2005, advisor: Oscar Nierstrasz). Abstract.

Vibha Sazawal. Connecting Software Design Principles to Source Code for Improved Ease of Change. University of Washington (Dec 2005, advisor: David Notkin). Abstract.

Paul Williams. CuPIDS: Increasing Information System Security Through the Use of Dedicated Co-processing. Purdue University (Aug 2005, advisor: Eugene Spafford). Abstract.

Di Marco Antinisca. Model-based Performance Analysis of Software Architectures. University dell Aquila (Jun 2005, advisor: Paola Inverardi). Abstract.

Tivoli Massimo. An architectural approach to the automatic composition and adaptation of software components. Universita dell Aquila (Jun 6 2005, advisor: Paola Inverardi). Abstract.

Pelliccione Patrizio. Charmy: A framework for Software Architecture Specification and Analysis. Univesita dell Aquila, Italy (2005, advisor: Paola Inverardi). Abstract.

Tao Xie. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. University of Washington (2005, advisor: David Notkin). Abstract.

Martin Pinzger. ArchView - Analyzing Evolutionary Aspects of Complex Software Systems. University of Technology, Vienna (2005, advisor: Harald Gall). Abstract.

Gerald Reif. WEESA - Web Engineering for Semantic Web Applications. University of Technology, Vienna (2005, advisor: Harald Gall). Abstract.


Martin Robillard. Representing Concerns in Source Code. University of British Columbia (2004, advisor: Gail Murphy). Abstract.

Robby . Domain-specic Software Model Checking. Kansas State University (Aug 2004, advisor: John Hatcliff and Matthew B. Dwyer). Abstract.

Laura Campbell. Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems. Michigan State University (2004, advisor: Betty H.C. Cheng). Abstract.

Jin Dean. Ontological Adaptive Integration of Reverse Engineering Tools. Queen's University (Aug 2004, advisor: James R. Cordy). Abstract.

Tuba Yavuz-Kahveci Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. University of California, Santa Barbara (Sep 2004, advisor: Tevfik Bultan). Abstract.

Michael Collard. Meta-Differencing: An Infrastructure for Source Code Difference Analysis. Kent State University (Aug 21 2004, advisor: Jonathan I. Maletic). Abstract.

Joerg P. Wadsack. Data-oriented Reengineering. University of Paderborn (Jul 07 2004, advisor: Wilhelm Schafer). Abstract.

Nathan Ryan. Using Event-Based Translation to Support Dynamic Protocol Evolution. University of Colorado, Boulder (2004, advisor: Alexander L. Wolf). Abstract.

Christine Julien. Supporting Context-Aware Application Development in Ad Hoc Mobile Networks. Washington University in Saint Louis (2004, advisor: Gruia-Catalin Roman). Abstract.

Marija Mikic-Rakic. Software Architectural Support for Disconnected Operation in Distributed Environments. University of Southern California (2004, advisor: Nenad Medvidovic). Abstract.

Nigamanth Sridhar. Dynamically Reconfigurable Parameterized Components. The Ohio State University (2004, advisor: Paolo A.G. Sivilotti and Bruce W. Weide). Abstract.

Tuba Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. University of California, Santa Barbara (Sep 2004, advisor: Tevfik Bultan). Abstract.

Ranjit Jhala. Program Verification by Lazy Abstraction. UC Berkeley (Dec 12 2004, advisor: Thomas A. Henzinger). Abstract.

Sergio Soares. An Aspect-Oriented Implementation Method. Centro de Informatica, UFPE Brazil (Oct 2004, advisor: Paulo Borba). Abstract.

Suan Hsi Yong. Runtime Monitoring of C Programs for Security and Correctness. University of Wisconsin-Madison (Aug 2004, advisor: Susan Horwitz). Abstract.

Christian Luer. User-Centric Deployment Support in a Component Platform. University of California, Irvine (Aug 2004, advisor: Andre van der Hoek). Abstract.

Ben Liblit. Cooperative Bug Isolation. University of California, Berkeley (2004, advisor: Alex Aiken). Abstract.

Gregory Kulczycki. Direct Reasoning. Clemson University (2004, advisor: Murali Sitaraman). Abstract.

Nikunj Mehta. Composing Style-Based Software Architectures From Architectural Primitives. University of Southern California (2004, advisor: Nenad Medvidovic). Abstract.

Scott Pike. Distributed Resource Allocation with Scalable Crash Containment. The Ohio State University (2004, advisor: Paul Sivilotti). Abstract.


Daqing Hou. FCL: Automatically Detecting Structural Errors in Framework-Based Development. University of Alberta (Dec 19 2003, advisor: H. James Hoover). Abstract.

Yoonsik Cheon. A Runtime Assertion Checker for the Java Modeling Language. Iowa State University (Apr 2003, advisor: Gary T. Leavens). Abstract.

Jeffrey Carver. The Impact of Background and Experience on Software Inspections. University of Maryland (2003, advisor: Victor R. Basili). Abstract.

Aaron Greenhouse. A Programmer-Oriented Approach to Safe Concurrency. Carnegie Mellon University (2003, advisor: William L. Scherlis). Abstract.

Rohit Khare. Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems. University of California, Irvine (2003, advisor: Richard N. Taylor). Abstract.

Joost Visser. Generic Traversal over Typed Source Code Representations. University of Amsterdam (Feb 2003, advisor: Paul Klint). Abstract.

Johannes Mayer. On Quality Improvement of Scientific Software Theory, Methods, and Application in the GeoStoch Development. Ulm University (Jul 2003, advisor: Franz Schweiggert). Abstract.

Raghavan Komondoor. Automated Duplicated-Code Detection and Procedure Extraction. University of Wisconsin (Aug 2003 and Susan Horwitz). Abstract.

Tahvildari Ladan. Quality-Driven Object-Oriented Software Reengineering Framework. University of Waterloo (Aug 2003, advisor: Kostas Kontogiannis). Abstract.

Yvonne Coady. Exploring an Aspect-Oriented Approach to Operating System Code. University of British Columbia (Aug 2003, advisor: Gregor Kiczales). Abstract.

Jonathan Aldrich. Using Types to Enforce Architectural Structure. University of Washington (Aug 22 2003, advisor: Craig Chambers and David Notkin). Abstract.

Michele Lanza. Object-Oriented Reverse Engineering Coarse-grained, Fine-grained, and Evolutionary Software Visualization. University of Berne (May 2003, advisor: Oscar Nierstrasz). Abstract.

Andrian Marcus. Semantic Driven Program Analysis. Kent State University (Aug 15 2003, advisor: Jonathan Maletic). Abstract.

Licia Capra. Reflective Mobile Middleware for Context-Aware Applications. University College London (2003, advisor: Wolfgang Emmerich). Abstract.

Clemens Kerer. XGuide - Concurrent Web Development with Contracts. University of Technology, Vienna (2003, advisor: Mehdi Jazayeri). Abstract.

Sebastian Uchitel. Incremental Elaboration of Scenario-Based Specifications Using Implied Scenarios. Imperial College, London (2003, advisor: Jeff Kramer). Abstract.


Atanas Rountev. Dataflow Analysis of Software Fragments. Rutgers University (2002, advisor: Barbara G. Ryder). Abstract.

Thomas Alspaugh. Scenario Networks and Formalization for Scenario Management. North Carolina State University (2002, advisor: Annie I. Anton). Abstract.

Tamar Richner-Hanna. Recovering Behavioral Design Views: a Query-Based Approach. University Of Berne, Switzerland (May 17 2002, advisor: Prof. Dr. O. Nierstrasz and Dr. S. Ducasse). Abstract.

Andrew Walenstein. Cognitive Support in Software Engineering Tools: A Distributed Cognition Framework. Simon Fraser University (May 7 2002, advisor: Robert D. Cameron). Abstract.

Henry Muccini. Software Architecture for Testing, Coordination and Views Model Checking. University of Rome (La Sapienza) (2002, advisor: Paola Inverardi and Antonia Bertolino). Abstract.

Tamar Richner-Hanna. Recovering Behavioral Design Views: a Query-Based Approach. University Of Berne, Switzerland (May 2002, advisor: O. Nierstrasz and S. Ducasse). Abstract.

Irfan Pyarali. Patterns For Providing Real-Time Guarantees In Doc Middleware. Washington University (2002, advisor: Douglas Schmidt). Abstract.

Radu Marinescu. Measurement and Quality in Object-Oriented Design. Politehnica University of Timisoara (2002, advisor: Gerhard Goos). Abstract.

Jeff Foster. Type Qualifiers: Lightweight Specifications to Improve Software Quality. University of California, Berkeley (2002, advisor: Alex Aiken). Abstract.

Gschwind Thomas. Adaptation and Composition Techniques for Component-Based Software Engineering. Technische Universitat Wien (2002, advisor: Mehdi Jazayeri). Abstract.

Jeff Gray. Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Metaweaver Framework. Vanderbilt University (2002, advisor: Stephen Schach). Abstract.

Engin Kirda. Engineering Device-Independent Web Services: An XML/XSL-based approach to creating flexible and extensible multi-device. Technical University of Vienna, Austria (2002, advisor: Mehdi Jazayeri). Abstract.


Dietmar Pfahl. An Integrated Approach to Simulation-Based Learning in Support of Strategic and Project Management in Software Organisations. University of Kaiserslautern (Jan 10 2001, advisor: Dieter Rombach). Abstract.

Isabel Ramos. The Construction of Work Realities Assisted by the Adoption of Computer-Based Systems. University of Minho, Portugal (2001, advisor: Daniel M. Berry). Abstract.

Sander Tichelaar. Modeling Object-Oriented Software for Reverse Engineering and Refactoring. University of Berne (Dec 14 2001, advisor: Oscar Nierstrasz). Abstract.

Jurgen Munch. Pattern-based Development of Software Project Plans. University of Kaiserslautern (Nov 2001, advisor: Dieter Rombach). Abstract.

Atif Memon. A Comprehensive Framework for Testing Graphical User Interfaces. University of Pittsburg (Jul 27 2001, advisor: Mary Lou Soffa). Abstract.

Corina Pasareanu. Abstraction and Modular Reasoning for the Verification of Software. Kansas State University (Sep 2001, advisor: Matthew Dwyer). Abstract.

Cecilia Mascolo. Specification, Analysis and Prototyping of Mobile Code Systems. Universita di Bologna (2001, advisor: Paolo Ciancarini). Abstract.


Oliver Laitenberger. Cost-effective Detection of Software Defects through Perspective-based Inspections. University of Kaiserslautern (2000, advisor: Dieter Rombach and Victor Basili). Abstract.

Kim Mens. Automating architectural conformance checking by means of logic meta programming. Vrije Universiteit Brussel (Oct 23 2000, advisor: Theo D'Hondt). Abstract.

William McUmber. A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development. Michigan State University (Feb 2000, advisor: Betty H. C. Cheng). Abstract.

William Chan. Symbolic model checking for large software specifications. University of Washington (2000, advisor: David Notkin and Richard Anderson). Abstract.

Peyman Oreizy. Open Architecture Software: A Flexible Approach to Decentralized Software Evolution. University of California, Irvine (2000, advisor: Richard N. Taylor). Abstract.

Roy Fielding. Architectural Styles and the Design of Network-based Software Architectures. University of California, Irvine (2000, advisor: Richard N. Taylor). Abstract.

Judith Stafford. A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis. University of Colorado at Boulder (2000, advisor: Alexander L. Wolf). Abstract.

Jim Whitehead. An Analysis of the Hypertext Versioning Domain. University of California, Irvine (2000, advisor: Richard N. Taylor). Abstract.

Mario Kupries. Interagent Conntectors in Multiagent System. University of Potsdam (Nov 20 2000, advisor: Prof. Dr. Erika Horn). Abstract.

Andre van der Hoek. A Reusable, Distributed Repository for Configuration Management Policy Programming. University of California, Irvine (2000, advisor: Alexander L. Wolf). Abstract.

Ines Jaramillo Clara. Source Level Debugging Techniques and Tools for Optimized Code. University of Pittsburgh (2000, advisor: Rajiv Gupta and Mary Lou Soffa). Abstract.

Zhenyi Jin. A Software Architecture-based Testing Technique. George Mason University (2000, advisor: Jeff Offutt). Abstract.

Michael Ernst. Dynamically Discovering Likely Program Invariants. University of Washington (Aug 2000, advisor: David Notkin). Abstract.


Darren Atkinson. The Design and Implementation of Practical and Task-Oriented Whole-Program Analysis Tools. University of California, San Diego (1999, advisor: William G. Griswold). Abstract.

Richard Hall. Agent-based Software Configuration and Deployment. University of Colorado, Boulder (1999, advisor: Alexander L. Wolf). Abstract.

Nenad Medvidovic. Architecture-Based Specification-Time Software Evolution. University of California, Irvine (1999, advisor: Richard N. Taylor). Abstract.

Tom Mens. A Formal Foundation for Object-Oriented Software Evolution. Vrije Universiteit Brussel (Sep 1999, advisor: D'Hondt Theo). Abstract.

Robert Monroe. Rapid Development of Custom Software Architecture Design Environments. Carnegie Mellon University (1999, advisor: David Garlan). Abstract.

Michel Wermelinger. Specification of Software Architecture Reconfiguration. New University of Lisbon, Portugal (Dec 16 1999, advisor: Jose Luiz Fiadeiro). Abstract.

Antonio Carzaniga. Architectures for an Event Notification Service Scalable to Wide-area Networks. Politecnico di Milano, Italy (1999, advisor: Alfonso Fuggetta). Abstract.

Robert De Line. Resolving packaging mismatch. Carnegie Mellon Univeristy (1999, advisor: Mary Shaw). Abstract.

Karl Goeschka. Architectures of Web Applications. Vienna University of Technology (1999, advisor: Richard Eier and Mehdi Jazayeri). Abstract.

Manfred Hauswirth. Internet-Scale Push Systems for Information Distribution---Architecture, Components, and Communication. Technical University of Vienna, Austria (1999, advisor: Mehdi Jazayeri). Abstract.

Goudarzi Kaveh Moazami. Consistency Preserving Dynamic Reconfiguration of Distributed Systems. Imperial College of Science, Technology and Medicine, London (1999, advisor: Jeff Kramer). Abstract.


Forrest Shull. Developing Techniques for Using Software Documents: A Series of Empirical Studies. University of Maryland, College Park (Dec 1998, advisor: Victor Basili). Abstract.

Aniruddha Gokhale. Design Principles and Optimizations for High Performance, Real-time CORBA. Washington University in St. Louis (May 1998, advisor: Dr. Douglas C. Schmidt). Abstract.

Michelle Lee. Change Impact Analysis for Object-Oriented Software. George Mason University (1998, advisor: Jeff Offutt). Abstract.

Tevfik Bultan. Automated Symbolic Analysis of Reactive Systems. University of Maryland, College Park (1998, advisor: Richard Gerber). Abstract.

David Fleming. Foundations of Object-Based Specification Design. West Virginia University (1998, advisor: Murali Sitaraman). Abstract.

William Hefley. Influence In Work Groups A Study of Software Development Teams. Carnegie Mellon University (1998, advisor: Sara Kiesler). Abstract.

Andrea Zisman. Information Discovery for Interoperable Autonomous Database Systems. University of London, Imperial College of Science, Technology and Medicine (1998, advisor: Jeff Kramer). Abstract.

Abdelsalam Heddaya. Managing Event-based Replication for Abstract Data Types in Distributed Systems. Harvard University (1988, advisor: Bill Weihl). Abstract.


Will Tracz. Parameterized Programming in LILEANNA. Stanford University (Jun 1997, advisor: David Luckham). Abstract.

Manoel Mendonça. An Approach to Improving Existing Measurement Frameworks in Software Development Organizations. University of Maryland (1997, advisor: Victor Basili). Abstract.

Richard Paige. Formal Method Integration via Heterogeneous Notations. University of Toronto (Nov 1997, advisor: Eric C.R. Hehner). Abstract.


Jonathan Cook. Process Discovery and Validation through Event Data Analysis. University of Colorado, Boulder (1996, advisor: Alexander L. Wolf). Abstract.

Kingsum Chow. Supporting Library Interface Changes in Open System Software Evolution. University of Washington (1996, advisor: David Notkin). Abstract.


Jonathan Maletic. The Software Service Bay: A Knowledge Based Software Maintenance Methodology. Wayne State University (1995, advisor: Robert Reynolds). Abstract.

Wayne Heym. Computer Program Verification: Improvements for Human Reasoning. The Ohio State University (1995, advisor: Bruce W. Weide). Abstract.

Matthew Dwyer. FLAVERS: Data Flow Analysis for Verifying Properties of Concurrent Programs. University of Massachusetts - Amherst (1995, advisor: Lori Clarke). Abstract.

Wolfgang Emmerich. Tool Construction for Process-Centred Software Development Environments based on Object Databases. University of Paderborn (1995, advisor: Wilhelm Schafer). Abstract.

Tim Wahls. On the execution of high level formal specifications. Iowa State University (1995, advisor: Gary Leavens and Albert Baker). Abstract.


Bashar Nuseibeh. A multi-perspective framework for method integration. Imperial College London (Oct 1994, advisor: Anthony Finkelstein). Abstract.

Douglas Schmidt. An Object-Oriented Framework for Experimenting with Alternative Process Architectures for Parallelizing Communication Subsystems. University of California, Irvine (1994, advisor: Tatsuya Suda). Abstract.

Chonchanok Viravan. Enhancing Debugging Technology. Perdue University (1994, advisor: Eugene H. Spafford and Albert Baker). Abstract.


John Grundy. Multiple textual and graphical views for interactive software development environments. University of Auckland, New Zealand (Nov 1993, advisor: John Hosking). Abstract.

Harald Gall. Object-Mapping and System Transformation for object-oriented Reverse Engineering in COREM. Technical University of Vienna, Austria (1993, advisor: Roland T. Mittermeir). Abstract.


Earl Waldin. Using multiple representations for efficient communication of abstract values. Massachusetts Institute of Technology, (1992, advisor: William Weihl). Abstract.


William Griswold. Program Restructuring as an Aid to Software Maintenance. University of Washington (1991, advisor: David Notkin). Abstract.


Ira Baxter. Transformational Maintenance by Reuse of Design Histories. University of California, Irvine (1990, advisor: Peter Freeman). Abstract.


Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Massachusetts Institute of Technology (1989, advisor: William E. Weihl). Abstract.


Jeff Offutt. Automatic Test Data Generation. Georgia Institute of Technology (1988, advisor: Richard A. DeMillo). Abstract.

Raymond Klefstad. Maintaining a Uniform User Interface for an Ada Programming Environment. University of California, Irvine (1988, advisor: Richard N. Taylor). Abstract.

David S. Rosenblum. Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages. Stanford University (1988, advisor: David C. Luckham). Abstract.


Alexander Wolf. Language and Tool Support for Precise Interface Control. University of Massachusetts at Amherst (1985, advisor: Lori A. Clarke and Jack C. Wileden). Abstract.

William Bail. Algorithm Structure Analysis Using Hierarchical Abstract Computers. University of Maryland (1985, advisor: Marvin Zelkowitz). Abstract.


David Notkin. Interactive Structure-Oriented Computing. Carnegie Mellon University (1984, advisor: Nico Habermann). Abstract.


Jeanette Wing. A Two-Tiered Approach to Specifying Programs. MIT (1983, advisor: John Guttag). Abstract.


Richard Taylor. Static Analysis of the Synchronization Structure of Concurrent Programs. University of Colorado, Boulder (1980, advisor: Leon J. Osterweil). Abstract.