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.

Dissertations

2015

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

2014

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

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

2013

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

Jeff Huang. Effective Methods for Debugging Concurrent Software. Hong Kong University of Science and Technology (May 31 2013, advisor: Charles Zhang and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

2012

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

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

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

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

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

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

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

Michael Pradel. Program Analyses for Automatic and Precise Error Detection. ETH Zurich, Department of Computer Science (Dec 2012, advisor: Thomas R. Gross and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

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

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

Ekwa Duala-Ekoko. Using Structure-Based Recommendations to Facilitate API Learnability. McGill University (May 2012, advisor: Martin Robillard and NULL and NULL). 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 and NULL). Abstract.

2011

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

Eugene Syriani. A Multi-Paradigm Foundation for Model Transformation Language Engineering. McGill University (Feb 4 2011, advisor: Hans Vangheluwe and NULL and NULL). 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 and NULL and NULL). Abstract.

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

Amine Chigani. Campus Situational Awareness and Emergency Response Management System. Virginia Polytechnic Institute & State University (May 14 2011, advisor: Osman Balci and NULL and NULL). 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 and NULL and NULL). 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 and NULL). Abstract.

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

Rahul Purandare. Exploiting Program and Property Structure for Efficient Runtime Monitoring. University of Nebraska (May 6 2011, advisor: Matthew B. Dwyer and NULL and NULL). 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 and NULL and NULL). Abstract.

Neil Harrison. Improving quality attributes of software systems through software architecture patterns. University of Groningen (Apr 18 2011, advisor: Paris Avgeriou and NULL and NULL). 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 and NULL). Abstract.

Philip Langer. Adaptable Model Versioning based on Model Transformation By Demonstration. Vienna University of Technology (Dec 21 2011, advisor: Gerti Kappel and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

Hugo Sereno Ferreira. Adaptive Object-Modeling: Patterns, Tools and Applications. University of Porto, Faculty of Engineering (May 27 2011, advisor: Ademar Aguiar and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

2010

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 and NULL and NULL and NULL). Abstract.

Paul Ralph. Fundamentals of Software Design Science. University of British Columbia (Oct 2010, advisor: Yair Wand and NULL and NULL). 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 and NULL and NULL). 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 and NULL). Abstract.

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

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

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

Juncao Li. An Automata-Theoretic Approach to Hardware/Software Co-verification. Portland State University (Dec 10 2010, advisor: Fei Xie and NULL and NULL). 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 and NULL and NULL). Abstract.

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

Lukas Renggli. Dynamic Language Embedding With Homogeneous Tool Support. University of Bern (Oct 20 2010, advisor: Oscar Nierstrasz and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

Bonita Sharif. Empirical Assessment of UML Class Diagram Layouts based on Architectural Importance. Kent State University (May 13 2010, advisor: Jonathan I. Maletic and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

2009

Remco de Boer. Architectural Knowledge Management: Supporting Architects and Auditors. VU University Amsterdam (Oct 5 2009, advisor: Hans van Vliet and Patricia Lago and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

Joerg Rech. Context-sensitive Diagnosis of Quality Defects in Object-oriented Software Systems. University of Hildesheim (2009, advisor: Klaus-Dieter Althoff and NULL and NULL). 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 and NULL). Abstract.

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

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

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

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

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

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

Eric Bodden. Verifying finite-state properties of large-scale programs. McGill University (Dec 28 2009, advisor: Laurie Hendren and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

Eugen Nistor. Concern-Driven Software Evolution. University of California, Irvine (2009, advisor: Andre van der Hoek and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

2008

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

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

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

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

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

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

Oksana Tkachuk. Domain-Specific Environment Generation for Modular Software Model Checking. Kansas State University (Dec 12 2008, advisor: Matthew B. Dwyer and NULL and NULL). 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 and NULL). Abstract.

Marc Fisher II. Probing Analysis of Closed Components. University of Nebraska - Lincoln (Aug 2008, advisor: Gregg Rothermel and Sebastian Elbaum and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

Atul Gupta. Unit Testing of Object-Oriented Programs. IIT Kanpur, INDIA (Mar 17 2008, advisor: Dr. Pankaj Jalote and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

Adrian Lienhard. Dynamic Object Flow Analysis. University of Bern, Switzerland (Dec 16 2008, advisor: Oscar Nierstrasz and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

Faizan Javed. Techniques for Context-Free Grammar Induction and Applications. University of Alabama at Birmingham (May 3 2008, advisor: Barrett R. Bryant and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

Annabella Loconsole. Definition and validation of requirements management measures. Ume� University (Jan 25 2008, advisor: Jurgen Borstler and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

Tom Van Custem. Ambient References: Object Designation in Mobile ad hoc Networks. Vrije Universiteit Brussel (May 23 2008, advisor: Wolfgang De Meuter and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

Dennis Wagelaar. Platform Ontologies for the Model-Driven Architecture. Vrije Universiteit Brussel (Apr 18 2008, advisor: Viviane Jonckers and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

Shang-Wen Cheng. Cost-effective, Software Architecture-based Self-adaptation. Carnegie Mellon University (May 18 2008, advisor: David Garlan and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

2007

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

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

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

Jim Steel. Typage de Modèles. Université de Rennes 1 (Apr 23 2007, advisor: Jean-Marc Jézéquel and NULL and NULL). 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 and NULL and NULL). 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 and NULL and NULL). Abstract.

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

Emily Navarro. SimSE: A Software Engineering Simulation Environment for Software Process Education. University of California, Irvine (2007, advisor: Andre van der Hoek and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

Lorenz Froihofer. Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints. Vienna University of Technology (Nov 14 2007, advisor: Mehdi Jazayeri and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

Jorge Luis Ortega-Arjona. Architectural Patterns for Parallel Programming. Models for Performance Estimation. University College London (May 31 2007, advisor: David S. Rosenblum and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

Fernando Schapachnik. Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures. University of Buenos Aires (Oct 2007, advisor: Victor Braberman and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

Arun Mukhija. CASA- A Framework for Dynamically Adaptive Applications. University of Zurich (Dec 2007, advisor: Martin Glinz and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

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

Vander Alves. Implementing Software Product Line Adoption Strategies. Federal University of Pernambuco (Mar 2007, advisor: Paulo Borba and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

Nathaniel Nystrom. Programming Languages for Scalable Software Extension and Composition. Cornell University (Jan 2007, advisor: Andrew Myers and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

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

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

2006

Andrew Phillips. Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. Imperial College (Oct 2006, advisor: Bashar Nuseibeh and NULL and NULL). 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 and NULL and NULL). Abstract.

Wei Zhao. Model-Driven Integration of Software and Service Components. University of Alabama at Birmingham (Dec 15 2006, advisor: Barret R. Bryant and NULL and NULL and NULL). 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 and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

John Fiskio-Lasseter. Specification and Solution of Multisource Data Flow Problems. University of Oregon (Dec 2006, advisor: Michal Young and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

Dirk Deridder. A Concept-Centric Environment for Software Evolution in an Agile Context. Vrije Universiteit Brussel (Jun 2006, advisor: Theo D'Hondt and NULL and NULL and NULL). 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 and NULL and NULL). 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 and NULL). Abstract.

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

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

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

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

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

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

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

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

Qing Xie. Developing Cost-Effective Model-Based Techniques for GUI Testing. University of Maryland (Aug 28 2006, advisor: Atif Memon and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

Leonardo Mostarda. Distributed Intrusion Detection Systems for Secure Software Architectures. university of LAquila (2006, advisor: Paola Inverardi and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

2005

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

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

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

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

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

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

John Clements. Portable and High-level Access to the Stack with Continuation Marks. Northeastern University (2005, advisor: Matthias Felleisen and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

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

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

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

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

2004

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

Robby . Domain-specic Software Model Checking. Kansas State University (Aug 2004, advisor: John Hatcliff and Matthew B. Dwyer and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2003

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2002

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

Thomas Alspaugh. Scenario Networks and Formalization for Scenario Management. North Carolina State University (2002, advisor: Annie I. Anton and NULL and NULL and NULL). 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 and NULL and NULL). Abstract.

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

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

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

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

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

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

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

Jeff Gray. Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Metaweaver Framework. Vanderbilt University (2002, advisor: Stephen Schach and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

2001

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 and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

2000

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

Kim Mens. Automating architectural conformance checking by means of logic meta programming. Vrije Universiteit Brussel (Oct 23 2000, advisor: Theo D'Hondt and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

Roy Fielding. Architectural Styles and the Design of Network-based Software Architectures. University of California, Irvine (2000, advisor: Richard N. Taylor and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

1999

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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

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

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

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

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

1998

Forrest Shull. Developing Techniques for Using Software Documents: A Series of Empirical Studies. University of Maryland, College Park (Dec 1998, advisor: Victor Basili and NULL and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

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

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

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

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

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

1997

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

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

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

1996

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

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

1995

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

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

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

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

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

1994

Bashar Nuseibeh. A multi-perspective framework for method integration. Imperial College London (Oct 1994, advisor: Anthony Finkelstein and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

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

1993

John Grundy. Multiple textual and graphical views for interactive software development environments. University of Auckland, New Zealand (Nov 1993, advisor: John Hosking and NULL and NULL). 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 and NULL and NULL and NULL). Abstract.

1992

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

1991

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

1990

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

1989

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

1988

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

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

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

1985

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

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

1984

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

1983

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

1980

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