2014

• Yan Cai,Shangru Wu,W. K. Chan,ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.
• Dina Zayan,Michal Antkiewicz,Krzysztof Czarnecki,Effects of using examples on structural model comprehension: a controlled experiment.
• Guowei Yang,Sarfraz Khurshid,Suzette Person,Neha Rungta,Property differencing for incremental checking.
• Peng Liu,Charles Zhang,Unleashing concurrency for irregular data structures.
• Leandro L. Minku,Xin Yao,How to make best use of cross-company data in software effort estimation?
• Siddharth Subramanian,Laura Inozemtseva,Reid Holmes,Live API documentation.
• Frolin S. Ocariza Jr.,Karthik Pattabiraman,Ali Mesbah,Vejovis: suggesting fixes for JavaScript faults.
• Wei Le,Shannon D. Pattison,Patch verification via multiversion interprocedural control flow graphs.
• Kai Chen,Peng Liu,Yingjun Zhang,Achieving accuracy and scalability simultaneously in detecting application clones on Android markets.
• Irene Lizeth Manotas Gutiérrez,Lori L. Pollock,James Clause,SEEDS: a software engineer's energy-optimization decision support framework.
• Shahar Maoz,Jan Oliver Ringert,Bernhard Rumpe,Verifying component and connector models against crosscutting structural views.
• Hung Viet Nguyen,Christian Kästner,Tien N. Nguyen,Exploring variability-aware execution for testing plugin-based web applications.
• Leif Singer,Fernando Marques Figueira Filho,Margaret-Anne D. Storey,Software engineering at the speed of light: how developers stay current using twitter.
• Mohsen Vakilian,Ralph E. Johnson,Alternate refactoring paths reveal usability problems.
• Stefan Endrikat,Stefan Hanenberg,Romain Robbes,Andreas Stefik,How do API documentation and static typing affect API usability?
• Fei He,Bow-Yaw Wang,Liangze Yin,Lei Zhu,Symbolic assume-guarantee reasoning through BDD learning.
• Tingting Yu,Witawas Srisa-an,Gregg Rothermel,SimRT: an automated framework to support regression testing for data races.
• Bihuan Chen,Xin Peng,Yijun Yu,Bashar Nuseibeh,Wenyun Zhao,Self-adaptation through incremental generative model transformations at runtime.
• Klaas-Jan Stol,Brian Fitzgerald,Two's company, three's a crowd: a case study of crowdsourcing software development.
• Emmanuel Letier,David Stefan,Earl T. Barr,Uncertainty, risk, and information value in software requirements and architecture.
• Guoxin Su,David S. Rosenblum,Perturbation analysis of stochastic systems with empirical distribution parameters.
• Patrice Godefroid,Micro execution.
• Georgios Gousios,Martin Pinzger,Arie van Deursen,An exploratory study of the pull-based software development model.
• ThanhVu Nguyen,Deepak Kapur,Westley Weimer,Stephanie Forrest,Using dynamic analysis to generate disjunctive invariants.
• Nélio Cacho,Thiago César,Thomas Filipe,Eliezio Soares,Arthur Cassio,Rafael Souza,Israel García,Eiji Adachi Barbosa,Alessandro Garcia,Trading robustness for maintainability: an empirical study of evolving c# programs.
• Paolo Tonella,Roberto Tiella,Duy Cu Nguyen,Interpolated n-grams for model based testing.
• Hisashi Miyashita,Hideki Tai,Shunichi Amano,Controlled modeling environment using flexibly-formatted spreadsheets.
• Janet Siegmund,Christian Kästner,Sven Apel,Chris Parnin,Anja Bethmann,Thomas Leich,Gunter Saake,André Brechmann,Understanding understanding source code with functional magnetic resonance imaging.
• Xi Ge,Emerson R. Murphy-Hill,Manual refactoring changes with automated refactoring validation.
• Foyzur Rahman,Sameer Khatri,Earl T. Barr,Premkumar T. Devanbu,Comparing static bug finders and statistical prediction.
• Patrick Wagstrom,Subhajit Datta,Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project.
• Changhee Jung,Sangho Lee,Easwaran Raman,Santosh Pande,Automated memory leak detection for production use.
• Antonio Carzaniga,Alberto Goffi,Alessandra Gorla,Andrea Mattavelli,Mauro Pezzè,Cross-checking oracles from intrinsic software redundancy.
• Xiangjuan Yao,Mark Harman,Yue Jia,A study of equivalent and stubborn mutation operators using human analysis of equivalence.
• Thanassis Avgerinos,Alexandre Rebert,Sang Kil Cha,David Brumley,Enhancing symbolic execution with veritesting.
• Laura Inozemtseva,Reid Holmes,Coverage is not strongly correlated with test suite effectiveness.
• Qi Xuan,Vladimir Filkov,Building it together: synchronous development in OSS.
• Yanyan Jiang,Tianxiao Gu,Chang Xu,Xiaoxing Ma,Jian Lu,CARE: cache guided deterministic replay for concurrent Java programs.
• Joel Galenson,Philip Reames,Rastislav Bodík,Björn Hartmann,Koushik Sen,CodeHint: dynamic and interactive synthesis of code snippets.
• Martin Monperrus,A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair.
• Hung Viet Nguyen,Hoan Anh Nguyen,Anh Tuan Nguyen,Tien N. Nguyen,Mining interprocedural, data-oriented usage patterns in JavaScript web applications.
• Sangho Lee,Changhee Jung,Santosh Pande,Detecting memory leaks through introspective dynamic behavior modelling using machine learning.
• Alexey Ignatiev,Mikolás Janota,João Marques-Silva,Towards efficient optimization in package management systems.
• Cristian Klein,Martina Maggio,Karl-Erik Årzén,Francisco Hernández-Rodriguez,Brownout: building more robust cloud applications.
• Sai Zhang,Michael D. Ernst,Which configuration option should I change?
• Kivanç Muslu,Christian Bird,Nachiappan Nagappan,Jacek Czerwonka,Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes.
• Patrick Rempel,Patrick Mäder,Tobias Kuschke,Jane Cleland-Huang,Mind the gap: assessing the conformance of software traceability to relevant guidelines.
• Emerson R. Murphy-Hill,Thomas Zimmermann,Nachiappan Nagappan,Cowboys, ankle sprains, and keepers of quality: how is video game development different from software development?
• Ding Li,Angelica Huyen Tran,William G. J. Halfond,Making web applications more energy efficient for OLED smartphones.
• Lu Xiao,Yuanfang Cai,Rick Kazman,Design rule spaces: a new form of architecture insight.
• Caius Brindescu,Mihai Codoban,Sergii Shmarkatiuk,Danny Dig,How do centralized and distributed version control systems impact software changes?
• Hamid Bagheri,Chong Tang,Kevin J. Sullivan,TradeMaker: automated dynamic analysis of synthesized tradespaces.
• Antonio Filieri,Henry Hoffmann,Martina Maggio,Automated design of self-adaptive software with control-theoretical formal guarantees.
• Nicolás D'Ippolito,Víctor A. Braberman,Jeff Kramer,Jeff Magee,Daniel Sykes,Sebastián Uchitel,Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
• Yuhua Qi,Xiaoguang Mao,Yan Lei,Ziying Dai,Chengsong Wang,The strength of random search on automated program repair.
• Tse-Hsun Chen,Weiyi Shang,Zhen Ming Jiang,Ahmed E. Hassan,Mohamed N. Nasser,Parminder Flora,Detecting performance anti-patterns for applications developed using object-relational mapping.
• Semih Okur,David L. Hartveld,Danny Dig,Arie van Deursen,A study and toolkit for asynchronous programming in c#.
• Yun Lin,Zhenchang Xing,Yinxing Xue,Yang Liu,Xin Peng,Jun Sun,Wenyun Zhao,Detecting differences across multiple instances of code clones.
• Saba Alimadadi,Sheldon Sequeira,Ali Mesbah,Karthik Pattabiraman,Understanding JavaScript event-based interactions.
• Mika Mäntylä,Kai Petersen,Timo O. A. Lehtinen,Casper Lassenius,Time pressure: a controlled experiment of test case development and requirements review.
• Hyunmin Seo,Caitlin Sadowski,Sebastian G. Elbaum,Edward Aftandilian,Robert W. Bowdidge,Programmers' build errors: a case study (at google).
• Todd W. Schiller,Kellen Donohue,Forrest Coward,Michael D. Ernst,Case studies and tools for contract specifications.
• Paige Rodeghero,Collin McMillan,Paul W. McBurney,Nigel Bosch,Sidney K. D'Mello,Improving automated source code summarization via an eye-tracking study of programmers.
• Rahul Gopinath,Carlos Jensen,Alex Groce,Code coverage for suite evaluation by developers.
• Alessandra Gorla,Ilaria Tavecchia,Florian Gross,Andreas Zeller,Checking app behavior against app descriptions.
• Márcio Ribeiro,Paulo Borba,Christian Kästner,Feature maintenance with emergent interfaces.
• Ivan Beschastnikh,Yuriy Brun,Michael D. Ernst,Arvind Krishnamurthy,Inferring models of concurrent systems from logs of their behavior with CSight.
• Shaun Phillips,Thomas Zimmermann,Christian Bird,Understanding and improving software build teams.
• Paul Ralph,Paul Kelly,The dimensions of software engineering success.
• Nima Nikzad,Octav Chipara,William G. Griswold,APE: an annotation language and middleware for energy-efficient mobile application development.
• Keerthi Thomas,Arosha K. Bandara,Blaine A. Price,Bashar Nuseibeh,Distilling privacy requirements for mobile applications.
• Stas Negara,Mihai Codoban,Danny Dig,Ralph E. Johnson,Mining fine-grained code changes to detect unknown change patterns.
• Shalini Kaleeswaran,Varun Tulsian,Aditya Kanade,Alessandro Orso,MintHint: automated synthesis of repair hints.
• Peng Huang,Xiao Ma,Dongcai Shen,Yuanyuan Zhou,Performance regression testing target prioritization via performance risk analysis.
• Thomas Fritz,Andrew Begel,Sebastian C. Müller,Serap Yigit-Elliott,Manuela Züger,Using psycho-physiological measures to assess task difficulty in software development.
• Dohyeong Kim,William N. Sumner,Xiangyu Zhang,Dongyan Xu,Hira Agrawal,Reuse-oriented reverse engineering of functional components from x86 binaries.
• Ivan Bocic,Tevfik Bultan,Inductive verification of data model invariants for web applications.
• Ning Chen,Jialiu Lin,Steven C. H. Hoi,Xiaokui Xiao,Boshen Zhang,AR-miner: mining informative reviews for developers from mobile app marketplace.
• Rick Salay,Michalis Famelis,Julia Rubin,Alessio Di Sandro,Marsha Chechik,Lifting model transformations to product lines.
• Sarah Nadi,Thorsten Berger,Christian Kästner,Krzysztof Czarnecki,Mining configuration constraints: static analyses and empirical results.
• Jérôme Vouillon,Mehdi Dogguy,Roberto Di Cosmo,Easing software component repository evolution.
• Kelly Androutsopoulos,David Clark,Haitao Dan,Robert M. Hierons,Mark Harman,An analysis of the relationship between conditional entropy and failed error propagation in software testing.
• Pierre A. Akiki,Arosha K. Bandara,Yijun Yu,Integrating adaptive user interface capabilities in enterprise applications.
• Xiao-Yuan Jing,Shi Ying,Zhi-Wu Zhang,Shan-Shan Wu,Jin Liu,Dictionary learning based software defect prediction.
• Carlo Ghezzi,Mauro Pezzè,Michele Sama,Giordano Tamburrelli,Mining behavior models from user-intensive web applications.
• Iman Keivanloo,Juergen Rilling,Ying Zou,Spotting working code examples.
• Ravi Khadka,Belfrit V. Batlajery,Amir Saeidi,Slinger Jansen,Jurriaan Hage,How do professionals perceive legacy systems and software modernization?
• Renzo Degiovanni,Dalal Alrajeh,Nazareno Aguirre,Sebastián Uchitel,Automated goal operationalisation based on interpolation and SAT solving.
• Divya Gopinath,Sarfraz Khurshid,Diptikalyan Saha,Satish Chandra,Data-guided repair of selection statements.
• Wenshen Dou,Shing-Chi Cheung,Jun Wei,Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation.
• Steven Arzt,Eric Bodden,Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
• Rahul Mohanani,Paul Ralph,Ben Shreeve,Requirements fixation.
• Jason Tsay,Laura Dabbish,James D. Herbsleb,Influence of social and technical factors for evaluating contribution in GitHub.
• Jonathan Bell,Gail E. Kaiser,Unit test virtualization with VMVM.
• Swapneel Sheth,Gail E. Kaiser,Walid Maalej,Us and them: a study of privacy requirements across north america, asia, and europe.
• Yepang Liu,Chang Xu,Shing-Chi Cheung,Characterizing and detecting performance bugs for smartphone applications.
• Robert Dyer,Hridesh Rajan,Hoan Anh Nguyen,Tien N. Nguyen,Mining billions of AST nodes to study actual and potential usage of Java language features.
• Jianjun Huang,Xiangyu Zhang,Lin Tan,Peng Wang,Bin Liang,AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction.

2013

• Nicholas Sawadsky,Gail C. Murphy,Rahul Jiresal,Reverb: recommending code-related web pages.
• Dongsun Kim,Jaechang Nam,Jaewoo Song,Sunghun Kim,Automatic patch generation learned from human-written patches.
• Sören Frey,Florian Fittkau,Wilhelm Hasselbring,Search-based genetic optimization for deployment and reconfiguration of software in the cloud.
• Jérôme Vouillon,Roberto Di Cosmo,Broken sets in software repository evolution.
• Sai Zhang,Michael D. Ernst,Automated diagnosis of software configuration errors.
• Michael Pradel,Thomas R. Gross,Automatic testing of sequential and concurrent substitutability.
• Marcel Böhme,Bruno C. d. S. Oliveira,Abhik Roychoudhury,Partition-based regression verification.
• Michael W. Whalen,Gregory Gay,Dongjiang You,Mats Per Erik Heimdahl,Matt Staats,Observable modified Condition/Decision coverage.
• Christoph Dorn,Richard N. Taylor,Coupling software architecture and human architecture for collaboration-aware system adaptation.
• Lorenzo Gomez,Iulian Neamtiu,Tanzirul Azim,Todd D. Millstein,RERAN: timing- and touch-sensitive record and replay for Android.
• Raphael Pham,Leif Singer,Olga Liskin,Fernando Marques Figueira Filho,Kurt Schneider,Creating a shared understanding of testing culture on a social coding site.
• Sonia Haiduc,Gabriele Bavota,Andrian Marcus,Rocco Oliveto,Andrea De Lucia,Tim Menzies,Automatic query reformulations for text retrieval in software engineering.
• Sven Apel,Alexander von Rhein,Philipp Wendler,Armin Größlinger,Dirk Beyer,Strategies for product-line verification: case studies and experiments.
• Jaechang Nam,Sinno Jialin Pan,Sunghun Kim,Transfer defect learning.
• Jinshui Wang,Xin Peng,Zhenchang Xing,Wenyun Zhao,Improving feature location practice with multi-faceted interactive exploration.
• Daniel Marino,Christian Hammer,Julian Dolby,Mandana Vaziri,Frank Tip,Jan Vitek,Detecting deadlock in programs with data-centric synchronization.
• Yunhui Zheng,Xiangyu Zhang,Path sensitive static analysis of web applications for remote code execution vulnerability detection.
• Paola Inverardi,Massimo Tivoli,Automatic synthesis of modular connectors via composition of protocol mediation patterns.
• Lingming Zhang,Dan Hao,Lu Zhang,Gregg Rothermel,Hong Mei,Bridging the gap between the total and additional test-case prioritization strategies.
• Peter C. Rigby,Martin P. Robillard,Discovering essential code elements in informal documentation.
• Lwin Khin Shar,Hee Beng Kuan Tan,Lionel C. Briand,Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis.
• Weiyi Shang,Zhen Ming Jiang,Hadi Hemmati,Bram Adams,Ahmed E. Hassan,Patrick Martin,Assisting developers of big data analytics applications when deploying on hadoop clouds.
• William N. Sumner,Xiangyu Zhang,Comparative causality: explaining the differences between executions.
• Shuai Hao,Ding Li,William G. J. Halfond,Ramesh Govindan,Estimating mobile application energy consumption using program analysis.
• Daryl Posnett,Raissa M. D'Souza,Premkumar T. Devanbu,Vladimir Filkov,Dual ecological measures of focus in software development.
• Petr Hosek,Cristian Cadar,Safe software updates via multi-version execution.
• Amruta Gokhale,Vinod Ganapathy,Yogesh Padmanaban,Inferring likely mappings between APIs.
• Cong Tian,Zhenhua Duan,Detecting spurious counterexamples efficiently in abstract model checking.
• Esteban Pavese,Víctor A. Braberman,Sebastián Uchitel,Automated reliability estimation over partial systematic explorations.
• Yun Young Lee,Nicholas Chen,Ralph E. Johnson,Drag-and-drop refactoring: intuitive and efficient program transformation.
• Hoang Duong Thien Nguyen,Dawei Qi,Abhik Roychoudhury,Satish Chandra,SemFix: program repair via semantic analysis.
• Shahar Maoz,Yaniv Sa'ar,Counter play-out: executing unrealizable scenario-based specifications.
• Yit Phang Khoo,Jeffrey S. Foster,Michael Hicks,Expositor: scriptable time-travel debugging with first-class traces.
• Wei Le,Segmented symbolic analysis.
• Daniela Damian,Remko Helms,Irwin Kwan,Sabrina Marczak,Benjamin Koelewijn,The role of domain knowledge and cross-functional communication in socio-technical coordination.
• Brittany Johnson,Yoonki Song,Emerson R. Murphy-Hill,Robert W. Bowdidge,Why don't software developers use static analysis tools to find bugs?
• Nan Niu,Anas Mahmoud,Zhangji Chen,Gary Bradshaw,Departures from optimality: understanding human analyst's information foraging in assisted requirements tracing.
• Zack Coker,Munawar Hafiz,Program transformations to fix C integers.
• John Hatcliff,Robby,Patrice Chalin,Jason Belt,Explicating symbolic execution (xSymExe): an evidence-based verification framework.
• Nadia Polikarpova,Carlo A. Furia,Yu Pei,Yi Wei,Bertrand Meyer,What good are strong specifications?
• Shauvik Roy Choudhary,Mukul R. Prasad,Alessandro Orso,X-PERT: accurate identification of cross-browser issues in web applications.
• Na Meng,Miryung Kim,Kathryn S. McKinley,LASE: locating and applying systematic edits by learning from examples.
• Chris Lewis,Zhongpeng Lin,Caitlin Sadowski,Xiaoyan Zhu,Rong Ou,E. James Whitehead Jr.,Does bug prediction support human developers? findings from a google case study.
• Carlo Ghezzi,Leandro Sales Pinto,Paola Spoletini,Giordano Tamburrelli,Managing non-functional uncertainty via model-driven adaptivity.
• Fabienne Boyer,Olivier Gruber,Damien Pous,Robust reconfigurations of component assemblies.
• Jonathan Bell,Nikhil Sarda,Gail E. Kaiser,Chronicler: lightweight recording to reproduce field failures.
• Daniel Sykes,Domenico Corapi,Jeff Magee,Jeff Kramer,Alessandra Russo,Katsumi Inoue,Learning revised models for planning in adaptive systems.
• Alex Potanin,Monique Damitio,James Noble,Are your incoming aliases really necessary? counting the cost of object ownership.
• Bakhtiar Khan Kasi,Anita Sarma,Cassandra: proactive conflict minimization through optimized task scheduling.
• Marian Petre,UML in practice.
• Filomena Ferrucci,Mark Harman,Jian Ren,Federica Sarro,Not going to take this anymore: multi-objective overtime planning for software engineering projects.
• Felienne Hermans,Ben Sedee,Martin Pinzger,Arie van Deursen,Data clone detection and visualization in spreadsheets.
• Abdel Salam Sayyad,Tim Menzies,Hany Ammar,On the value of user preferences in search-based software engineering: a case study in software product lines.
• Pranav Garg,Franjo Ivancic,Gogul Balakrishnan,Naoto Maeda,Aarti Gupta,Feedback-directed unit test generation for C/C++ using concolic execution.
• Dale Blue,Itai Segall,Rachel Tzoref-Brill,Aviad Zlotnick,Interaction-based test-suite minimization.
• Laura V. Galvis Carreño,Kristina Winbladh,Analysis of user comments: an approach for software requirements evolution.
• Ella Bounimova,Patrice Godefroid,David A. Molnar,Billions and billions of constraints: whitebox fuzz testing in production.
• Asger Feldthaus,Max Schäfer,Manu Sridharan,Julian Dolby,Frank Tip,Efficient construction of approximate call graphs for JavaScript IDE services.
• Alexander Wert,Jens Happe,Lucia Happe,Supporting swift reaction: automatically uncovering performance problems by systematic experiments.
• Thomas Bartenstein,Yu David Liu,Green streams for data-intensive software.
• Tim Nelson,Salman Saghafi,Daniel J. Dougherty,Kathi Fisler,Shriram Krishnamurthi,Aluminum: principled scenario exploration through minimality.
• Gerald Bortis,André van der Hoek,PorchLight: a tag-based approach to bug triaging.
• Robert Dyer,Hoan Anh Nguyen,Hridesh Rajan,Tien N. Nguyen,Boa: a language and infrastructure for analyzing ultra-large-scale software repositories.
• Mohammad Mahdi Hassan,James H. Andrews,Comparing multi-point stride coverage and dataflow coverage.
• Ivan Beschastnikh,Yuriy Brun,Jenny Abrahamson,Michael D. Ernst,Arvind Krishnamurthy,Unifying FSM-inference algorithms through declarative specification.
• Annibale Panichella,Bogdan Dit,Rocco Oliveto,Massimiliano Di Penta,Denys Poshyvanyk,Andrea De Lucia,How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms.
• Andreas Scharf,Till Amma,Dynamic injection of sketching features into GEF based diagram editors.
• Domenico Cotroneo,Roberto Pietrantuono,Stefano Russo,A learning-based method for combining testing techniques.
• Antonio Carzaniga,Alessandra Gorla,Andrea Mattavelli,Nicolò Perino,Mauro Pezzè,Automatic recovery from runtime failures.
• Naeem Esfahani,Sam Malek,Kaveh Razavi,GuideArch: guiding the exploration of architectural solution space under uncertainty.
• Emerson R. Murphy-Hill,Thomas Zimmermann,Christian Bird,Nachiappan Nagappan,The design of bug fixes.
• Mohamed Almorsy,John Grundy,Amani S. Ibrahim,Automated software architecture security risk analysis using formalized signatures.
• Antonio Filieri,Corina S. Pasareanu,Willem Visser,Reliability analysis in symbolic pathfinder.
• Maxime Cordy,Pierre-Yves Schobbens,Patrick Heymans,Axel Legay,Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
• Alberto Bacchelli,Christian Bird,Expectations, outcomes, and challenges of modern code review.
• Tian Huat Tan,Étienne André,Jun Sun,Yang Liu,Jin Song Dong,Manman Chen,Dynamic synthesis of local time requirement for service composition.
• Suresh Thummalapenta,K. Vasanta Lakshmi,Saurabh Sinha,Nishant Sinha,Satish Chandra,Guided test generation for web applications.
• Gabriele Bavota,Bogdan Dit,Rocco Oliveto,Massimiliano Di Penta,Denys Poshyvanyk,Andrea De Lucia,An empirical study on the developers' perception of software coupling.
• Aiko Fallas Yamashita,Leon Moonen,Exploring the impact of inter-smell relations on software maintainability: an empirical study.
• Kim Herzig,Sascha Just,Andreas Zeller,It's not a bug, it's a feature: how misclassification impacts bug prediction.
• Emmanuel Letier,William Heaven,Requirements modelling by synthesis of deontic input-output automata.
• Foyzur Rahman,Premkumar T. Devanbu,How, and why, process metrics are better.
• Amanda Swearngin,Myra B. Cohen,Bonnie E. John,Rachel K. E. Bellamy,Human performance regression testing.
• Inah Omoronyia,Luca Cavallaro,Mazeiar Salehie,Liliana Pasquale,Bashar Nuseibeh,Engineering adaptive privacy: on the role of privacy awareness requirements.
• Adrian Nistor,Linhai Song,Darko Marinov,Shan Lu,Toddler: detecting performance problems via similar memory-access patterns.

2012

• Adrian Nistor,Qingzhou Luo,Michael Pradel,Thomas R. Gross,Darko Marinov,Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code.
• Sandeep Kumar,Siau-Cheng Khoo,Abhik Roychoudhury,David Lo,Inferring class level specifications for distributed systems.
• Lucia,David Lo,Lingxiao Jiang,Aditya Budi,Active refinement of clone anomaly reports.
• Ahmed Tamrawi,Hoan Anh Nguyen,Hung Viet Nguyen,Tien N. Nguyen,Build code analysis with symbolic evaluation.
• Abram Hindle,Earl T. Barr,Zhendong Su,Mark Gabel,Premkumar T. Devanbu,On the naturalness of software.
• Jinguo Zhou,Xiao Xiao,Charles Zhang,Stride: Search-based deterministic replay in polynomial time via bounded linkage.
• Yuan Tian,Julia L. Lawall,David Lo,Identifying Linux bug fixing patches.
• Ganesh Samarthyam,Girish Suryanarayana,Arbind Kumar Gupta,Raghu Nambiar,FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements.
• Anders Møller,Mathias Schwarz,Automated detection of client-state manipulation vulnerabilities.
• Muhammad Shahzad,Muhammad Zubair Shafiq,Alex X. Liu,A large scale exploratory analysis of software vulnerability life cycles.
• Norbert Siegmund,Sergiy S. Kolesnikov,Christian Kästner,Sven Apel,Don S. Batory,Marko Rosenmüller,Gunter Saake,Predicting performance via automated feature-interaction detection.
• Felienne Hermans,Martin Pinzger,Arie van Deursen,Detecting and visualizing inter-worksheet smells in spreadsheets.
• John Downs,Beryl Plimmer,John G. Hosking,Ambient awareness of build status in collocated software teams.
• Christopher Fuhrman,Roger Champagne,Alain April,Integrating tools and frameworks in undergraduate software engineering curriculum.
• Yunhui Zheng,Xiangyu Zhang,Static detection of resource contention problems in server-side scripts.
• Narayan Ramasubbu,Rajesh Krishna Balan,Overcoming the challenges in cost estimation for distributed software projects.
• Mário Luís Guimarães,António Rito Silva,Improving early detection of software merge conflicts.
• Paul Dan Marinescu,Cristian Cadar,make test-zesti: A symbolic execution solution for improving regression testing.
• Malcom Gethers,Bogdan Dit,Huzefa H. Kagdi,Denys Poshyvanyk,Integrated impact analysis for managing software changes.
• Charles Song,Adam A. Porter,Jeffrey S. Foster,iTree: Efficiently discovering high-coverage configurations using interaction trees.
• Minghui Zhou,Audris Mockus,What make long term contributors: Willingness and opportunity in OSS community.
• Cyrus Omar,YoungSeok Yoon,Thomas D. LaToza,Brad A. Myers,Active code completion.
• Matt Staats,Gregory Gay,Mats Per Erik Heimdahl,Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing.
• Mark Grechanik,Chen Fu,Qing Xie,Automatically finding performance problems with feedback-directed learning software testing.
• Ivica Crnkovic,Ivana Bosnic,Mario Zagar,Ten tips to succeed in Global Software Engineering education.
• Tobias Roehm,Rebecca Tiarks,Rainer Koschke,Walid Maalej,How do professional developers comprehend software?
• David Budgen,Sarah Drummond,Pearl Brereton,Nikki Holland,What scope is there for adopting evidence-informed teaching in SE?
• Alberto Bacchelli,Tommaso Dal Sasso,Marco D'Ambros,Michele Lanza,Content classification of development emails.
• Muath Alkhalaf,Tevfik Bultan,Jose L. Gallegos,Verifying client-side input validation functions using string analysis.
• Hideaki Hata,Osamu Mizuno,Tohru Kikuno,Bug prediction based on fine-grained module histories.
• Anh Tuan Nguyen,Tung Thanh Nguyen,Hoan Anh Nguyen,Ahmed Tamrawi,Hung Viet Nguyen,Jafar M. Al-Kofahi,Tien N. Nguyen,Graph-based pattern-oriented, context-sensitive source code completion.
• Dan Hao,Lu Zhang,Xingxia Wu,Hong Mei,Gregg Rothermel,On-demand test suite reduction.
• Francisco Servant,James A. Jones,WhoseFault: Automatic developer-to-fault assignment through fault localization.
• Maxime Cordy,Andreas Classen,Gilles Perrouin,Pierre-Yves Schobbens,Patrick Heymans,Axel Legay,Simulation-based abstractions for software product-line model checking.
• Gabriele Bavota,Andrea De Lucia,Fausto Fasano,Rocco Oliveto,Carlo Zottoli,Teaching software engineering and software project management: An integrated and practical approach.
• Cheng Zhang,Juyuan Yang,Yi Zhang,Jing Fan,Xin Zhang,Jianjun Zhao,Peizhao Ou,Automatic parameter recommendation for practical API usage.
• Stephen R. Foster,William G. Griswold,Sorin Lerner,WitchDoctor: IDE support for real-time auto-completion of refactorings.
• Michael Pradel,Thomas R. Gross,Leveraging test generation and specification mining for automated bug detection without false positives.
• Igor Cavrak,Marin Orlic,Ivica Crnkovic,Collaboration patterns in distributed software development projects.
• Ali Razavi,Kostas Kontogiannis,Partial evaluation of model transformations.
• Dharini Balasubramaniam,Christopher Jefferson,Lars Kotthoff,Ian Miguel,Peter Nightingale,An automated approach to generating efficient constraint solvers.
• Michael Pradel,Ciera Jaspan,Jonathan Aldrich,Thomas R. Gross,Statically checking API protocol conformance with mined multi-object specifications.
• Terhi Kilamo,Imed Hammouda,Mohamed Amine Chatti,Teaching collaborative software development: A case study.
• Suresh Thummalapenta,Saurabh Sinha,Nimit Singhania,Satish Chandra,Automating test automation.
• Pamela Bhattacharya,Marios Iliofotou,Iulian Neamtiu,Michalis Faloutsos,Graph-based analysis and prediction for software evolution.
• Carlo Ghezzi,Andrea Mocci,Behavioral validation of JFSL specifications through model synthesis.
• Yingfei Xiong,Arnaud Hubaux,Steven She,Krzysztof Czarnecki,Generating range fixes for software configuration.
• Xi Ge,Quinton L. DuBose,Emerson R. Murphy-Hill,Reconciling manual and automatic refactoring.
• Collin McMillan,Mark Grechanik,Denys Poshyvanyk,Detecting similar software applications.
• Jorge Ressia,Alexandre Bergel,Oscar Nierstrasz,Object-centric debugging.
• Jifeng Xuan,He Jiang,Zhilei Ren,Weiqin Zou,Developer prioritization in bug repositories.
• Yan Cai,W. K. Chan,MagicFuzzer: Scalable deadlock detection for large-scale applications.
• Wei Jin,Alessandro Orso,BugRedux: Reproducing field failures for in-house debugging.
• Mathieu Lavallée,Pierre N. Robillard,The impacts of software process improvement on developers: A systematic review.
• Jorn Guy Sus,William Billingsley,Using continuous integration of code and content to teach software engineering with limited resources.
• Laura Plonka,Helen Sharp,Janet van der Linden,Disengagement in pair programming: Does it matter?
• Jingyue Li,Michael D. Ernst,CBCD: Cloned buggy code detector.
• Gias Uddin,Barthélémy Dagenais,Martin P. Robillard,Temporal analysis of API usage concepts.
• Will Dietz,Peng Li,John Regehr,Vikram S. Adve,Understanding integer overflow in C/C++.
• Dacong Yan,Guoqing (Harry) Xu,Atanas Rountev,Uncovering performance problems in Java applications with reference propagation profiling.
• Ding Yuan,Soyeon Park,Yuanyuan Zhou,Characterizing logging practices in open-source software.
• Mohsen Vakilian,Nicholas Chen,Stas Negara,Balaji Ambresh Rajkumar,Brian P. Bailey,Ralph E. Johnson,Use, disuse, and misuse of automated refactorings.
• Ali Mesbah,Shabnam Mirshokraie,Automated analysis of CSS rules to support style maintenance.
• Yongjie Zheng,Richard N. Taylor,Enhancing architecture-implementation conformance with change management and support for behavioral mapping.
• Michaela Greiler,Arie van Deursen,Margaret-Anne D. Storey,Test confessions: A study of testing practices for plug-in systems.
• Rahul Pandita,Xusheng Xiao,Hao Zhong,Tao Xie,Stephen Oney,Amit M. Paradkar,Inferring method specifications from natural language API descriptions.
• Mehdi Mirakhorli,Yonghee Shin,Jane Cleland-Huang,Murat Çinar,A tactic-centric approach for automating traceability of quality concerns.
• Gordon Fraser,Andrea Arcuri,Sound empirical evidence in software testing.
• Claire Le Goues,Michael Dewey-Vogt,Stephanie Forrest,Westley Weimer,A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each.
• Jian Zhou,Hongyu Zhang,David Lo,Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports.
• Shi Han,Yingnong Dang,Song Ge,Dongmei Zhang,Tao Xie,Performance debugging in the large via mining millions of stack traces.
• Barthélémy Dagenais,Martin P. Robillard,Recovering traceability links between an API and its learning resources.
• Ross Gore,Paul F. Reynolds Jr.,Reducing confounding bias in predicate-level statistical debugging metrics.
• Mariano Ceccato,Alessandro Marchetto,Leonardo Mariani,Cu D. Nguyen,Paolo Tonella,An empirical study about the effectiveness of debugging when random test cases are used.
• Raymond P. L. Buse,Westley Weimer,Synthesizing API usage examples.
• Myoungkyu Song,Eli Tilevich,Metadata invariants: Checking and inferring metadata coding conventions.
• Michalis Famelis,Rick Salay,Marsha Chechik,Partial models: Towards modeling and reasoning with uncertainty.
• Fayola Peters,Tim Menzies,Privacy and utility for defect prediction: Experiments with MORPH.
• Sagi Ifrah,David H. Lorenz,Crosscutting revision control system.
• Otávio Augusto Lazzarini Lemos,Fabiano Cutigi Ferrari,Fábio Fagundes Silveira,Alessandro Garcia,Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming.
• Guoping Rong,He Zhang,Mingjuan Xie,Dong Shao,Improving PSP education by pairing: An empirical study.
• Dalal Alrajeh,Jeff Kramer,Axel van Lamsweerde,Alessandra Russo,Sebastián Uchitel,Generating obstacle conditions for requirements completeness.
• Katsuro Inoue,Yusuke Sasaki,Pei Xia,Yuki Manabe,Where does this code come from and where does it go? - Integrated code history tracker for open source systems.
• ThanhVu Nguyen,Deepak Kapur,Westley Weimer,Stephanie Forrest,Using dynamic analysis to discover polynomial and array invariants.
• Robert Reicherdt,Sabine Glesner,Slicing MATLAB Simulink models.
• Ekwa Duala-Ekoko,Martin P. Robillard,Asking and answering questions about unfamiliar APIs: An exploratory study.
• Hesam Samimi,Max Schäfer,Shay Artzi,Todd D. Millstein,Frank Tip,Laurie J. Hendren,Automated repair of HTML generation errors in PHP applications using string constraint solving.
• Collin McMillan,Negar Hariri,Denys Poshyvanyk,Jane Cleland-Huang,Bamshad Mobasher,Recommending source code for use in rapid software prototypes.
• Tony Cowling,Stages in teaching software testing.
• Sichen Meng,Xiaoyin Wang,Lu Zhang,Hong Mei,A history-based matching approach to identification of framework evolution.
• Stefan Henß,Martin Monperrus,Mira Mezini,Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
• Fan Long,Vijay Ganesh,Michael Carbin,Stelios Sidiroglou,Martin C. Rinard,Automatic input rectification.
• Koen Yskout,Riccardo Scandariato,Wouter Joosen,Does organizing security patterns focus architectural choices?
• Victor Pankratius,Felix Schmidt,Gilda Garreton,Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java.
• Yijun Yu,Yu Lin,Zhenjiang Hu,Soichiro Hidaka,Hiroyuki Kato,Lionel Montrieux,Maintaining invariant traceability through bidirectional transformations.
• Peng Liu,Charles Zhang,Axis: Automatically fixing atomicity violations through solving control constraints.
• Pingyu Zhang,Sebastian G. Elbaum,Amplifying tests to validate exception handling code.

2011

• Jungju Oh,Christopher J. Hughes,Guru Venkataramani,Milos Prvulovic,LIME: a framework for debugging load imbalance in multi-threaded execution.
• Ariel Rabkin,Randy H. Katz,Static extraction of program configuration options.
• John Hutchinson,Jon Whittle,Mark Rouncefield,Steinar Kristoffersen,Empirical assessment of MDE in industry.
• He Zhang,D. Ross Jeffery,Dan Houston,LiGuo Huang,Liming Zhu,Impact of process simulation on software practice: an initial report.
• Yi Wei,Carlo A. Furia,Nikolay Kazmin,Bertrand Meyer,Inferring better contracts.
• Heejung Kim,Yungbum Jung,Sunghun Kim,Kwangkeun Yi,MeCC: memory comparison-based clone detector.
• Sandeep Kumar,Siau-Cheng Khoo,Abhik Roychoudhury,David Lo,Mining message sequence graphs.
• Aleksandar Milicevic,Derek Rayside,Kuat Yessenov,Daniel Jackson,Unifying execution of imperative and declarative code.
• Minghui Zhou,Audris Mockus,Does the initial environment impact the future of developers.
• Eric Bodden,Andreas Sewe,Jan Sinschek,Hela Oueslati,Mira Mezini,Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
• Steven She,Rafael Lotufo,Thorsten Berger,Andrzej Wasowski,Krzysztof Czarnecki,Reverse engineering feature models.
• Choonghwan Lee,Feng Chen,Grigore Rosu,Mining parametric specifications.
• Reid Holmes,David Notkin,Identifying program, test, and environmental changes that affect behaviour.
• James A. Clause,Alessandro Orso,Camouflage: automated anonymization of field data.
• Shane McIntosh,Bram Adams,Thanh H. D. Nguyen,Yasutaka Kamei,Ahmed E. Hassan,An empirical study of build maintenance effort.
• Miryung Kim,Dongxiang Cai,Sunghun Kim,An empirical investigation into the role of API-level refactorings during software evolution.
• Fausto Spoto,Michael D. Ernst,Inference of field initialization.
• Chao Wang,Mahmoud Said,Aarti Gupta,Coverage guided systematic concurrency testing.
• Barry W. Boehm,Ricardo Valerdi,Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges.
• Antonio Filieri,Carlo Ghezzi,Giordano Tamburrelli,Run-time efficient probabilistic model checking.
• Fredrik Kjolstad,Danny Dig,Gabriel Acevedo,Marc Snir,Transformation for class immutability.
• Tianwei Sheng,Neil Vachharajani,Stéphane Eranian,Robert Hundt,Wenguang Chen,Weimin Zheng,RACEZ: a lightweight and non-invasive race detection tool for production applications.
• Ali Mesbah,Mukul R. Prasad,Automated cross-browser compatibility testing.
• Peter C. Rigby,Margaret-Anne D. Storey,Understanding broadcast based peer review on open source software projects.
• Horatiu Dumitru,Marek Gibiec,Negar Hariri,Jane Cleland-Huang,Bamshad Mobasher,Carlos Castro-Herrera,Mehdi Mirakhorli,On-demand feature recommendations derived from mining public product descriptions.
• Joseph P. Near,Aleksandar Milicevic,Eunsuk Kang,Daniel Jackson,A lightweight code analysis and its role in evaluation of a dependability case.
• Lin Tan,Yuanyuan Zhou,Yoann Padioleau,aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.
• Sven Apel,Dirk Beyer,Feature cohesion in software product lines: an exploratory study.
• Damien Cassou,Emilie Balland,Charles Consel,Julia L. Lawall,Leveraging software architectures to guide and verify the development of sense/compute/control applications.
• Xusheng Xiao,Tao Xie,Nikolai Tillmann,Jonathan de Halleux,Precise identification of problems for structural test generation.
• Felienne Hermans,Martin Pinzger,Arie van Deursen,Supporting professional spreadsheet users by generating leveled dataflow diagrams.
• Sunny Wong,Yuanfang Cai,Miryung Kim,Michael Dalton,Detecting software modularity violations.
• Andreas Classen,Patrick Heymans,Pierre-Yves Schobbens,Axel Legay,Symbolic model checking of software product lines.
• Marcelo Cataldo,James D. Herbsleb,Factors leading to integration failures in global feature-oriented development: an empirical analysis.
• Lucas C. Cordeiro,Bernd Fischer,Verifying multi-threaded software using smt-based context-bounded model checking.
• Michael Bayne,Richard Cook,Michael D. Ernst,Always-available static and dynamic feedback.
• Satish Chandra,Emina Torlak,Shaon Barman,Rastislav Bodík,Angelic debugging.
• Fang Yu,Muath Alkhalaf,Tevfik Bultan,Patching vulnerabilities with sanitization synthesis.
• Nils Göde,Rainer Koschke,Frequency and risks of changes to clones.
• Richard Wettel,Michele Lanza,Romain Robbes,Software systems as cities: a controlled experiment.
• Shay Artzi,Julian Dolby,Simon Holm Jensen,Anders Møller,Frank Tip,A framework for automated testing of javascript web applications.
• Kelly Androutsopoulos,David Binkley,David Clark,Nicolas Gold,Mark Harman,Kevin Lano,Zheng Li,Model projection: simplifying models in response to restricting the environment.
• Stefan Winter,Constantin Sârbu,Neeraj Suri,Brendan Murphy,The impact of fault models on software robustness evaluations.
• Foyzur Rahman,Premkumar T. Devanbu,Ownership, experience and defects: a fine-grained study of authorship.
• Giriprasad Sridhara,Lori L. Pollock,K. Vijay-Shanker,Automatically detecting and describing high level actions within methods.
• Andrea Arcuri,Lionel C. Briand,A practical guide for using statistical tests to assess randomized algorithms in software engineering.
• Cédric Jeanneret,Martin Glinz,Benoit Baudry,Estimating footprints of model operations.
• Tung Thanh Nguyen,Hung Viet Nguyen,Hoan Anh Nguyen,Tien N. Nguyen,Aspect recommendation for evolving software.
• Sunghun Kim,Hongyu Zhang,Rongxin Wu,Liang Gong,Dealing with noise in defect prediction.
• Matt Staats,Michael W. Whalen,Mats Per Erik Heimdahl,Programs, tests, and oracles: the foundations of testing revisited.
• Massila Kamalrudin,John G. Hosking,John C. Grundy,Improving requirements quality using essential use case interaction patterns.
• Collin McMillan,Mark Grechanik,Denys Poshyvanyk,Qing Xie,Chen Fu,Portfolio: finding relevant functions and their usage.
• William N. Sumner,Tao Bao,Xiangyu Zhang,Sunil Prabhakar,Coalescing executions for fast uncertainty analysis.
• Pamela Bhattacharya,Iulian Neamtiu,Assessing programming language impact on development and maintenance: a study on c and c++.
• Nicolás D'Ippolito,Víctor A. Braberman,Nir Piterman,Sebastián Uchitel,Synthesis of live behaviour models for fallible domains.
• Toshiya Fujii,Tadashi Dohi,Takaji Fujiwara,Towards quantitative software reliability assessment in incremental development processes.
• Guido de Caso,Víctor A. Braberman,Diego Garbervetsky,Sebastián Uchitel,Program abstractions for behaviour validation.
• Domenico Bianculli,Dimitra Giannakopoulou,Corina S. Pasareanu,Interface decomposition for service compositions.
• Andrew Meneely,Laurie Williams,Socio-technical developer networks: should we trust our measurements?
• David Kawrykow,Martin P. Robillard,Non-essential changes in version histories.
• Friedrich Steimann,Fabian Urs Stolz,Refactoring to role objects.
• Narayan Ramasubbu,Marcelo Cataldo,Rajesh Krishna Balan,James D. Herbsleb,Configuring global software teams: a multi-company analysis of project productivity, quality, and profits.
• Kathryn T. Stolee,Sebastian G. Elbaum,Refactoring pipe-like mashups for end-user programmers.
• Max Schäfer,Manu Sridharan,Julian Dolby,Frank Tip,Refactoring Java programs for flexible locking.

2010

• Tony Gorschek,Ewan D. Tempero,Lefteris Angelis,A large-scale empirical study of practitioners' use of object-oriented concepts.
• Aditya V. Nori,Sriram K. Rajamani,An empirical study of optimizations in YOGI.
• Marius Nita,David Notkin,Using twinning to adapt programs to alternative APIs.
• Christoph A. Schaefer,Victor Pankratius,Walter F. Tichy,Engineering parallel applications with tunable architectures.
• Bram Adams,Zhen Ming Jiang,Ahmed E. Hassan,Identifying crosscutting concerns using historical code changes.
• Andrew Begel,Yit Phang Khoo,Thomas Zimmermann,Codebook: discovering and exploiting relationships in software repositories.
• Naoyasu Ubayashi,Jun Nomura,Tetsuo Tamai,Archface: a contract place where architectural design and code meet together.
• Lu Zhang,Shan-Shan Hou,Jun-Jue Hu,Tao Xie,Hong Mei,Is operator-based mutant selection superior to random mutant selection?
• Brian Demsky,Patrick Lam,Views: object-inspired concurrency control.
• Susmit Jha,Sumit Gulwani,Sanjit A. Seshia,Ashish Tiwari,Oracle-guided component-based program synthesis.
• Davide Di Ruscio,Ivano Malavolta,Henry Muccini,Patrizio Pelliccione,Alfonso Pierantonio,Developing next generation ADLs through MDE techniques.
• Sarah Rastkar,Gail C. Murphy,Gabriel Murray,Summarizing software artifacts: a case study of bug reports.
• Emina Torlak,Satish Chandra,Effective interprocedural resource leak detection.
• Friedrich Steimann,Andreas Thies,From behaviour preservation to behaviour modification: constraint-based mutant generation.
• Philip J. Guo,Thomas Zimmermann,Nachiappan Nagappan,Brendan Murphy,Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows.
• Tung Thanh Nguyen,Hoan Anh Nguyen,Nam H. Pham,Jafar M. Al-Kofahi,Tien N. Nguyen,Recurring bug fixes in object-oriented programs.
• Alberto Bacchelli,Michele Lanza,Romain Robbes,Linking e-mails and source code artifacts.
• Qiusong Yang,Mingshu Li,A cut-off approach for bounded verification of parameterized systems.
• Zhifeng Lai,Shing-Chi Cheung,Wing Kwong Chan,Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.
• Andrew Bragdon,Steven P. Reiss,Robert C. Zeleznik,Suman Karumuri,William Cheung,Joshua Kaplan,Christopher Coleman,Ferdi Adeputra,Joseph J. LaViola Jr.,Code bubbles: rethinking the user interface paradigm of integrated development environments.
• Sasa Misailovic,Stelios Sidiroglou,Henry Hoffmann,Martin C. Rinard,Quality of service profiling.
• Milos Gligoric,Tihomir Gvero,Vilas Jagannath,Sarfraz Khurshid,Viktor Kuncak,Darko Marinov,Test generation through programming in UDITA.
• Rashina Hoda,James Noble,Stuart Marshall,Organizing self-organizing teams.
• Sangmin Park,Richard W. Vuduc,Mary Jean Harrold,Falcon: fault localization in concurrent programs.
• Reid Holmes,Robert J. Walker,Customized awareness: recommending relevant external change events.
• Wei Wu,Yann-Gaël Guéhéneuc,Giuliano Antoniol,Miryung Kim,AURA: a hybrid approach to identify framework evolution.
• James A. Clause,Alessandro Orso,LEAKPOINT: pinpointing the causes of memory leaks.
• Mark Grechanik,Chen Fu,Qing Xie,Collin McMillan,Denys Poshyvanyk,Chad M. Cumby,A search engine for finding highly relevant applications.
• Jacob Burnim,Koushik Sen,DETERMIN: inferring likely deterministic specifications of multithreaded programs.
• Hao Zhong,Suresh Thummalapenta,Tao Xie,Lu Zhang,Qing Wang,Mining API mapping for language migration.
• Daniel Le Métayer,Manuel Maarek,Valérie Viet Triem Tong,Eduardo Mazza,Marie-Laure Potet,Nicolas Craipeau,Stéphane Frénot,Ronan Hardouin,Liability in software engineering: overview of the LISE approach and illustration on a case study.
• Soo Ling Lim,Daniele Quercia,Anthony Finkelstein,StakeNet: using social networks to analyse the stakeholders of large-scale software projects.
• Eric Bodden,Efficient hybrid typestate analysis by determining continuation-equivalent states.
• Massimiliano Di Penta,Daniel M. Germán,Yann-Gaël Guéhéneuc,Giuliano Antoniol,An exploratory study of the evolution of software licensing.
• Christoph Treude,Margaret-Anne D. Storey,Awareness 2.0: staying aware of projects, developers and tasks using dashboards and feeds.
• Chengnian Sun,David Lo,Xiaoyin Wang,Jing Jiang,Siau-Cheng Khoo,A discriminative model approach for accurate duplicate bug report retrieval.
• Thomas D. LaToza,Brad A. Myers,Developers ask reachability questions.
• Jane Cleland-Huang,Adam Czauderna,Marek Gibiec,John Emenecker,A machine learning approach for tracing regulatory codes to product specific requirements.
• Michael Würsch,Giacomo Ghezzi,Gerald Reif,Harald C. Gall,Supporting developers with natural language queries.
• Andreas Classen,Patrick Heymans,Pierre-Yves Schobbens,Axel Legay,Jean-François Raskin,Model checking lots of systems: efficient verification of temporal properties in software product lines.
• Elnatan Reisner,Charles Song,Kin-Keung Ma,Jeffrey S. Foster,Adam A. Porter,Using symbolic evaluation to understand behavior in configurable software systems.
• Fabiano Cutigi Ferrari,Rachel Burrows,Otávio Augusto Lazzarini Lemos,Alessandro Garcia,Eduardo Figueiredo,Nélio Cacho,Frederico Lopes,Nathalia Temudo,Liana Silva,Sérgio Soares,Awais Rashid,Paulo Cesar Masiero,Thaís Vasconcelos Batista,José Carlos Maldonado,An exploratory study of fault-proneness in evolving aspect-oriented programs.
• Swarup Kumar Sahoo,John Criswell,Vikram S. Adve,An empirical study of reported bugs in server software with implications for automated bug diagnosis.
• Zibin Zheng,Michael R. Lyu,Collaborative reliability prediction of service-oriented systems.
• Piramanayagam Arumuga Nainar,Ben Liblit,Adaptive bug isolation.
• Shay Artzi,Julian Dolby,Frank Tip,Marco Pistoia,Practical fault localization for dynamic web applications.
• Jörg Liebig,Sven Apel,Christian Lengauer,Christian Kästner,Michael Schulze,An analysis of the variability in forty preprocessor-based software product lines.
• William N. Sumner,Yunhui Zheng,Dasarath Weeratunge,Xiangyu Zhang,Precise calling context encoding.
• Thomas Fritz,Jingwen Ou,Gail C. Murphy,Emerson R. Murphy-Hill,A degree-of-knowledge model to capture source code familiarity.
• Barthélémy Dagenais,Harold Ossher,Rachel K. E. Bellamy,Martin P. Robillard,Jacqueline de Vries,Moving into a new software project landscape.
• Thomas Fritz,Gail C. Murphy,Using information fragments to answer the questions developers ask.
• Zhongxian Gu,Earl T. Barr,David J. Hamilton,Zhendong Su,Has the bug really been fixed?
• Hazeline U. Asuncion,Arthur U. Asuncion,Richard N. Taylor,Software traceability with topic modeling.
• Mark Gabel,Zhendong Su,Online inference and enforcement of temporal properties.

2009

• Raymond P. L. Buse,Westley Weimer,The road not taken: Estimating path execution frequency statically.
• Ilenia Epifani,Carlo Ghezzi,Raffaela Mirandola,Giordano Tamburrelli,Model evolution by run-time parameter adaptation.
• Sven Apel,Christian Kästner,Christian Lengauer,FEATUREHOUSE: Language-independent, automated software composition.
• Steven P. Reiss,Semantics-based code search.
• Guido de Caso,Víctor A. Braberman,Diego Garbervetsky,Sebastián Uchitel,Validation of contracts using enabledness preserving finite state abstractions.
• Brice Morin,Olivier Barais,Grégory Nain,Jean-Marc Jézéquel,Taming Dynamically Adaptive Systems using models and aspects.
• Christophe Damas,Bernard Lambeau,Francois Roucoux,Axel van Lamsweerde,Analyzing critical process models through behavior model synthesis.
• Radu Calinescu,Marta Z. Kwiatkowska,Using quantitative analysis to implement autonomic IT systems.
• Uri Dekel,James D. Herbsleb,Improving API documentation usability with knowledge pushing.
• Ali Mesbah,Arie van Deursen,Invariant-based automatic testing of AJAX user interfaces.
• Audris Mockus,Succession: Measuring transfer of code and developer productivity.
• Adam Kiezun,Philip J. Guo,Karthick Jayaraman,Michael D. Ernst,Automatic creation of SQL Injection and cross-site scripting attacks.
• Suresh Thummalapenta,Tao Xie,Mining exception-handling rules as sequence association rules.
• Hwa-You Hsu,Alessandro Orso,MINTS: A general framework and tool for supporting test-suite minimization.
• Anita Sarma,Larry Maccherone,Patrick Wagstrom,James D. Herbsleb,Tesseract: Interactive visual exploration of socio-technical relationships in software development.
• Tim Menzies,Steve Williams,Barry W. Boehm,Jairus Hihn,How to avoid drastic software process change (using stochastic stability).
• Charles Zhang,FlexSync: An aspect-oriented approach to Java synchronization.
• Nam H. Pham,Hoan Anh Nguyen,Tung Thanh Nguyen,Jafar M. Al-Kofahi,Tien N. Nguyen,Complete and accurate clone detection in graph-based models.
• Westley Weimer,ThanhVu Nguyen,Claire Le Goues,Stephanie Forrest,Automatically finding patches using genetic programming.
• Mark Grechanik,Qing Xie,Chen Fu,Maintaining and evolving GUI-directed test scripts.
• Narayan Ramasubbu,Rajesh Krishna Balan,The impact of process choice in high maturity environments: An empirical analysis.
• Emerson R. Murphy-Hill,Chris Parnin,Andrew P. Black,How we refactor, and how we know it.
• Danny Dig,John Marrero,Michael D. Ernst,Refactoring sequential Java code for concurrency via concurrent libraries.
• Jorge Aranda,Gina Venolia,The secret life of bugs: Going past the errors and omissions in software repositories.
• Vijay Ganesh,Tim Leek,Martin C. Rinard,Taint-based directed whitebox fuzzing.
• Hervé Chang,Leonardo Mariani,Mauro Pezzè,In-field healing of integration problems with COTS components.
• Derek Rayside,Zev Benjamin,Rishabh Singh,Joseph P. Near,Aleksandar Milicevic,Daniel Jackson,Equality and hashing for (almost) free: Generating implementations from abstraction functions.
• Emmanuel Geay,Marco Pistoia,Takaaki Tateishi,Barbara G. Ryder,Julian Dolby,Modular string-sensitive permission analysis with demand-driven precision.
• Christian Bird,Nachiappan Nagappan,Premkumar T. Devanbu,Harald C. Gall,Brendan Murphy,Does distributed development affect software quality? An empirical case study of Windows Vista.
• Daniel M. Germán,Ahmed E. Hassan,License integration patterns: Addressing license mismatches in component-based development.
• Thomas Thüm,Don S. Batory,Christian Kästner,Reasoning about edits to feature models.
• Trishul M. Chilimbi,Ben Liblit,Krishna K. Mehra,Aditya V. Nori,Kapil Vaswani,HOLMES: Effective statistical debugging via efficient path profiling.
• Mangala Gowri Nanda,Saurabh Sinha,Accurate Interprocedural Null-Dereference Analysis for Java.
• Jacob Burnim,Sudeep Juvekar,Koushik Sen,WISE: Automated test generation for worst-case complexity.
• Xiaoyin Wang,Lu Zhang,Tao Xie,Hong Mei,Jiasu Sun,Locating need-to-translate constant strings for software internationalization.
• Christoph Treude,Margaret-Anne D. Storey,How tagging helps bridge the gap between social and technical aspects in software development.
• Yoann Padioleau,Lin Tan,Yuanyuan Zhou,Listening to programmers - Taxonomies and characteristics of comments in operating system code.
• Dalal Alrajeh,Jeff Kramer,Alessandra Russo,Sebastián Uchitel,Learning operational requirements from goal models.
• Xinming Wang,Shing-Chi Cheung,Wing Kwong Chan,Zhenyu Zhang,Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.
• Timo Wolf,Adrian Schröter,Daniela Damian,Thanh H. D. Nguyen,Predicting build failures using social network analysis on developer communication.
• Jan Wloka,Barbara G. Ryder,Frank Tip,Xiaoxia Ren,Safe-commit analysis to facilitate team software development.
• Irina Diana Coman,Alberto Sillitti,Giancarlo Succi,A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment.
• Miryung Kim,David Notkin,Discovering and representing systematic code changes.
• Carlo Ghezzi,Andrea Mocci,Mattia Monga,Synthesizing intensional behavior models by graph transformation.
• Elmar Jürgens,Florian Deissenboeck,Benjamin Hummel,Stefan Wagner,Do code clones matter?
• Sudheendra Hangal,Monica S. Lam,Automatic dimension inference and checking for object-oriented programs.
• Emily Hill,Lori L. Pollock,K. Vijay-Shanker,Automatically capturing source code context of NL-queries for software maintenance and reuse.
• Mayur Naik,Chang-Seo Park,Koushik Sen,David Gay,Effective static deadlock detection.
• Raúl A. Santelices,James A. Jones,Yanbing Yu,Mary Jean Harrold,Lightweight fault-localization using multiple coverage types.
• Ahmed E. Hassan,Predicting faults using the complexity of code changes.

2008

• Cleidson R. B. de Souza,David F. Redmiles,An empirical study of software developers' management of dependencies and changes.
• Diomidis Spinellis,A tale of four kernels.
• Peter C. Rigby,Daniel M. Germán,Margaret-Anne D. Storey,Open source software peer review practices: a case study of the apache server.
• Michael Eichberg,Sven Kloppenburg,Karl Klose,Mira Mezini,Defining and continuous checking of structural program dependencies.
• Raimund Moser,Witold Pedrycz,Giancarlo Succi,A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction.
• Lars Grunske,Specification patterns for probabilistic quality properties.
• Akbar Siami Namin,James H. Andrews,Duncan J. Murdoch,Sufficient mutation operators for measuring test effectiveness.
• Jan Jürjens,Jörg Schreck,Peter Bartmann,Model-based security analysis for mobile communications.
• Holger Scherl,Stefan Hoppe,Markus Kowarschik,Joachim Hornegger,Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging.
• Yanyan Wang,Antonio Carzaniga,Alexander L. Wolf,Four enhancements to automateddistributed system experimentation methods.
• Andy Maule,Wolfgang Emmerich,David S. Rosenblum,Impact analysis of database schema changes.
• Guoqing (Harry) Xu,Atanas Rountev,Precise memory leak detection for java software using container profiling.
• Filippo Ricca,Massimiliano Di Penta,Marco Torchiano,Paolo Tonella,Mariano Ceccato,Corrado Aaron Visaggio,Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks.
• Bin Chen,George S. Avrunin,Elizabeth A. Henneman,Lori A. Clarke,Leon J. Osterweil,Philip L. Henneman,Analyzing medical processes.
• Danny Ammon,Dirk Hoffmann,Tobias Jakob,Ekkehard Finkeissen,Developing an architecture of a knowledge-based electronic patient record.
• Thomas Zimmermann,Nachiappan Nagappan,Predicting defects using network analysis on dependency graphs.
• Stefan Bienk,Asam odx: syntax as semantics.
• Bartosz Michalik,Jerzy R. Nawrocki,Miroslaw Ochodek,3-step knowledge transition: a case study on architecture evaluation.
• Florian Deissenboeck,Benjamin Hummel,Elmar Jürgens,Bernhard Schätz,Stefan Wagner,Jean-Francois Girard,Stefan Teuchert,Clone detection in automotive model-based development.
• Audris Mockus,David M. Weiss,Interval quality: relating customer-perceived quality to process quality.
• Lijun Mei,W. K. Chan,T. H. Tse,Data flow testing of service-oriented workflow applications.
• Birgit R. Krogstie,Power through brokering: open source community participation in software engineering student projects.
• Nachiappan Nagappan,Brendan Murphy,Victor R. Basili,The influence of organizational structure on software quality: an empirical case study.
• Jinjun Chen,Yun Yang,Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems.
• Sylvain Sicard,Fabienne Boyer,Noel De Palma,Using components for architecture-based management: the self-repair case.
• Jon Whittle,Duminda Wijesekera,Mark Hartong,Executable misuse cases for modeling security concerns.
• Clauirton de Siebra,Paulo H. R. Costa,André Luis M. Santos,Fabio Q. B. da Silva,Improving the handsets network test process via DMAIC concepts.
• Christian Hammer,Julian Dolby,Mandana Vaziri,Frank Tip,Dynamic detection of atomic-set-serializability violations.
• Ajitha Rajan,Michael W. Whalen,Mats Per Erik Heimdahl,The effect of program and model structure on mc/dc test adequacy coverage.
• Jörg Dörr,Daniel Kerkow,Dennis Landmann,Christian Graf,Christian Denger,Anne Hoffmann,Supporting requirements engineering for medical products: early consideration of user-perceived quality.
• Gursimran Singh Walia,Jeffrey C. Carver,Nachiappan Nagappan,The effect of the number of inspectors on the defect estimates produced by capture-recapture models.
• Eduardo Figueiredo,Nélio Cacho,Cláudio Sant'Anna,Mario Monteiro,Uirá Kulesza,Alessandro Garcia,Sérgio Soares,Fabiano Cutigi Ferrari,Safoora Shakil Khan,Fernando Castor Filho,Francisco Dantas,Evolving software product lines with aspects: an empirical study on design stability.
• Gary Wassermann,Zhendong Su,Static detection of cross-site scripting vulnerabilities.
• Xiaoyin Wang,Lu Zhang,Tao Xie,John Anvik,Jiasu Sun,An approach to detecting duplicate bug reports using natural language and execution information.
• Tim Reichert,Edmund Klaus,Wolfgang Schoch,Ansgar Meroth,Dominikus Herzberg,A language for advanced protocol analysis in automotive networks.
• Gerald C. Gannod,Janet E. Burge,Michael T. Helmick,Using the inverted classroom to teach software engineering.
• Jonathan Lung,Jorge Aranda,Steve M. Easterbrook,Gregory V. Wilson,On the difficulty of replicating human subjects studies in software engineering.
• Steven P. Reiss,Tracking source locations.
• Cemal Yilmaz,Amit M. Paradkar,Clay Williams,Time will tell: fault localization using time spectra.
• Hannes Kegel,Friedrich Steimann,Systematically refactoring inheritance to delegation in java.
• Barthélémy Dagenais,Martin P. Robillard,Recommending adaptive changes for framework evolution.
• Oliver Niggemann,Joachim Stroop,Models for model's sake: why explicit system models are also an end to themselves.
• Margaret-Anne D. Storey,Jody Ryall,R. Ian Bull,Del Myers,Janice Singer,TODO or to bug: exploring how task annotations play a role in the work practices of software developers.
• Serena Fritsch,Aline Senart,Douglas C. Schmidt,Siobhán Clarke,Time-bounded adaptation for automotive system software.
• Jordi Cabot,Francisco Durán,Nathalie Moreno,Antonio Vallecillo,José Raúl Romero,From programming to modeling: our experience with a distributed software engineering course.
• Heng Lu,W. K. Chan,T. H. Tse,Testing pervasive software in the presence of context inconsistency resolution services.
• Chunqing Chen,Jin Song Dong,Jun Sun,A verification system for timed interval calculus.
• Andreas Scholz,Christian Buckl,Alfons Kemper,Alois Knoll,Jörg Heuer,Martin Winter,WS-AMUSE - web service architecture for multimedia services.
• Andrew Jensen Ko,Brad A. Myers,Debugging reinvented: asking and answering why and why not questions about program behavior.
• Liang Xiao,Paul H. Lewis,Alex Gibb,Developing a security protocol for a distributed decision support system in a healthcare environment.
• Brian de Alwis,Gail C. Murphy,Answering conceptual queries with Ferret.
• Steven Lauterburg,Ahmed Sobeih,Darko Marinov,Mahesh Viswanathan,Incremental state-space exploration for programs with dynamically allocated data.
• Mark Gabel,Zhendong Su,Symbolic mining of temporal specifications.
• Thorsten Schäfer,Jan Jonas,Mira Mezini,Mining framework usage changes from instantiation code.
• Kevin J. Hoffman,Patrick Eugster,Towards reusable components with aspects: an empirical study on modularity and obliviousness.
• Ilinca Ciupa,Andreas Leitner,Manuel Oriol,Bertrand Meyer,ARTOO: adaptive random testing for object-oriented software.
• Christian Kästner,Sven Apel,Martin Kuhlemann,Granularity in software product lines.
• Kai Stapel,Daniel Lübke,Eric Knauss,Best practices in extreme programming course design.
• Thomas Goldschmidt,Ralf H. Reussner,Jochen Winzen,A case study evaluation of maintainability and performance of persistency techniques.
• Christoph Csallner,Nikolai Tillmann,Yannis Smaragdakis,DySy: dynamic symbolic execution for invariant inference.
• Leslie Cheung,Roshanak Roshandel,Nenad Medvidovic,Leana Golubchik,Early prediction of software component reliability.
• Emerson R. Murphy-Hill,Andrew P. Black,Breaking the barriers to successful refactoring: observations and tools for extract method.
• Danny Dig,Stas Negara,Vibhu Mohindra,Ralph E. Johnson,ReBA: refactoring-aware binary adaptation of evolving libraries.
• Feng Chen,Traian-Florin Serbanuta,Grigore Rosu,jPredictor: a predictive runtime analysis tool for java.
• Xavier Blanc,Isabelle Mounier,Alix Mougenot,Tom Mens,Detecting model inconsistency through operation-based model construction.
• Scott D. Fleming,Eileen Kraemer,R. E. Kurt Stirewalt,Shaohua Xie,Laura K. Dillon,A study of student strategies for the corrective maintenance of concurrent software.
• Maurice H. ter Beek,Stefania Gnesi,Nora Koch,Franco Mazzanti,Formal verification of an automotive scenario in service-oriented computing.
• German E. Sibay,Sebastián Uchitel,Víctor A. Braberman,Existential live sequence charts revisited.
• Joseph R. Ruthruff,John Penix,J. David Morgenthaler,Sebastian G. Elbaum,Gregg Rothermel,Predicting accurate and actionable static analysis warnings: an experimental approach.
• Sunny Huynh,Yuanfang Cai,Yuanyuan Song,Kevin J. Sullivan,Automatic modularity conformance checking.
• Mark Gabel,Lingxiao Jiang,Zhendong Su,Scalable detection of semantic clones.
• Barry Long,Jürgen Dingel,T. C. Nicholas Graham,Experience applying the SPIN model checker to an industrial telecommunications system.
• Christopher Scaffidi,Brad A. Myers,Mary Shaw,Topes: reusable abstractions for validating data.
• Fergal McCaffery,Minna Pikkarainen,Ita Richardson,Ahaa --agile, hybrid assessment method for automotive, safety critical smes.
• Davide Lorenzoli,Leonardo Mariani,Mauro Pezzè,Automatic generation of software behavioral models.
• Sriram Sankaranarayanan,Franjo Ivancic,Aarti Gupta,Mining library specifications using inductive logic programming.
• Yanbing Yu,James A. Jones,Mary Jean Harrold,An empirical study of the effects of test-suite reduction on fault localization.
• Domagoj Babic,Alan J. Hu,Calysto: scalable and precise extended static checking.

2007

• Jeffrey Stylos,Steven Clarke,Usability Implications of Requiring Parameters in Objects' Constructors.
• Lorenz Froihofer,Gerhard Glos,Johannes Osrael,Karl M. Göschka,Overview and Evaluation of Constraint Validation Approaches in Java.
• Mira Kajko-Mattsson,Maturity Status within Front-End Support Organisations.
• Laurie Williams,Lucas Layman,Kelli M. Slaten,Sarah B. Berenson,Carolyn B. Seaman,On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering.
• Chris Tucker,David Shuffelton,Ranjit Jhala,Sorin Lerner,OPIUM: Optimal Package Install/Uninstall Manager.
• Reid Holmes,Robert J. Walker,Supporting the Investigation and Planning of Pragmatic Reuse Tasks.
• Filippo Ricca,Massimiliano Di Penta,Marco Torchiano,Paolo Tonella,Mariano Ceccato,The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes.
• Leonardo Mariani,Sofia Papagiannakis,Mauro Pezzè,Compatibility and Regression Testing of COTS-Component-Based Software.
• T. H. Ng,S. C. Cheung,W. K. Chan,Yuen-Tak Yu,Do Maintainers Utilize Deployed Design Patterns Effectively?.
• T. C. Nicholas Graham,Rick Kazman,Chris Walmsley,Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs.
• Ekwa Duala-Ekoko,Martin P. Robillard,Tracking Code Clones in Evolving Software.
• Mika Karaila,Tarja Systä,Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language--An Industrial Experience Report.
• Murali Krishna Ramanathan,Ananth Grama,Suresh Jagannathan,Path-Sensitive Inference of Function Precedence Protocols.
• Simone Livieri,Yoshiki Higo,Makoto Matsushita,Katsuro Inoue,Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder.
• Stephanie Ludi,Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course.
• Shinichi Honiden,Yasuyuki Tahara,Nobukazu Yoshioka,Kenji Taguchi,Hironori Washizaki,Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.
• Yin Liu,Ana Milanova,Ownership and Immutability Inference for UML-Based Object Access Control.
• Halvard Skogsrud,Boualem Benatallah,Fabio Casati,Farouk Toumani,Managing Impacts of Security Protocol Changes in Service-Oriented Applications.
• Stefan Berner,Roland Weber,Rudolf K. Keller,Enhancing Software Testing by Judicious Use of Code Coverage Information.
• Luciano Baresi,Carlo Ghezzi,Luca Mottola,On Accurate Automatic Verification of Publish-Subscribe Architectures.
• Andrew J. Ko,Robert DeLine,Gina Venolia,Information Needs in Collocated Software Development Teams.
• Damith C. Rajapakse,Stan Jarzabek,Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis.
• Rupak Majumdar,Koushik Sen,Hybrid Concolic Testing.
• Sam Malek,Chiyoung Seo,Sharmila Ravula,Brad Petrus,Nenad Medvidovic,Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support.
• Jayakanth Srinivasan,Kristina Lundqvist,A Constructivist Approach to Teaching Software Processes.
• Guoqing (Harry) Xu,Atanas Rountev,Regression Test Selection for AspectJ Software.
• James A. Clause,Alessandro Orso,A Technique for Enabling and Supporting Debugging of Field Failures.
• Shiva Nejati,Mehrdad Sabetzadeh,Marsha Chechik,Steve M. Easterbrook,Pamela Zave,Matching and Merging of Statecharts Specifications.
• Chris Jensen,Walt Scacchi,Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study.
• Sunghun Kim,Thomas Zimmermann,E. James Whitehead Jr.,Andreas Zeller,Predicting Faults from Cached History.
• Analia Irigoyen Ferreiro Ferreira,Gleison Santos,Roberta Cerqueira,Mariano Montoni,Ahilton Barreto,Andrea Oliveira Soares Barreto,Ana Regina Rocha,Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica's Pathway.
• Adam Kiezun,Michael D. Ernst,Frank Tip,Robert M. Fuhrer,Refactoring for Parameterizing Java Classes.
• Fadi A. Zaraket,Adnan Aziz,Sarfraz Khurshid,Sequential Circuits for Relational Analysis.
• Robin Abraham,Martin Erwig,GoalDebug: A Spreadsheet Debugger for End Users.
• Zhimin Wang,Sebastian G. Elbaum,David S. Rosenblum,Automated Generation of Context-Aware Tests.
• Matthieu Leclercq,Ali Erdem Özcan,Vivien Quéma,Jean-Bernard Stefani,Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.
• Yan Jin,Antony Tang,Jun Han,Yan Liu,Performance Evaluation and Prediction for Legacy Information Systems.
• Louwarnoud van der Duim,Jesper Andersson,Marco Sinnema,Good Practices for Educational Software Engineering Projects.
• Xun Yuan,Atif M. Memon,Using GUI Run-Time State as Feedback to Generate Test Cases.
• Haibo Chen,Jie Yu,Rong Chen,Binyu Zang,Pen-Chung Yew,POLUS: A POwerful Live Updating System.
• Jeffrey C. Carver,Richard P. Kendall,Susan E. Squires,Douglass E. Post,Software Development Environments for Scientific and Engineering Software: A Series of Case Studies.
• Andrea Capiluppi,Juan Fernández-Ramil,J. Higman,Helen C. Sharp,Neil Smith,An Empirical Study of the Evolution of an Agile-Developed Software System.
• Neil A. M. Maiden,Cornelius Ncube,Suzanne Robertson,Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System.
• Chen Fu,Barbara G. Ryder,Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications.
• Mikhail Chalabine,Christoph W. Kessler,A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations.
• Sebastián Uchitel,Greg Brunet,Marsha Chechik,Behaviour Model Synthesis from Properties and Scenarios.
• Danny Dig,Kashif Manzoor,Ralph E. Johnson,Tien N. Nguyen,Refactoring-Aware Configuration Management for Object-Oriented Programs.
• Lingxiao Jiang,Ghassan Misherghi,Zhendong Su,Stéphane Glondu,DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.
• Matthew B. Dwyer,Alex Kinneer,Sebastian G. Elbaum,Adaptive Online Program Analysis.
• Bastian Best,Jan Jürjens,Bashar Nuseibeh,Model-Based Security Engineering of Distributed Information Systems Using UMLsec.
• David B. Martin,John Rooksby,Mark Rouncefield,Ian Sommerville,'Good' Organisational Reasons for 'Bad' Software Testing: An Ethnographic Study of Testing in a Small Software Company.
• Patrice Chalin,A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.
• Scott A. Hendrickson,André van der Hoek,Modeling Product Line Architectures through Change Sets and Relationships.
• Alex Groce,Gerard J. Holzmann,Rajeev Joshi,Randomized Differential Testing as a Prelude to Formal Verification.
• Matthew B. Dwyer,Sebastian G. Elbaum,Suzette Person,Rahul Purandare,Parallel Randomized State-Space Search.
• Salvador Trujillo,Don S. Batory,Oscar Díaz,Feature Oriented Model Driven Development: A Case Study for Portlets.
• John C. Grundy,John G. Hosking,Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool.
• Brian Ellis,Jeffrey Stylos,Brad A. Myers,The Factory Pattern in API Design: A Usability Evaluation.
• Carlos Pacheco,Shuvendu K. Lahiri,Michael D. Ernst,Thomas Ball,Feedback-Directed Random Test Generation.
• Per Runeson,Magnus Alexandersson,Oskar Nyholm,Detection of Duplicate Defect Reports Using Natural Language Processing.
• Lars-Ola Damm,Lars Lundberg,Company-Wide Implementation of Metrics for Early Software Fault Detection.
• Alexander Egyed,Fixing Inconsistencies in UML Design Models.
• Sergei Kojarski,David H. Lorenz,Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks.
• Prasanth Anbalagan,Tao Xie,Automated Inference of Pointcuts in Aspect-Oriented Refactoring.
• Jan Chong,Tom Hurlbutt,The Social Dynamics of Pair Programming.
• Miryung Kim,David Notkin,Dan Grossman,Automatic Inference of Structural Changes for Matching across Program Versions.
• Gary T. Leavens,Peter Müller,Information Hiding and Visibility in Interface Specifications.
• Sebastian G. Elbaum,Suzette Person,Jonathan Dokulil,Matthew Jorde,Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.
• Vinod Ganapathy,Dave King,Trent Jaeger,Somesh Jha,Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis.
• Marco Pistoia,Stephen J. Fink,Robert J. Flynn,Eran Yahav,When Role Models Have Flaws: Static Validation of Enterprise Security Policies.

2006

• Ye Yang,Barry W. Boehm,Betsy Clark,Assessing COTS integration risk using cost estimation inputs.
• Girish Suryanarayana,Mamadou H. Diallo,Justin R. Erenkrantz,Richard N. Taylor,Architectural support for trust models in decentralized applications.
• Manfred Broy,Challenges in automotive software engineering.
• Xinyu Wang,Jianling Sun,Xiaohu Yang,Chao Huang,Zhijun He,Srinivasa R. Maddineni,Reengineering standalone C++ legacy systems into the J2EE partition distributed environment.
• Brian Hackett,Manuvir Das,Daniel Wang,Zhe Yang,Modular checking for buffer overflows in the large.
• Carmen Zannier,Grigori Melnik,Frank Maurer,On the success of empirical studies in the international conference on software engineering.
• Vahid Garousi,Lionel C. Briand,Yvan Labiche,Traffic-aware stress testing of distributed systems based on UML models.
• Ji Zhang,Betty H. C. Cheng,Model-based development of dynamically adaptive software.
• Jianbin Tan,George S. Avrunin,Lori A. Clarke,Managing space for finite-state verification.
• Chris Mattmann,Daniel J. Crichton,Nenad Medvidovic,Steve Hughes,A software architecture-based framework for highly distributed and data intensive scientific applications.
• John Anvik,Lyndon Hiew,Gail C. Murphy,Who should fix this bug?
• Hee Beng Kuan Tan,Yuan Zhao,Hongyu Zhang,Estimating LOC for information systems from their conceptual data models.
• Jürgen Nehmer,Martin Becker,Arthur I. Karshmer,Rosemarie Lamm,Living assistance systems: an ambient intelligence approach.
• LiGuo Huang,Barry W. Boehm,Hao Hu,JiDong Ge,Jian Lü,Cheng Qian,Applying the Value/Petri process to ERP software development in China.
• Minmin Han,Thomas Thiery,Xiping Song,Managing exceptions in the medical workflow systems.
• Judith Bishop,Multi-platform user interface construction: a challenge for software engineering-in-the-small.
• Jia Liu,Don S. Batory,Christian Lengauer,Feature oriented refactoring of legacy applications.
• Lionel C. Briand,Yvan Labiche,Michal M. Sówka,Automated, contract-based user testing of commercial-off-the-shelf components.
• Damiano Distante,Gerardo Canfora,Scott R. Tilley,Shihong Huang,Redesigning legacy applications for the web with UWAT+: a case study.
• Lingxiao Jiang,Zhendong Su,Osprey: a practical type system for validating dimensional unit correctness of C programs.
• Paul Luo Li,James D. Herbsleb,Mary Shaw,Brian Robinson,Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB Inc.
• Dinakar Dhurjati,Vikram S. Adve,Backwards-compatible array bounds checking for C with very low overhead.
• Robert G. Pettit IV,Hassan Gomaa,Modeling behavioral design patterns of concurrent objects.
• David Willmor,Suzanne M. Embury,An intensional approach to the specification of test cases for database applications.
• Benoit Baudry,Franck Fleurey,Yves Le Traon,Improving test suites for efficient fault localization.
• Ankit Goel,Sun Meng,Abhik Roychoudhury,P. S. Thiagarajan,Interacting process classes.
• Mutsumi Komuro,Experiences of applying SPC techniques to software development processes.
• Sven Apel,Thomas Leich,Gunter Saake,Aspectual mixin layers: aspects and features in concert.
• Vijay K. Gurbani,Anita Garvert,James D. Herbsleb,A case study of a corporate open source development model.
• Mathieu Verbaere,Ran Ettinger,Oege de Moor,JunGL: a scripting language for refactoring.
• Ingolf H. Krüger,Reena Mathew,Michael Meisinger,Efficient exploration of service-oriented architectures using aspects.
• Felix Sheng-Ho Chang,Daniel Jackson,Symbolic model checking of declarative relational models.
• Osamu Kobayashi,Mitsuyoshi Kawabata,Makoto Sakai,Eddy Parkinson,Analysis of the interaction between practices for introducing XP effectively.
• Timothy Sohn,William G. Griswold,James Scott,Anthony LaMarca,Yatin Chawathe,Ian E. Smith,Mike Y. Chen,Experiences with place lab: an open source toolkit for location-aware computing.
• Christian F. J. Lange,Michel R. V. Chaudron,Effects of defects in UML models: an experimental investigation.
• Ken Sakamura,Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems.
• Sergei Kojarski,David H. Lorenz,Modeling aspect mechanisms: a top-down approach.
• Hironori Washizaki,Yasuhide Kobayashi,Hiroyuki Watanabe,Eiji Nakajima,Yuji Hagiwara,Kenji Hiranabe,Kazuya Fukuda,Experiments on quality evaluation of embedded software in Japan robot software design contest.
• Fuqing Yang,Hong Mei,Development of software engineering: co-operative efforts from academia, government and industry.
• Chang Xu,Shing-Chi Cheung,W. K. Chan,Incremental consistency checking for pervasive context.
• Adam Trendowicz,Jens Heidrich,Jürgen Münch,Yasushi Ishigai,Kenji Yokoyama,Nahomi Kikuchi,Development of a hybrid cost estimation model in an iterative manner.
• Brian Berenbach,Gail Borotto,Metrics for model driven requirements development.
• Magiel Bruntink,Arie van Deursen,Tom Tourwé,Discovering faults in idiom-based exception handling.
• Chunyang Ye,S. C. Cheung,W. K. Chan,Publishing and composition of atomicity-equivalent services for B2B collaboration.
• Xiangyu Zhang,Neelam Gupta,Rajiv Gupta,Locating faults through automated predicate switching.
• David Mandelin,Doug Kimelman,Daniel M. Yellin,A Bayesian approach to diagram matching with application to architectural models.
• Maria Cutumisu,Curtis Onuczko,Duane Szafron,Jonathan Schaeffer,Matthew McNaughton,Thomas Roy,Jeff Siegel,Mike Carbonaro,Evaluating pattern catalogs: the computer games experience.
• Jiang Zheng,Brian Robinson,Laurie Williams,Karen Smiley,Applying regression test selection for COTS-based applications.
• Basil Becker,Dirk Beyer,Holger Giese,Florian Klein,Daniela Schilling,Symbolic invariant verification for systems with dynamic structural adaptation.
• Jean-Raymond Abrial,Formal methods in industry: achievements, problems, future.
• Alexander Egyed,Instant consistency checking for the UML.
• Nachiappan Nagappan,Thomas Ball,Andreas Zeller,Mining metrics to predict component failures.
• Minseong Kim,Suntae Kim,Sooyong Park,Mun-Taek Choi,Munsang Kim,Hassan Gomaa,UML-based service robot software development: a case study.
• Ganesan Ramalingam,Raghavan Komondoor,John Field,Saurabh Sinha,Semantics-based reverse engineering of object-oriented data models.
• Ghassan Misherghi,Zhendong Su,HDD: hierarchical Delta Debugging.
• Bikram Sengupta,Satish Chandra,Vibha Sinha,A research agenda for distributed software development.
• Qing Wang,Nan Jiang,Lang Gou,Xia Liu,Mingshu Li,Yongji Wang,BSR: a statistic-based approach for establishing and refining software process performance baseline.
• Robin Abraham,Martin Erwig,Inferring templates from spreadsheets.
• Thomas D. LaToza,Gina Venolia,Robert DeLine,Maintaining mental models: a study of developer work habits.
• Jinlin Yang,David Evans,Deepali Bhardwaj,Thirumalesh Bhat,Manuvir Das,Perracotta: mining temporal API rules from imperfect traces.
• Barry W. Boehm,A view of 20th and 21st century software engineering.
• Noboru Nakamichi,Kazuyuki Shima,Makoto Sakai,Ken-ichi Matsumoto,Detecting low usability web pages using quantitative data of users' behavior.
• David L. Heine,Monica S. Lam,Static detection of leaks in polymorphic containers.
• Pak-Lok Poon,Yuen-Tak Yu,Procurement of enterprise resource planning systems: experiences with some Hong Kong companies.
• Mingshu Li,Meng Huang,Fengdi Shu,Juan Li,A risk-driven method for eXtreme programming release planning.

2005

• Stephen Fickas,Clinical requirements engineering.
• Dzintars Avots,Michael Dalton,V. Benjamin Livshits,Monica S. Lam,Improving software security with a C pointer analysis.
• Moonzoo Kim,Jaejoon Lee,Kyo Chul Kang,Youngjin Hong,Seokwon Bang,Re-engineering software architecture of home service robots: a case study.
• Nachiappan Nagappan,Thomas Ball,Use of relative code churn measures to predict system defect density.
• Jeffrey O. Kephart,Research challenges of autonomic computing.
• David Leon,Wes Masri,Andy Podgurski,An empirical evaluation of test case filtering techniques based on exercising complex information flows.
• Christof Ebert,Jozef De Man,requirements uncertainty: influencing factors and concrete improvements.
• Atanas Rountev,Beth Harkness Connell,Object naming analysis for reverse-engineered sequence diagrams.
• Maurice H. ter Beek,Mieke Massink,Diego Latella,Stefania Gnesi,Alessandro Forghieri,Maurizio Sebastianis,A case study on the automated verification of groupware protocols.
• Andrew Jensen Ko,Htet Htet Aung,Brad A. Myers,Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks.
• Audris Mockus,Ping Zhang,Paul Luo Li,Predictors of customer perceived software quality.
• Luigi Lavazza,Giancarlo Barresi,Automated support for process-aware definition and execution of measurement plans.
• Wei-Ngan Chin,Siau-Cheng Khoo,Shengchao Qin,Corneliu Popeea,Huu Hai Nguyen,Verifying safety policies with size properties and alias controls.
• James D. Herbsleb,Daniel J. Paulish,Matthew Bass,Global software development at siemens: experience from nine projects.
• Amir Michail,Tao Xie,Helping users avoid bugs in GUI applications.
• William R. Cook,Siddhartha Rai,Safe query objects: statically typed objects as remotely executable queries.
• Tetsuo Tamai,Naoyasu Ubayashi,Ryoichi Ichiyama,An adaptive object model with dynamic role binding.
• Taweesup Apiwattanapong,Alessandro Orso,Mary Jean Harrold,Efficient and precise dynamic impact analysis using execute-after sequences.
• Ian Gorton,Liming Zhu,Tool support for just-in-time architecture reconstruction and evaluation: an experience report.
• James H. Andrews,Lionel C. Briand,Yvan Labiche,Is mutation an appropriate tool for testing experiments?
• Renée C. Bryce,Charles J. Colbourn,Myra B. Cohen,A framework of greedy methods for constructing interaction test suites.
• Martin Erwig,Robin Abraham,Irene Cooperstein,Steve Kollmansberger,Automatic generation and maintenance of correct spreadsheets.
• Neil A. M. Maiden,Suzanne Robertson,Developing use cases and scenarios in the requirements process.
• Cemal Yilmaz,Arvind S. Krishna,Atif M. Memon,Adam A. Porter,Douglas C. Schmidt,Aniruddha S. Gokhale,Balachandran Natarajan,Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems.
• Brian Demsky,Martin C. Rinard,Data structure repair using goal-directed reasoning.
• Yuetang Deng,Phyllis G. Frankl,David Chays,Testing database transactions with AGENDA.
• Tariq Al-Naeem,Ian Gorton,Muhammad Ali Babar,Fethi A. Rabhi,Boualem Benatallah,A quality-driven systematic approach for architecting distributed software applications.
• Vinod Ganapathy,Sanjit A. Seshia,Somesh Jha,Thomas W. Reps,Randal E. Bryant,Automatic discovery of API-level exploits.
• Jane Cleland-Huang,Raffaella Settimi,Oussama Ben Khadra,Eugenia Berezhanskaya,Selvia Christina,Goal-centric traceability for managing non-functional requirements.
• Marcelo F. Frias,Juan P. Galeotti,Carlos López Pombo,Nazareno Aguirre,DynAlloy: upgrading alloy with actions.
• Reid Holmes,Gail C. Murphy,Using structural context to recommend source code examples.
• Alexander Pretschner,Wolfgang Prenninger,Stefan Wagner,Christian Kühnel,M. Baumgartner,B. Sostawa,R. Zölch,Thomas Stauner,One evaluation of model-based testing and its automation.
• Klaus Schmid,Isabel John,Ronny Kolb,Gerald Meier,Introducing the puLSE approach to an embedded system population at testo AG.
• Nachiappan Nagappan,Thomas Ball,Static analysis tools as early indicators of pre-release defect density.
• Jonathan Misurda,James A. Clause,Juliya L. Reed,Bruce R. Childers,Mary Lou Soffa,Demand-driven structural testing with dynamic instrumentation.
• Tim Menzies,Daniel Port,Zhihao Chen,Jairus Hihn,Sherry Stukes,Validation methods for calibrating software effort models.
• Joseph R. Ruthruff,Margaret M. Burnett,Gregg Rothermel,An empirical study of fault localization for end-user programmers.
• Martin Verlage,Thomas Kiesgen,Five years of product line engineering in a small company.
• Hamid Abdul Basit,Damith C. Rajapakse,Stan Jarzabek,Beyond templates: a study of clones in the STL and some general implications.
• Kathi Fisler,Shriram Krishnamurthi,Leo A. Meyerovich,Michael Carl Tschantz,Verification and change-impact analysis of access-control policies.
• Gregor Kiczales,Mira Mezini,Aspect-oriented programming and modular reasoning.
• Jan Jürjens,Sound methods and effective tools for model-based security engineering with UML.
• Patricia Lago,Hans van Vliet,Explicit assumptions enrich architectural models.
• Emmanuel Letier,Jeff Kramer,Jeff Magee,Sebastián Uchitel,Monitoring and control in scenario-based requirements analysis.
• Eli Tilevich,Yannis Smaragdakis,Binary refactoring: improving code behind the scenes.
• Tien Nhut Nguyen,Ethan V. Munson,John Tang Boyland,Cheng Thao,An infrastructure for development of object-oriented, multi-level configuration management services.
• Johannes Henkel,Amer Diwan,CatchUp!: capturing and replaying refactorings to support API evolution.
• Parastoo Mohagheghi,Bente Anda,Reidar Conradi,Effort estimation of use cases for incremental large-scale software development.
• Holger Cleve,Andreas Zeller,Locating causes of program failures.
• Martin Höst,Claes Wohlin,Thomas Thelin,Experimental context classification: incentives and experience of subjects.
• Christoph Csallner,Yannis Smaragdakis,Check 'n' crash: combining static checking and testing.
• Russell A. McClure,Ingolf H. Krüger,SQL DOM: compile time checking of dynamic SQL statements.
• Hridesh Rajan,Kevin J. Sullivan,Classpects: unifying aspect- and object-oriented language design.
• Stefan Berner,Roland Weber,Rudolf K. Keller,Observations and lessons learned from automated testing.
• Grigori Melnik,Frank Maurer,A cross-program investigation of students' perceptions of agile methods.
• Elspeth Golden,Bonnie E. John,Len Bass,The value of a usability-supporting architectural pattern in software architecture design: a controlled experiment.
• Sascha Konrad,Betty H. C. Cheng,Real-time specification patterns.
• Carine Courbis,Anthony Finkelstein,Towards aspect weaving applications.
• Hanna Hulkko,Pekka Abrahamsson,A multiple case study on the impact of pair programming on product quality.

2004

• Patrick Th. Eugster,Christian Heide Damm,Rachid Guerraoui,Towards Safe Distributed Application Development.
• Ian Gorton,Jereme Haack,Architecting in the Face of Uncertainty: An Experience Report.
• Jon Froehlich,Paul Dourish,Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams.
• Tao Wang,Abhik Roychoudhury,Using Compressed Bytecode Traces for Slicing Java Programs.
• Humberto Cervantes,Richard S. Hall,Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model.
• Mark Turner,Fujun Zhu,Ioannis A. Kotsiopoulos,Michelle Russell,David Budgen,Keith H. Bennett,Pearl Brereton,John A. Keane,Paul J. Layzell,Michael Rigby,Using Web Service Technologies to Create an Information Broker: An Experience Report.
• Atif M. Memon,Adam A. Porter,Cemal Yilmaz,Adithya Nagarajan,Douglas C. Schmidt,Balachandran Natarajan,Skoll: Distributed Continuous Quality Assurance.
• Peter Manhart,Kurt Schneider,Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report.
• Brian Berenbach,The Evaluation of Large, Complex UML Analysis and Design Model.
• Johannes Henkel,Amer Diwan,A Tool for Writing and Debugging Algebraic Specifications.
• Saurabh Sinha,Alessandro Orso,Mary Jean Harrold,Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow.
• Mari Matinlassi,Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA.
• Jianbin Tan,George S. Avrunin,Lori A. Clarke,Heuristic-Based Model Refinement for FLAVERS.
• Alexandre R. J. François,A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams.
• Parastoo Mohagheghi,Reidar Conradi,Ole M. Killi,Henrik Schwarz,An Empirical Study of Software Reuse vs. Defect-Density and Stability.
• Wei Zhao,Lu Zhang,Yin Liu,Jiasu Sun,Fuqing Yang,SNIAFL: Towards a Static Non-Interactive Approach to Feature Location.
• Stephen M. Blackburn,Perry Cheng,Kathryn S. McKinley,Oil and Water? High Performance Garbage Collection in Java with MMTk.
• Vahe Poladian,João Pedro Sousa,David Garlan,Mary Shaw,Dynamic Configuration of Resource-Aware Services.
• Eric Wohlstadter,Stefan Tai,Thomas A. Mikalsen,Isabelle Rouvellou,Premkumar T. Devanbu,GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions.
• Tudor Antoniu,Paul A. Steckler,Shriram Krishnamurthi,Erich Neuwirth,Matthias Felleisen,Validating the Unit Correctness of Spreadsheet Programs.
• Hong Yan,David Garlan,Bradley R. Schmerl,Jonathan Aldrich,Rick Kazman,DiscoTect: A System for Discovering Architectures from Running Systems.
• Ronald van der Lingen,André van der Hoek,An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition.
• Carl Gould,Zhendong Su,Premkumar T. Devanbu,Static Checking of Dynamically Generated Queries in Database Applications.
• Jamie Hillman,Ian Warren,An Open Framework for Dynamic Reconfiguration.
• Xiangyu Zhang,Rajiv Gupta,Youtao Zhang,Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.
• Barbara A. Kitchenham,Tore Dybå,Magne Jørgensen,Evidence-Based Software Engineering.
• Vu Ha,Murali Rangarajan,Darren D. Cofer,Harald Rueß,Bruno Dutertre,Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.
• Dirk Beyer,Adam Chlipala,Thomas A. Henzinger,Ranjit Jhala,Rupak Majumdar,Generating Tests from Counterexamples.
• Tankut Akgul,Vincent John Mooney III,Santosh Pande,A Fast Assembly Level Reverse Execution Method via Dynamic Slicing.
• Dimitra Giannakopoulou,Corina S. Pasareanu,Jamieson M. Cobleigh,Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
• Eelco Dolstra,Eelco Visser,Merijn de Jonge,Imposing a Memory Management Discipline on Software Deployment.
• Alessandro Orso,Taweesup Apiwattanapong,James Law,Gregg Rothermel,Mary Jean Harrold,An Empirical Comparison of Dynamic Impact Analysis Algorithms.
• Axel van Lamsweerde,Elaborating Security Requirements by Construction of Intentional Anti-Models.
• Andrew P. Black,Nathanael Schärli,Traits: Tools and Methodology.
• A. Alfonso,Víctor A. Braberman,Nicolas Kicillof,Alfredo Olivero,Visual Timed Event Scenarios.
• Mark Grechanik,Don S. Batory,Dewayne E. Perry,Design of Large-Scale Polylingual Systems.
• Wilhelm Hasselbring,Ralf H. Reussner,Holger Jaekel,Jürgen Schlegelmilch,Thorsten Teschke,Stefan Krieghoff,The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report.
• Wee Kheng Leow,Siau-Cheng Khoo,Yi Sun,Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.
• Jin Song Dong,Chew Hung Lee,Yuan-Fang Li,Hai H. Wang,Verifying DAML+OIL and Beyond in Z/EVES.
• Bas van der Raadt,Jasper Soetendal,Michiel Perdeck,Hans van Vliet,Polyphony in Architecture.
• Kenneth P. Birman,Robbert van Renesse,Werner Vogels,Adding High Availability and Autonomic Behavior to Web Services.
• Thomas Thelin,Team-Based Fault Content Estimation in the Software Inspection Process.
• Lionel C. Briand,Yvan Labiche,Yihong Wang,Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.
• Koushik Sen,Abhay Vardhan,Gul Agha,Grigore Rosu,Efficient Decentralized Monitoring of Safety in Distributed Systems.
• Jennifer Black,Emanuel Melachrinoudis,David R. Kaeli,Bi-Criteria Models for All-Uses Test Suite Reduction.
• Nathan D. Ryan,Alexander L. Wolf,Using Event-Based Translation to Support Dynamic Protocol Evolution.
• Thomas Zimmermann,Peter Weißgerber,Stephan Diehl,Andreas Zeller,Mining Version Histories to Guide Software Changes.
• James Skene,D. Davide Lamanna,Wolfgang Emmerich,Precise Service Level Agreements.
• Alexander Chatzigeorgiou,Spiros Xanthos,George Stephanides,Evaluating Object-Oriented Designs with Link Analysis.
• Ira D. Baxter,Christopher W. Pidgeon,Michael Mehlich,DMS®: Program Transformations for Practical Scalable Software Evolution.
• Elisa L. A. Baniassad,Siobhán Clarke,Theme: An Approach for Aspect-Oriented Analysis and Design.
• Karl J. Lieberherr,Controlling the Complexity of Software Design.
• Jeffrey Ka-Hing Mak,Clifford Sze-Tsan Choy,Daniel Pak-Kong Lun,Precise Modeling of Design Patterns in UML.
• Ramkrishna Chatterjee,Gopalan Arun,Sanjay Agarwal,Ben Speckhard,Ramesh Vasudevan,Using Data Versioning in Database Application Development.
• Mauro Caporuscio,Paola Inverardi,Patrizio Pelliccione,Compositional Verification of Middleware-Based Software Architecture Descriptions.
• Tewfik Ziadi,Loïc Hélouët,Jean-Marc Jézéquel,Revisiting Statechart Synthesis with an Algebraic Approach.
• Yuriy Brun,Michael D. Ernst,Finding Latent Code Errors via Machine Learning over Program Executions.
• Neelam Soundarajan,Jason O. Hallstrom,Responsibilities and Rewards: Specifying Design Patterns.
• Rohit Khare,Richard N. Taylor,Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems.
• Norman E. Fenton,William Marsh,Martin Neil,Patrick Cates,Simon Forey,Manesh Tailor,Making Resource Decisions for Software Projects.

2003

• André Marburger,Bernhard Westfechtel,Tools for Understanding the Behavior of Telecommunication Systems.
• Mary Shaw,Writing Good Software Engineering Research Paper.
• James Law,Gregg Rothermel,Whole Program Path-Based Dynamic Impact Analysis.
• Bridget Spitznagel,David Garlan,A Compositional Formalization of Connector Wrappers.
• Mike Moore,Rick Kazman,Mark Klein,Jai Asundi,Quantifying the Value of Architecture Design Decisions: Lessons from the Field.
• Melanie Ruhe,D. Ross Jeffery,Isabella Wieczorek,Cost Estimation for Web Applications.
• Andy Podgurski,David Leon,Patrick Francis,Wes Masri,Melinda Minch,Jiayang Sun,Bin Wang,Automated Support for Classifying Software Failure Reports.
• Görel Hedin,Lars Bendix,Boris Magnusson,Introducing Software Engineering by means of Extreme Programming.
• Robyn R. Lutz,Ines Carmen Mikulski,Requirements Discovery during the Testing of Safety-Critical Software.
• Sagar Chaki,Edmund M. Clarke,Alex Groce,Somesh Jha,Helmut Veith,Modular Verification of Software Components in C.
• Dolores M. Zage,Wayne M. Zage,An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model.
• Pekka Abrahamsson,Juhani Warsta,Mikko T. Siponen,Jussi Ronkainen,New Directions on Agile Methods: A Comparative Analysis.
• Andrian Marcus,Jonathan I. Maletic,Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing.
• Donald J. Bagert,Susan A. Mengel,Using a Web-Based Project Process Throughout the Software Engineering Curriculum.
• Daniel L. Moody,Guttorm Sindre,Terje Brasethvik,Arne Sølvberg,Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework.
• Susan Elliott Sim,Steve M. Easterbrook,Richard C. Holt,Using Benchmarking to Advance Research: A Challenge to Software Engineering.
• William G. Griswold,Robert T. Boyer,Steven W. Brown,Tan Minh Truong,A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure.
• Don S. Batory,Jacob Neal Sarvela,Axel Rauschmayer,Scaling Step-Wise Refinement.
• Keith Chan,Zhi Cong Leo Liang,Amir Michail,Design Recovery of Interactive Graphical Applications.
• David H. Lorenz,John M. Vlissides,Pluggable Reflection: Decoupling Meta-Interface and Implementation.
• Christian Nentwich,Wolfgang Emmerich,Anthony Finkelstein,Consistency Management with Repair Actions.
• Christof Ebert,Michel Smouts,Tricks and Traps of Initiating a Product Line Concept in Existing Product.
• Antonia Bertolino,Andrea Polini,A Framework for Component Deployment Testing.
• Johann Oberleitner,Thomas Gschwind,Mehdi Jazayeri,The Vienna Component Framework Enabling Composition Across Component Models.
• Yunwen Ye,Kouichi Kishida,Toward an Understanding of the Motivation of Open Source Software Developers.
• Greg Borchers,The Software Engineering Impacts of Cultural Factors on Multi-cultural Software Development Teams.
• John Hatcliff,Xianghua Deng,Matthew B. Dwyer,Georg Jung,Venkatesh Prasad Ranganath,Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.
• Eric Wohlstadter,Stoney Jackson,Premkumar T. Devanbu,DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems.
• Ahmed Seffah,Alina Andreevskaia,Empowering Software Engineers in Human-Centered Design.
• Arnab Ray,Rance Cleaveland,Architectural Interaction Diagrams: AIDs for System Modeling.
• Torgeir Dingsøyr,Emil Røyrvik,An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company.
• Katsuro Inoue,Reishi Yokomori,Hikaru Fujiwara,Tetsuo Yamamoto,Makoto Matsushita,Shinji Kusumoto,Component Rank: Relative Significance Rank for Software Component Search.
• Klaus Grimm,Software Technology in an Automotive Company - Major Challenges.
• Giuseppe Valetto,Gail E. Kaiser,Using Process Technology to Control and Coordinate Software Adaptation.
• Nadine Heumesser,Frank Houdek,Towards Systematic Recycling of Systems Requirements.
• Bashar Nuseibeh,Jeff Kramer,Anthony Finkelstein,ViewPoints: meaningful relationships are difficult!
• Michelle Casagni,Margaret Lyell,Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform.
• David Coppit,Kevin J. Sullivan,Sound Methods and Effective Tools for Engineering Modeling and Analysis.
• Xiangyu Zhang,Rajiv Gupta,Youtao Zhang,Precise Dynamic Slicing Algorithms.
• Joanne McGrath Cohoon,Must There Be So Few? Including Women in CS.
• Myra B. Cohen,Peter B. Gibbons,Warwick B. Mugridge,Charles J. Colbourn,Constructing Test Suites for Interaction Testing.
• Audris Mockus,David M. Weiss,Ping Zhang,Understanding and Predicting Effort in Software Projects.
• Hyoung Seok Hong,Sung Deok Cha,Insup Lee,Oleg Sokolsky,Hasan Ural,Data Flow Testing as Model Checking.
• Atanas Rountev,Ana Milanova,Barbara G. Ryder,Fragment Class Analysis for Testing of Polymorphism in Java Software.
• Michael Harder,Jeff Mellen,Michael D. Ernst,Improving Test Suites via Operational Abstraction.
• Alex Baker,Emily Oh Navarro,André van der Hoek,Problems and Programmers: An Educational Software Engineering Card Game.
• Amnon H. Eden,Rick Kazman,Architecture, Design, Implementation.
• Jon Whittle,Jyoti Saboo,Richard Kwan,From Scenarios to Code: An Air Traffic Control Case Study.
• Anita Sarma,Zahra Noroozi,André van der Hoek,Palantír: Raising Awareness among Configuration Management Workspaces .
• Evelyn J. Barry,Chris F. Kemerer,Sandra Slaughter,On the Uniformity of Software Evolution Patterns.
• Sebastian G. Elbaum,Srikanth Karre,Gregg Rothermel,Improving Web Application Testing with User Session Data.
• Douglas C. Schmidt,Frank Buschmann,Patterns, Frameworks, and Middleware: Their Synergistic Relationships.
• Richard A. Kemmerer,Cybersecurity.
• Clemens A. Szyperski,Component Technology - What, Where, and How?.
• Roope Kylmäkoski,Efficient Authoring of Software Documentation Using RaPiD7.
• David Binkley,Mark Harman,An Empirical Study of Predicate Dependence Levels and Trends.
• Bertrand Meyer,The Grand Challenge of Trusted Components.
• Jürgen Dingel,Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.
• Margaret M. Burnett,Curtis R. Cook,Omkar Pendse,Gregg Rothermel,Jay Summet,Chris S. Wallace,End-User Software Engineering with Assertions in the Spreadsheet Paradigm.
• Davor Cubranic,Gail C. Murphy,Hipikat: Recommending Pertinent Software Development Artifacts.
• Jean-Guy Schneider,Lorraine Johnston,eXtreme Programming at Universities - An Educational Perspective.
• Elisa L. A. Baniassad,Gail C. Murphy,Christa Schwanninger,Design Pattern Rationale Graphs: Linking Design to Source.

2002

• Satish Chandra,Patrice Godefroid,Christopher Palm,Software model checking in practice: an industrial case study.
• Audris Mockus,James D. Herbsleb,Expertise browser: a quantitative approach to identifying expertise.
• Eric M. Dashofy,André van der Hoek,Richard N. Taylor,An infrastructure for the rapid development of XML-based architecture description languages.
• Orna Raz,Philip Koopman,Mary Shaw,Semantic anomaly detection in online data sources.
• Rob C. van Ommering,Building product populations with sofware components.
• Amir Michail,Browsing and searching source code of applications written using a GUIframework.
• Elisabetta Di Nitto,Luigi Lavazza,Marco Schiavoni,Emma Tracanella,Michele Trombetta,Deriving executable process descriptions from UML.
• Shawn A. Butler,Security attribute evaluation method: a cost-benefit approach.
• Andrés Silva,Requirements, domain and specifications: a viewpoint-based approach to requirements engineering.
• Shinji Kusumoto,Masahiro Imagawa,Katsuro Inoue,Shuuma Morimoto,Kouji Matsusita,Michio Tsuda,Function point measurement from Java programs.
• Tushar K. Hazra,Building enterprise portals: principles to practice.
• Alok Mehta,George T. Heineman,Evolving legacy system features into fine-grained components.
• Eric Eide,Alastair Reid,John Regehr,Jay Lepreau,Static and dynamic structure in design patterns.
• Gruia-Catalin Roman,Christine Julien,Qingfeng Huang,Network abstractions for context-aware mobile computing.
• Takeshi Inoue,Yasutaka Hino,Kouji Hayashi,Masanori Narukawa,A dynamic pair-program sending architecture for industrial remote operations.
• Klaus Schmid,A comprehensive product line scoping approach and its validation.
• Victor R. Basili,Frank E. McGarry,Rose Pajerski,Marvin V. Zelkowitz,Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory.
• Xianghua Deng,Matthew B. Dwyer,John Hatcliff,Masaaki Mizuno,Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
• Matthias Gehrke,Holger Giese,Ulrich Nickel,Jörg Niere,Matthias Tichy,Jörg P. Wadsack,Albert Zündorf,Reporting about industrial strength software engineering courses for undergraduates.
• Kenneth M. Anderson,Susanne A. Sherba,William Van Lepthien,Towards large-scale information integration.
• C. Murray Woodside,Dorin Bogdan Petriu,Khalid H. Siddiqui,Performance-related completions for software specifications.
• Aaron Greenhouse,William L. Scherlis,Assuring and evolving concurrent programs: annotations and policy.
• Sudheendra Hangal,Monica S. Lam,Tracking down software bugs using automatic anomaly detection.
• Jörg Niere,Wilhelm Schäfer,Jörg P. Wadsack,Lothar Wendehals,Jim Welsh,Towards pattern-based design recovery.
• David M. Weiss,David Bennett,John Y. Payseur,Patrick Tendick,Ping Zhang,Goal-oriented software assessment.
• Emmanuel Letier,Axel van Lamsweerde,Agent-based tactics for goal-oriented requirements elaboration.
• Gregg Rothermel,Sebastian G. Elbaum,Alexey G. Malishevsky,Praveen Kallakuri,Brian Davia,The impact of test suite granularity on the cost-effectiveness of regression testing.
• Martin P. Robillard,Gail C. Murphy,Concern graphs: finding and describing concerns using structural program dependencies.
• Giovanni Denaro,Mauro Pezzè,An empirical evaluation of fault-proneness models.
• Jan Hendrik Hausmann,Reiko Heckel,Gabriele Taentzer,Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
• James A. Jones,Mary Jean Harrold,John T. Stasko,Visualization of test information to assist fault localization.
• Jamie Dinkelacker,Pankaj K. Garg,Rob Miller,Dean Nelson,Progressive open source.
• Wolfgang Emmerich,Distributed component technologies and their software engineering implications.
• Marc K. Zimmerman,Kristina Lundqvist,Nancy G. Leveson,Investigating the readability of state-based formal requirements specification languages.
• Jung-Min Kim,Adam A. Porter,A history-based test prioritization technique for regression testing in resource constrained environments.
• Brian Demsky,Martin C. Rinard,Role-based exploration of object-oriented programs.
• Abhik Roychoudhury,Tulika Mitra,Specifying multithreaded Java semantics for program verification.
• Alessandro Maccari,Experiences in assessing product family software architecture for evolution.
• Ahmed E. Hassan,Richard C. Holt,Architecture recovery of web applications.
• Alastair Dunsmore,Marc Roper,Murray Wood,Further investigations into the development and evaluation of reading techniques for object-oriented code inspection.
• Paul T. Graunke,Shriram Krishnamurthi,Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.
• Frank Padberg,Empirical interval estimates for the defect content after an inspection.
• Yaron Weinsberg,Israel Ben-Shaul,A programming model and system for disconnected-aware applications on resource-constrained devices.
• Lars Bratthall,Robert van der Geest,Holger Hofmann,Edgar Jellum,Zbigniew Korendo,Robert Martinez,Michal Orkisz,Christian Zeidler,Johan S. Andersson,Integrating hundred's of product through one architecture: the industrial IT architecture.
• Torsten Robschink,Gregor Snelting,Efficient path conditions in dependence graphs.
• Rachel L. Smith,George S. Avrunin,Lori A. Clarke,Leon J. Osterweil,PROPEL: an approach supporting property elucidation.
• Dick Mays,Richard J. LeBlanc,The cyclefree methodology: a simple approach to building reliable, robust, real-time systems.
• Jonathan Aldrich,Craig Chambers,David Notkin,ArchJava: connecting software architecture to implementation.
• Marc Fisher II,Mingming Cao,Gregg Rothermel,Curtis R. Cook,Margaret M. Burnett,Automated test case generation for spreadsheets.
• Yunwen Ye,Gerhard Fischer,Supporting reuse by delivering task-relevant and personalized information.
• Vugranam C. Sreedhar,Mixin Up components.
• Rik Eshuis,Roel Wieringa,Verification support for workflow design with UML activity graphs.

2001

• William Dickinson,David Leon,Andy Podgurski,Finding Failures by Cluster Analysis of Execution Profiles.
• William E. McUmber,Betty H. C. Cheng,A General Framework for Formalizing UML with Formal Languages.
• Atsushi Aoki,Kaoru Hayashi,Kouichi Kishida,Kumiyo Nakakoji,Yoshiyuki Nishinaka,Brent Reeves,Akio Takashima,Yasuhiro Yamamoto,A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library.
• Richard G. Hamlet,David V. Mason,Denise M. Woit,Theory of Software Reliability Based on Components.
• Jean Berstel,Stefano Crespi-Reghizzi,Gilles Roussel,Pierluigi San Pietro,A Scalable Formal Method for Design and Automatic Checking of User Interfaces.
• Alexander Egyed,A Scenario-Driven Approach to Traceability.
• James D. Herbsleb,Audris Mockus,Thomas A. Finholt,Rebecca E. Grinter,An Empirical Study of Global Software Development: Distance and Speed.
• Jamieson M. Cobleigh,Lori A. Clarke,Leon J. Osterweil,The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
• Eric Wohlstadter,Stoney Jackson,Premkumar T. Devanbu,Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project.
• Jan Bosch,Software Product Lines: Organizational Alternatives.
• Ming-Ling Lo,Shyh-Kwei Chen,Sriram Padmanabhan,Jen-Yao Chung,XAS: A System for Accessing Componentized, Virtual XML Documents.
• Richard Cardone,Calvin Lin,Comparing Frameworks and Layered Refinement.
• Gail C. Murphy,Albert Lai,Robert J. Walker,Martin P. Robillard,Separating Features in Source Code: An Exploratory Study.
• Sebastian G. Elbaum,Alexey G. Malishevsky,Gregg Rothermel,Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization.
• Filippo Ricca,Paolo Tonella,Analysis and Testing of Web Applications.
• Kurt Stirewalt,Laura K. Dillon,A Component-Based Approach to Building Formal Analysis Tools.
• Rick Kazman,Jai Asundi,Mark Klein,Quantifying the Costs and Benefits of Architectural Decisions.
• Pekka Abrahamsson,Commitment Development in Software Process Improvement: Critical Misconceptions.
• Wolfgang Emmerich,Ernst Ellmer,Henry Fieglein,TIGRA - An Architectural Style for Enterprise Application Integration.
• Stefan Biffl,Bernd G. Freimut,Oliver Laitenberger,Investigating the Cost-Effectiveness of Reinspections in Software Development.
• Hoh In,Barry W. Boehm,Thomas Lee Rodgers,Michael Deutsch,Applying WinWin to Quality Requirements: A Case Study.
• Matthew B. Dwyer,John Hatcliff,Roby Joehanes,Shawn Laubach,Corina S. Pasareanu,Robby,Hongjun Zheng,Willem Visser,Tool-Supported Program Abstraction for Finite-State Verification.
• Stefan Biffl,Wilfried Grossmann,Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles.
• Marvin V. Zelkowitz,Ioana Rus,Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program.
• Scott P. Overmyer,Benoit Lavoie,Owen Rambow,Conceptual Modeling through Linguistic Analysis Using LIDA.
• Alexis Campailla,Sagar Chaki,Edmund M. Clarke,Somesh Jha,Helmut Veith,Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.
• Erkki Mäkinen,Tarja Systä,MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML.
• Steven P. Reiss,Manos Renieris,Encoding Program Executions.
• Prakash Krishnamurthy,Paolo A. G. Sivilotti,The Specification and Testing of Quantified Progress Properties in Distributed Systems.
• Matthias M. Müller,Walter F. Tichy,Case Study: Extreme Programming in a University Environment.
• Derek Rayside,Kostas Kontogiannis,On the Syllogistic Structure of Object-Oriented Programming.
• Kevin J. Sullivan,Avneesh Saxena,A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry.
• James J. Hunt,Jürgen Reuter,Using the Web for Document Versioning: An Implementation Report for Delta V.
• Gruia-Catalin Roman,Qingfeng Huang,Ali Hazemi,Consistent Group Membership in Ad Hoc Networks.
• Barry W. Boehm,Daniel Port,Educating Software Engineering Students to Manage Risk.
• Eddy Truyen,Bart Vanhaute,Wouter Joosen,Pierre Verbaeten,Bo Nørregaard Jørgensen,Dynamic and Selective Combination of Extensions in Component-Based Applications.
• Armando Martin Haeberer,T. S. E. Maibaum,Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.
• Annie I. Antón,Colin Potts,Functional Paleontology: System Evolution as the User Sees It.
• Peter H. Feiler,John J. Walker,Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks.
• Alastair Dunsmore,Marc Roper,Murray Wood,Systematic Object-Oriented Inspection - An Emprirical Study.
• Mary M. Shaw,The Coming-of-Age of Software Architecture Research.
• Dennis Brylow,Niels Damgaard,Jens Palsberg,Static Checking of Interrupt-Driven Software.
• Steve M. Easterbrook,Marsha Chechik,A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.
• Siobhán Clarke,Robert J. Walker,Composition Patterns: An Approach to Designing Reusable Aspects.
• Tim Menzies,John D. Powell,Michael E. Houle,Fast Formal Analysis of Requirements via "Topoi Diagrams".
• Terry Shepard,An Efficient Set of Software Degree Programs for One Domain.
• Mira Kajko-Mattsson,Stefan Forssander,Ulf H. Olsson,Corrective Maintenance Maturity Model (CM3): Maintainer's Education and Training.
• Ivan Marsic,An Architecture for Heterogeneous Groupware Applications.
• Fabrizio Fioravanti,G. Migliarese,Paolo Nesi,Reengineering Analysis of Object-Oriented Systems via Duplication.
• William G. Griswold,Jimmy J. Yuan,Yoshikiyo Kato,Exploiting the Map Metaphor in a Tool for Software Evolution.
• Christof Ebert,Casimiro Hernandez Parro,Roland Suttels,Harald Kolarczyk,Improving Validation Activities in a Global Software Development.
• Scott R. Tilley,Shihong Huang,Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study.
• Antonia Bertolino,Paola Inverardi,Henry Muccini,An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
• Somesh Jha,Jeannette M. Wing,Survivability Analysis of Network Systems.
• Jonathan I. Maletic,Andrian Marcus,Supporting Program Comprehension Using Semantic and Structural Information.
• John D. Tvedt,Roseanne Tesoriero,Kevin A. Gary,The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education.
• Laura K. Dillon,Kurt Stirewalt,Leightweight Analysis of Operational Specifications Using Inference Graphs.
• Kenneth L. Modesitt,Donald J. Bagert,Laurie Honour Werth,Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs.
• Murali Sitaraman,Timothy J. Long,Bruce W. Weide,E. James Harner,Liqing Wang,A Formal Approach to Component-Based Software Engineering: Education and Evaluation.
• Giacomo Cabri,Letizia Leonardi,Franco Zambonelli,Engineering Mobile-Agent Applications via Context-Dependent Coordination.
• Sebastián Uchitel,Jeff Kramer,A Workbench for Synthesising Behaviour Models from Scenarios.

2000

• Stuart R. Faulk,Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering.
• Audris Mockus,Roy T. Fielding,James D. Herbsleb,A case study of open source software development: the Apache server.
• H. Dieter Rombach,Fraunhofer: the German model for applied research and technology transfer.
• Adrian M. Colyer,From research to reward: challenges in technology transfer.
• Gerald C. Gannod,Robyn R. Lutz,An approach to architectural analysis of product lines.
• John Penix,Willem Visser,Eric Engstrom,Aaron Larson,Nicholas Weininger,Verification of time partitioning in the DEOS scheduler kernel.
• Gokul V. Subramaniam,Object model resurrection - an object oriented maintenance activity.
• L. David Balk,Ann Kedia,PPT: a COTS integration case study.
• David Coppit,Kevin J. Sullivan,Multiple mass-market applications as components.
• Gary E. Anderson,T. C. Nicholas Graham,Timothy N. Wright,Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems.
• Hans J. Köhler,Ulrich Nickel,Jörg Niere,Albert Zündorf,Integrating UML diagrams for production control systems.
• Zhe Dang,Richard A. Kemmerer,Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.
• Bill Curtis,From MCC and CMM: technology transfers bright and dim.
• Robert S. Brewer,Improving problem-oriented mailing list archives with MCS.
• Juha Kuusela,Juha Savolainen,Requirements engineering for product families.
• Tevfik Bultan,Action Language: a specification language for model checking reactive systems.
• Jung-Min Kim,Adam A. Porter,Gregg Rothermel,An empirical study of regression test application frequency.
• Matteo Pradella,Matteo Rossi,Dino Mandrioli,Alberto Coen-Porisini,A formal approach for designing CORBA based applications.
• Ivica Crnkovic,Magnus Larsson,A case study: demands on component-based development.
• Martin Lippert,Cristina Videira Lopes,A study on exception detecton and handling using aspect-oriented programming.
• James H. Andrews,Yingjun Zhang,Broad-spectrum studies of log file analysis.
• Nikunj R. Mehta,Nenad Medvidovic,Sandeep Phadke,Towards a taxonomy of software connectors.
• Ray Dawson,Twenty dirty tricks to train software engineers.
• Even-André Karlsson,Lars-Göran Andersson,Per Leion,Daily build and feature development in large distributed projects.
• Jeff Magee,Nat Pryce,Dimitra Giannakopoulou,Jeff Kramer,Graphical animation of behavior models.
• Alastair Dunsmore,Marc Roper,Murray Wood,Object-oriented inspection in the face of delocalisation.
• Corin A. Gurr,Konstantinos Tourlas,Towards the principled design of software engineering diagrams.
• Ali Mili,Senta Fowler Chmiel,Ravi Gottumukkala,Lisa Zhang,An integrated cost model for software reuse.
• Jon Whittle,Johann Schumann,Generating statechart designs from scenarios.
• Idit Keidar,Roger Khazan,Nancy A. Lynch,Alexander A. Shvartsman,An inheritance-based technique for building simulation proofs incrementally.
• Eduardo Miranda,An evaluation of the paired comparisons method for software sizing.
• Axel van Lamsweerde,Requirements engineering in the year 00: a research perspective.
• Klaus Schmid,Ulrike Becker-Kornstaedt,Peter Knauber,Florian Bernauer,Introducng a software modeling concept in a medium-sized company.
• Stan Rifkin,When the project absolutely must get done: marrying the organization chart with the precedence diagram.
• Amir Michail,Data mining library reuse patterns using generalized association rules.
• David Leon,Andy Podgurski,Lee J. White,Multivariate visualization in observation-based testing.
• Antony Bryant,It's engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem?
• James Hayes,William G. Griswold,Stuart Moskovics,Component design of retargetable program analysis tools that reuse intermediate representations.
• James C. Corbett,Matthew B. Dwyer,John Hatcliff,Shawn Laubach,Corina S. Pasareanu,Robby,Hongjun Zheng,Bandera: extracting finite-state models from Java source code.
• Tetsuto Nishiyama,Kunihiko Ikeda,Toru Niwa,Technology transfer macro-process: a practical guide for the effective introduction of technology.
• Osamu Mizuno,Tohru Kikuno,Yasunari Takagi,Keishi Sakamoto,Characterization of risky projects based on project managers' evaluation.
• Michael D. Ernst,Adam Czeisler,William G. Griswold,David Notkin,Quickly detecting relevant program invariants.
• Maurizio Morisio,Carolyn B. Seaman,Amy T. Parra,Victor R. Basili,Steve E. Kraft,Steven E. Condon,Investigating and improving a COTS-based software development.
• Marek Leszak,Dewayne E. Perry,Dieter Stoll,A case study in root cause defect analysis.
• Patrick d'Astous,Pierre N. Robillard,Characterizing implicit information during peer review meetings.
• Antonia Bertolino,Flavio Corradini,Paola Inverardi,Henry Muccini,Deriving test plans from architectural descriptions.
• Roy T. Fielding,Richard N. Taylor,Principled design of the modern Web architecture.
• Jan Gerben Wijnstra,Supporting diversity with component frameworks as architectural elements.
• Anke Drappa,Jochen Ludewig,Simulation in software engineering training.
• Yvan Labiche,Pascale Thévenod-Fosse,Hélène Waeselynck,M.-H. Durand,Testing levels for object-oriented software.
• Karlheinz Kautz,Henrik Westergaard Hansen,Kim Thaysen,Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise.
• Seán Baker,The making of Orbix and the iPortal suite.
• Karen J. Rothermel,Curtis R. Cook,Margaret M. Burnett,Justin Schonfeld,Thomas R. G. Green,Gregg Rothermel,WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation.
• W. Richards Adroin,Developing and deploying software engineering courseware in an adaptable curriculum framework.
• Rajeev Alur,Kousha Etessami,Mihalis Yannakakis,Inference of message sequence charts.
• Antonio Caliò,Massimo Autiero,Giuseppe Bux,Software process improvement by object technology (ESSI PIE 27785 -- SPOT).
• Andreas Rausch,Software evolution in componentware using requirements/assurances contracts.
• Lionel C. Briand,Tristen Langley,Isabella Wieczorek,A replicated assessment and comparison of common software cost modeling techniques.
• Wolfgang Emmerich,Cecilia Mascolo,Anthony Finkelstein,Implementing incremental code migration with XML.
• Donglin Liang,Mary Jean Harrold,Light-weight context recovery for efficient and accurate program analyses.
• Frank Titze,Improvement of a configuration management system.
• Yusuf Pisan,Extending requirement specifications using analogy.

1999

• Kenneth M. Anderson,Supporting Industrial Hyperwebs: Lessons in Scalability.
• Saïda Benlarbi,Walcélio L. Melo,Polymorphism Measures for Early Risk Prediction.
• David J. Kasik,Conrad E. Kimball,Jimmie L. Felt,Kenneth B. Frazier,A Flexible Approach to Alliances of Complex Applications.
• William Chan,Richard J. Anderson,Paul Beame,David H. Jones,David Notkin,William E. Warner,Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
• Robert J. Walker,Elisa L. A. Baniassad,Gail C. Murphy,An Initial Assessment of Aspect-Oriented Programming.
• Zhe Dang,Richard A. Kemmerer,Using the ASTRAL Model Checker to Analyze Mobile IP.
• Lionel C. Briand,Jürgen Wüst,Stefan V. Ikonomovski,Hakim Lounis,Investigating Quality Factors in Object-Oriented Designs: An Industrial Case Study.
• David R. Barstow,Baseball Seasons and Dog Years.
• Kevin J. Sullivan,John C. Knight,Xing Du,Steve Geist,Information Survivability Control Systems.
• Nenad Medvidovic,David S. Rosenblum,Richard N. Taylor,A Language and Environment for Architecture-Based Software Development and Evolution.
• Lydie du Bousquet,Farid Ouabdesselam,Jean-Luc Richier,Nicolas Zuanon,Lutess: A Specification-Driven Testing Environment for Synchronous Software.
• Neil Roodyn,Wolfgang Emmerich,An Architectural Style for Multiple Real-Time Data Feeds.
• David S. Keyes,Laura K. Dillon,Moon-Jung Chung,Analysis of a Scheduler for a CAD Framework.
• Mike Mannion,Hermann Kaindl,Joe Wheadon,Reusing Single System Requirements from Application Family Requirements.
• Gerard J. Holzmann,Margaret H. Smith,A Practical Method for Verifying Event-Driven Software.
• Gerald C. Gannod,Betty H. C. Cheng,A Specification Matching Based Approach to Reverse Engineering.
• Ivan T. Bowman,Richard C. Holt,Neil V. Brewster,Linux as a Case Study: Its Extracted Software Architecture.
• Jan Bosch,Product-Line Architectures in Industry: A Case Study.
• Amir Michail,David Notkin,Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.
• Jean-Marc DeBaud,Klaus Schmid,A Systematic Approach to Derive the Scope of Software Product Lines.
• Oliver Laitenberger,Colin Atkinson,Generalizing Perspective-Based Inspection to Handle Object-Oriented Development Artifacts.
• Premkumar T. Devanbu,Yih-Farn Chen,Emden R. Gansner,Hausi A. Müller,Johannes Martin,CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments.
• Matthew B. Dwyer,George S. Avrunin,James C. Corbett,Patterns in Property Specifications for Finite-State Verification.
• Lionel C. Briand,Khaled El Emam,Dagmar Surmann,Isabella Wieczorek,Katrina Maxwell,An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques.
• Giulio Fregonese,Alessandro Zorer,Giovanni Cortese,Architectural Framework Modeling in Telecommunication Domain.
• Christina Pavlopoulou,Michal Young,Residual Test Coverage Monitoring.
• James D. Herbsleb,Rebecca E. Grinter,Splitting the Organization and Integrating the Code: Conway's Law Revisited.
• Daniel Jackson,Allison Waingold,Lightweight Extraction of Object Models from Bytecode.
• Rudolf K. Keller,Reinhard Schauer,Sébastien Robitaille,Patrick Pagé,Pattern-Based Reverse-Engineering of Design Components.
• PerOlof Bengtsson,Jan Bosch,Haemo Dialysis Software Architecture Design Experiences.
• Ophir Holder,Israel Ben-Shaul,Hovav Gazit,Dynamic Layout of Distributed Applications in FarGo.
• Lionel C. Briand,Khaled El Emam,Isabella Wieczorek,Explaining the Cost of European Space and Military Projects.
• Mark Woodman,Robert Griffiths,Malcolm Macgregor,Simon Holland,Hugh Robinson,Exploiting Smalltalk Modules in a Customizable Programming Environment.
• Gregory D. Abowd,Software Engineering Issues for Ibiquitous Computing.
• Daniil Yakimovich,James M. Bieman,Victor R. Basili,Software Architecture Classification for Estimating the Cost of COTS Integration.
• Jyh-Shiarn Yur,Barbara G. Ryder,William Landi,An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
• Akira Nishimatsu,Minoru Jihira,Shinji Kusumoto,Katsuro Inoue,Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice.
• Atif M. Memon,Martha E. Pollack,Mary Lou Soffa,Using a Goal-Driven Approach to Generate Test Cases for GUIs.
• Alexander Borgida,Premkumar T. Devanbu,Adding more ``DL'' to IDL: Towards More Knowledgeable Component Inter-Operability.
• Saurabh Sinha,Mary Jean Harrold,Gregg Rothermel,System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.
• Siddhartha R. Dalal,Ashish Jain,Nachimuthu Karunanithi,J. M. Leaton,Christopher M. Lott,Gardner C. Patton,Bruce M. Horowitz,Model-Based Testing in Practice.
• Rick Kazman,Mario Barbacci,Mark Klein,S. Jeromy Carrière,Steven G. Woods,Experience with Performing Architecture Tradeoff Analysis.
• Richard S. Hall,Dennis Heimbigner,Alexander L. Wolf,A Cooperative Approach to Support Software Deployment Using the Software Dock.
• Elisabetta Di Nitto,David S. Rosenblum,Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures.
• Michael D. Ernst,Jake Cockrell,William G. Griswold,David Notkin,Dynamically Discovering Likely Program Invariants to Support Program Evolution.
• Jonathan E. Cook,Jeffrey A. Dage,Highly Reliable Upgrading of Components.
• Peri L. Tarr,Harold Ossher,William H. Harrison,Stanley M. Sutton Jr.,N Degrees of Separation: Multi-Dimensional Separation of Concerns.
• Yasuyuki Tahara,Akihiko Ohsuga,Shinichi Honiden,Agent System Development Method Based on Agent Patterns.
• Katsuhisa Maruyama,Kenichi Shima,Automatic Method Refactoring Using Weighted Dependence Graphs.
• Alastair Reid,John Peterson,Gregory D. Hager,Paul Hudak,Prototyping Real-Time Vision Systems: An Experiment in DSL Design.
• Mireille Ducassé,Coca: An automated Debugger for C.
• Gleb Naumovich,George S. Avrunin,Lori A. Clarke,Data Flow Analysis for Checking Properties of Concurrent Java Programs.
• Robert DeLine,Avoiding Packaging Mismatch with Flexible Packaging.
• Arie van Deursen,Tobias Kuipers,Identifying Objects Using Cluster and Concept Analysis.
• David L. Atkins,Thomas Ball,Todd L. Graves,Audris Mockus,Using Version Control Data to Evaluate the Impact of Software Tools.
• Eric M. Dashofy,Nenad Medvidovic,Richard N. Taylor,Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures.
• Gian Pietro Picco,Amy L. Murphy,Gruia-Catalin Roman,LIME: Linda Meets Mobility.

1998

• Peri L. Tarr,Lori A. Clarke,Consistency Management for Complex Applications.
• Volker Gruhn,Monika Schneider,Workflow Management Based on Process Model Repositories.
• Annie I. Antón,Colin Potts,The Use of Goals to Surface Requirements for Evolving Systems.
• Pankaj Jalote,M. Haragopal,Overcoming the NAH Syndrome for Inspection Deployment.
• Susan Elliott Sim,Richard C. Holt,The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize.
• Osamu Mizuno,Tohru Kikuno,Katsumi Inagaki,Yasunari Takagi,Keishi Sakamoto,Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity.
• Lionel C. Briand,Khaled El Emam,Oliver Laitenberger,Thomas Fussbroich,Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects.
• Noriko Hanakawa,Shuji Morisaki,Ken-ichi Matsumoto,A Learning Curve Based Simulation Model for Software Development.
• Savitha Srinivasan,John Vergo,Object Oriented Reuse: Experience in Developing a Framework for Speech Recognition Applications.
• Claes Wohlin,Per Runeson,Defect Content Estimations from Review Data.
• Martin Höst,Claes Wohlin,An Experimental Study of Individual Subjective Effort Estimations and Combinations of the Estimates.
• Tyng-Ruey Chuang,Y. S. Kuo,Chien-Min Wang,Non-Intrusive Object Introspection in C++: Architecture and Application.
• Mikio Aoyama,Agile Software Process and Its Experience.
• Grégory Duval,Specification and Verification of an Object Request Broker.
• Joseph Gil,Stuart Kent,Three Dimensional Software Modeling.
• Rajesh Mascarenhas,Dinkar Karumuri,Ugo A. Buy,Robert V. Kenyon,Modeling and Analysis of a Virtual Reality System with Time Petri Nets.
• Jean-Marc Jézéquel,Reifying Configuration Management for Object-Oriented Software.
• Gregg Rothermel,Lixin Li,Christopher DuPuis,Margaret M. Burnett,What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs.
• Lionel C. Briand,Khaled El Emam,Frank Bomarius,COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment.
• Tommi Mikkonen,Formalizing Design Patterns.
• Pierre N. Robillard,Patrick d'Astous,Françoise Détienne,Willemien Visser,Measuring Cognitive Activities in Software Engineering.
• Edwin C. Chan,John Boyland,William L. Scherlis,Promises: Limited Specifications for Analysis and Manipulation.
• Mario Baldi,Gian Pietro Picco,Evaluating the Tradeoffs of Mobile Code Design Paradigms in Network Management Applications.
• Axel van Lamsweerde,Emmanuel Letier,Integrating Obstacles in Goal-Driven Requirements Engineering.
• Eric K. McCall,Lori A. Clarke,Leon J. Osterweil,An Adaptable Generation Approach to Agenda Management.
• Peyman Oreizy,Nenad Medvidovic,Richard N. Taylor,Architecture-Based Runtime Software Evolution.
• Jason E. Robbins,Nenad Medvidovic,David F. Redmiles,Integrating Architecture Description Languages with a Standard Design Method.
• James D. Herbsleb,Rebecca E. Grinter,Conceptual Simplicity Meets Organizational Complexity: Case Study of a Corporate Metrics Program.
• Gianpaolo Cugola,Elisabetta Di Nitto,Alfonso Fuggetta,Exploiting an Event-Based Infrastructure to Develop Complex Distributed Systems.
• Dewayne E. Perry,Harvey P. Siy,Lawrence G. Votta,Parallel Changes in Large Scale Software Development: An Observational Case Study.
• Bruno d'Ausbourg,Christel Seguin,Guy Durrieu,Pierre Roché,Helping the Automated Validation Process of User Interfaces Systems.
• Rudolf K. Keller,Reinhard Schauer,Design Components: Towards Software Composition at the Design Level.
• Premkumar T. Devanbu,Philip W. L. Fong,Stuart G. Stubblebine,Techniques for Trusted Software Engineering.
• Todd L. Graves,Mary Jean Harrold,Jung-Min Kim,Adam A. Porter,Gregg Rothermel,An Empirical Study of Regression Test Selection Techniques.
• Mary Jean Harrold,Ning Ci,Reuse-Driven Interprocedural Slicing.
• Nicolas Anquetil,Timothy Lethbridge,Extracting Concepts from File Names: A New File Clustering Criterion.
• Brendan P. Mahony,Jin Song Dong,Blending Object-Z and Timed CSP: An Introduction to TCOZ.
• Volker Gruhn,Juri Urbainczyk,Software Process Modeling and Enactment: An Experience Report Related to Problem Tracking in an Industrial Project.
• David M. Hilbert,David F. Redmiles,An Approach to Large-Scale Collection of Application Usage Data Over the Internet.
• Elisa L. A. Baniassad,Gail C. Murphy,Conceptual Module Querying for Software Reengineering.
• Keishi Sakamoto,Kumiyo Nakakoji,Yasunari Takagi,Naoki Niihara,Toward Computational Support for Software Process Improvement Activities.

1997

• Victor R. Basili,Steven E. Condon,Khaled El Emam,Robert B. Hendrick,Walcélio L. Melo,Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components.
• Theodore Hammer,Linda H. Rosenberg,Lenore Huffman,Lawrence E. Hyatt,Measuring Requirements Testing.
• Rodion M. Podorozhny,Leon J. Osterweil,The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.
• Carolyn B. Seaman,Victor R. Basili,An Empirical Study of Communication in Code Inspections.
• David S. Wile,Abstract Syntax from Concrete Syntax.
• Jyh-Shiarn Yur,Barbara G. Ryder,William Landi,Phil Stocks,Incremental Analysis of Side Effects for C Software System.
• Lalita Jategaonkar Jagadeesan,Adam A. Porter,Carlos Puchol,J. Christopher Ramming,Lawrence G. Votta,Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).
• Kevin J. Sullivan,John Socha,Mark Marchukov,Using Formal Methods to Reason about Architectural Standards.
• Luciano Baresi,Alessandro Orso,Mauro Pezzè,Introducing Formal Specification Methods in Industrial Practice.
• Mauro Pezzè,Michal Young,Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.
• Cristina Cifuentes,Anne Fitzgerald,Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case.
• Phyllis G. Frankl,Richard G. Hamlet,Bev Littlewood,Lorenzo Strigini,Choosing a Testing Method to Deliver Reliability.
• T. C. Nicholas Graham,Tore Urnes,Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces.
• Kazuyuki Shima,Shingo Takada,Ken-ichi Matsumoto,Koji Torii,A Study on the Failure Intensity of Different Software Faults.
• I. S. Dunietz,Willa K. Ehrlich,B. D. Szablak,Colin L. Mallows,Anthony Iannino,Applying Design of Experiments to Software Testing (Experience Report).
• Flavio Bonfatti,Gianni Gadda,Paola Daniela Monari,An Improved Process for the Development of PLC Software (Experience Report).
• George S. Avrunin,James C. Corbett,Laura K. Dillon,Analyzing Partially-Implemented Real-Time Systems.
• Enoch Y. Wang,Heather A. Richter,Betty H. C. Cheng,Formalizing and Integrating the Dynamic Model within OMT.
• Alexander S. Yeh,David R. Harris,Melissa P. Chase,Manipulating Recovered Software Architecture Views.
• Minh Ngoc Nguyen,Alf Inge Wang,Reidar Conradi,Total Software Process Model Evolution in EPOS (Experience Report).
• Viktor Friesen,Stefan Jähnichen,Matthias Weber,Specification of Software Controlling a Discrete-Continuous Environment.
• Robert O'Callahan,Daniel Jackson,Lackwit: A Program Understanding Tool Based on Type Inference.
• Robert DeLine,Gregory Zelesnik,Mary Shaw,Lessons on Converting Batch Systems to Support Interaction (Experience Report).
• Gail E. Kaiser,Stephen E. Dossick,Wenyu Jiang,Jack Jingshuang Yang,An Architecture for WWW-based Hypercode Environments.
• William M. Wilson,Linda H. Rosenberg,Lawrence E. Hyatt,Automated Analysis of Requirement Specifications.
• Paolo Tonella,Giuliano Antoniol,Roberto Fiutem,Ettore Merlo,Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing.
• Maurizio Pighin,Roberto Zamolo,A Predictive Metric Based on Discriminant Statistical Analysis.
• Gregor Kiczales,John Lamping,Cristina Videira Lopes,Chris Maeda,Anurag Mendhekar,Gail C. Murphy,Open Implementation Design Guidelines.
• Jo Ann Lane,David Zubrow,Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report).
• Jon Damon Reese,Nancy G. Leveson,Software Deviation Analysis.
• Andy Podgurski,Elaine J. Weyuker,Re-estimation of Software Reliability After Maintenance.
• Philip M. Johnson,Danu Tjahjono,Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS.
• Garry Froehlich,H. James Hoover,Ling Liu,Paul G. Sorenson,Hooking into Object-Oriented Application Frameworks.
• Dean F. Jerding,John T. Stasko,Thomas Ball,Visualizing Interactions in Program Executions.
• Leon J. Osterweil,Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9.
• Shinji Kusumoto,Osamu Mizuno,Tohru Kikuno,Yuji Hirayama,Yasunari Takagi,Keishi Sakamoto,A New Software Project Simulator Based on Generalized Stochastic Petri-net.
• Adam A. Porter,Harvey P. Siy,Lawrence G. Votta,Understanding the Effects of Developer Activities on Inspection Interval.
• Christian Lindig,Gregor Snelting,Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis.
• James Perpich,Dewayne E. Perry,Adam A. Porter,Lawrence G. Votta,Michael W. Wade,Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development.
• June M. Verner,Narciso Cerpa,The Effect of Department Size on Developer Attitudes to Prototyping.
• Bernd Brügge,Allen H. Dutoit,Communication Metrics for Software Development.
• William N. Robinson,Vecheslav Volkov,A Meta-Model for Restructuring Stakeholder Requirements.
• Rajeev Alur,Lalita Jategaonkar Jagadeesan,Joseph J. Kott,James Von Olnhausen,Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
• J.-P. Jacquot,D. Quesnot,Early Specification of User-Interfaces: Toward a Formal Approach.
• Mary F. Fernandez,Norman Ramsey,Automatic Checking of Instruction Specifications.
• Shin Nakajima,Kokichi Futatsugi,An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.
• Gilles Bernot,Laurent Bouaziz,Pascale Le Gall,A Theory of Probabilistic Functional Testing.
• Michael Stein,John Riedl,Sören J. Harner,Vahid Mashayekhi,A Case Study of Distributed, Asynchronous Software Inspection.
• Antonio Carzaniga,Gian Pietro Picco,Giovanni Vigna,Designing Distributed Applications with Mobile Code Paradigms.
• Lionel C. Briand,Premkumar T. Devanbu,Walcélio L. Melo,An Investigation into Coupling Measures for C++.

1996

• Gail C. Murphy,David Notkin,Erica S.-C. Lan,An Empirical Study of Static Call Graph Extractors.
• Jean Mayrand,François Coallier,System Acquisition Based on Software Product Assessment.
• Nancy S. Eickelmann,Debra J. Richardson,An Evaluation of Software Test Environment Architectures.
• Victor R. Basili,Lionel C. Briand,Steven E. Condon,Yong-Mi Kim,Walcélio L. Melo,Jon D. Valett,Understanding and Predicting the Process of Software Maintenance Release.
• Steven P. Reiss,Simplifying Data Integration: The Design of the Desert Software Development Environment.
• Naftaly H. Minsky,Independent On-Line Monitoring of Evolving Systems.
• Victor R. Basili,The Role of Experimentation in Software Engineering: Past, Current, and Future.
• Andreas Zamperoni,GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering.
• Krishna Kishore Dhara,Gary T. Leavens,Forcing Behavioral Subtyping through Specification Inheritance.
• Flavio De Paoli,Andrea Sosio,Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction.
• Aki Watanabe,Ken Sakamura,A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.
• Raymond J. Madachy,System Dynamics Modeling of an Inspection-Based Process.
• Kent Beck,James Coplien,Ron Crocker,Lutz Dominick,Gerard Meszaros,Frances Paulisch,John M. Vlissides,Industrial Experience with Design Patterns.
• Martina Marré,Antonia Bertolino,Reducing and Estimating the Cost of Test Coverage Criteria.
• Georg Heidenreich,Mark Minas,Detlef Kips,A New Approach to Consistency Control in Software Engineering.
• Hideto Ogasawara,Atsushi Yamada,Michiko Kojo,Experiences of Software Quality Management Using Metrics through the Life-Cycle.
• Richard B. Kieburtz,Laura McKinney,Jeffrey M. Bell,James Hook,Alex Kotov,Jeffrey Lewis,Dino Oliva,Tim Sheard,Ira Smith,Lisa Walton,A Software Engineering Experiment in Software Component Generation.
• Darren C. Atkinson,William G. Griswold,The Design of Whole-Program Analysis Tools.
• Peter Heimann,Gregor Joeris,Carl-Arndt Krapp,Bernhard Westfechtel,DYNAMITE: Dynamic Task Nets for Software Process Management.
• Brian Mitchell,Steven J. Zeil,A Reliability Model Combining Representative and Directed Testing.
• Si Pan,R. Geoff Dromey,Beyond Structured Programming.
• Evelyn Duesterwald,Rajiv Gupta,Mary Lou Soffa,A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.
• István Forgács,An Exact Array Reference Analysis for Data Flow Testing.
• R. Mark Greenwood,Brian Warboys,Jin Sa,Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software Systems.
• Kurt Schneider,Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes.
• T. C. Nicholas Graham,Tore Urnes,Linguistic Support for the Evolutionary Design of Software Architectures.
• Matthew B. Dwyer,Lori A. Clarke,A Flexible Architecture for Building Data Flow Analyzers.
• Premkumar T. Devanbu,Sakke Karstu,Walcélio L. Melo,William Thomas,Analytical and Empirical Evaluation of Software Reuse Metrics.
• Gruia-Catalin Roman,Peter J. McCann,Jerome Y. Plun,Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
• Steven G. Woods,Qiang Yang,The Program Understanding Problem: Analysis and a Heuristic Approach.
• André van der Hoek,Dennis Heimbigner,Alexander L. Wolf,A Generic, Peer-to-Peer Repository for Distributed Configuration Management.
• Loren Larsen,Mary Jean Harrold,Slicing Object-Oriented Software.
• Yves Ledru,Using KIDS as a Tool Support for VDM.
• Kai Koskimies,Hanspeter Mössenböck,Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs.
• Bogdan Korel,Ali M. Al-Yami,Assertion-Oriented Automated Test Data Generation.
• Xiaoqing Frank Liu,John Yen,An Analytic Framework for Specifying and Analyzing Imprecise Requirements.
• Scott Henninger,Supporting the Construction and Evolution of Component Repositories.
• Stefan Biffl,Thomas Grechenig,Stephan Oberpfalzer,Engineering an "Open" Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report.
• Johnson M. Hart,Antonio Pizzarello,A Scalable, Automated Process for Year 2000 System Correction.
• Jyrki Kontio,A Case Study in Applying a Systematic Method for COTS Selection.
• Kevin J. Sullivan,John C. Knight,Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.
• Dirk Bäumer,Walter R. Bischofberger,Horst Lichter,Heinz Züllighoven,User Interface Prototyping - Concepts, Tools, and Experience.
• Alexander W. van der Vekens,An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test.
• Mohlalefi Sefika,Aamod Sane,Roy H. Campbell,Monitoring Compliance of a Software System with Its High-Level Design Models.
• Shing-Chi Cheung,Jeff Kramer,Checking Subsystem Safety Properties in Compositional Reachability Analysis.
• Hermann Kaindl,How to Identify Binary Relations for Domain Models.
• James D. Herbsleb,Dennis Goldenson,A Systematic Survey of CMM Experience and Results.
• Denis Avrilionis,Pierre-Yves Cunin,Christer Fernström,OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse.
• David Harel,Eran Gery,Executable Object Modeling with Statecharts.
• Claude Godart,Gérôme Canals,François Charoy,Pascal Molli,Hala Skaf,Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned.
• Martin J. Shepperd,Chris Schofield,Barbara Kitchenham,Effort Estimation Using Analogy.
• Yi-Jing Lin,Steven P. Reiss,Configuration Management with Logical Structures.
• Mark J. Maybee,Dennis Heimbigner,Leon J. Osterweil,Multilanguage Interoperability in Distributed Systems.

1995

• Barry W. Boehm,Prasanta K. Bose,Ellis Horowitz,Ming June Lee,Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach.
• Toshifumi Tanaka,Keishi Sakamoto,Shinji Kusumoto,Ken-ichi Matsumoto,Tohru Kikuno,Improvement of Software Process by Process Description and Benefit Estimation.
• Fabiano Cattaneo,Alfonso Fuggetta,Luigi Lavazza,An Experience in Process Assessment.
• David Garlan,Robert Allen,John Ockerbloom,Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts.
• Kyo Chul Kang,Kwang-Il Ko,PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method.
• Matthew B. Dwyer,Lori A. Clarke,Kari A. Nies,A Compact Petri Net Representation for Concurrent Programs.
• Gianpaolo Cugola,Elisabetta Di Nitto,Carlo Ghezzi,M. Mantione,How to Deal With Deviations During Process Model Enactment.
• Susan Rosenbaum,Bertrand du Castel,Managing Software Reuse - An Experience Report.
• Lionel C. Briand,Walcélio L. Melo,Carolyn B. Seaman,Victor R. Basili,Characterizing and Assessing a Large-Scale Software Maintenance Organization.
• Mark A. Ardis,John A. Chaves,Lalita Jategaonkar Jagadeesan,Peter Mataga,Carlos Puchol,Mark G. Staskauskas,James Von Olnhausen,A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
• Jonathan E. Cook,Alexander L. Wolf,Automating Process Discovery Through Event-Data Analysis.
• Mats Per Erik Heimdahl,Nancy G. Leveson,Completeness and Consistency Analysis of State-Based Requirements.
• Naser S. Barghouti,Balachander Krishnamurthy,Using Event Contexts and Matching Constraints to Monitor Software Processes.
• Ryszard Janicki,Towards a Formal Semantics of Parnas Tables.
• Michael Jackson,Pamela Zave,Deriving Specifications from Requirements: An Example.
• Michael Jackson,The World and the Machine.
• Bob Gautier,Chris W. Loftus,Edel Sherratt,Lynda Thomas,Tool Integration: Experiences and Directions.
• Lawrence Chung,Brian A. Nixon,Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach.
• Craig Chambers,Jeffrey Dean,David Grove,A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies.
• Ulf Leonhardt,Jeff Kramer,Bashar Nuseibeh,Decentralised Process Enactment in a Multi-Perspective Development Environment.
• Jacqueline Floch,Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator.
• George T. Heineman,Gail E. Kaiser,An Architecture for Integrating Concurrency Control into Environment Frameworks.
• Antonia Bertolino,Lorenzo Strigini,Using Testability Measures for Dependability Assessment.
• Duncan Clarke,Insup Lee,Testing Real-Time Constraints in a Process Algebraic Setting.
• Scott Henninger,Kris Lappala,Anand Raghavendran,An Organizational Learning Approach to Domain Analysis.
• Dilip Soni,Robert L. Nord,Christine Hofmeister,Software Architecture in Industrial Applications.
• W. Eric Wong,Joseph Robert Horgan,Saul London,Aditya P. Mathur,Effect of Test Set Minimization on Fault Detection Effectiveness.
• Richard N. Taylor,Nenad Medvidovic,Kenneth M. Anderson,E. James Whitehead Jr.,Jason E. Robbins,A Component- and Message-Based Architectural Style for GUI Software.
• David R. Harris,Howard B. Reubenstein,Alexander S. Yeh,Reverse Engineering to the Architectural Level.

1994

• Yih-Farn Chen,David S. Rosenblum,Kiem-Phong Vo,TestTube: A System for Selective Regression Testing.
• Maren Krone,Gregor Snelting,On the Inference of Configuration Structures from Source Code.
• Adam A. Porter,Lawrence G. Votta,An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections.
• Sol J. Greenspan,John Mylopoulos,Alexander Borgida,On Formal Requirements Modeling Languages: RML Revisited.
• Gregg Rothermel,Mary Jean Harrold,A Framework for Evaluating Regression Test Selection Techniques.
• Tullio Vardanega,Experience with the Development of Hard Real-Time Embedded Ada Software.
• Jeff Kramer,Distributed Software Engineering.
• Monica Hutchins,Herbert Foster,Tarak Goradia,Thomas J. Ostrand,Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria.
• Philip M. Johnson,An Instrumented Approach to Improving Software Quality Through Formal Technical Review.
• Premkumar T. Devanbu,Mark A. Jones,The Use of Description Logics in KBSE Systems: Experience Report.
• H. Rebecca Callison,A Periodic Object Model for Real-Time Systems.
• Y. Takada,Ken-ichi Matsumoto,Koji Torii,A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process.
• Israel Ben-Shaul,Gail E. Kaiser,A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment.
• Shing-Chi Cheung,Jeff Kramer,An Integrated Method for Effective Behaviour Analysis of Distributed Systems.
• David Lorge Parnas,Software Aging.
• Rick Kazman,Leonard J. Bass,Mike Webb,Gregory D. Abowd,SAAM: A Method for Analyzing the Properties of Software Architectures.
• Marla J. Baker,Stephen G. Eick,Visualizing Software Systems.
• Eric S. K. Yu,John Mylopoulos,Understanding "Why" in Software Process Modelling, Analysis, and Design.
• Ali Mili,Rym Mili,Roland Mittermeir,Storing and Retrieving Software Components: A Refinement Based System.
• Premkumar T. Devanbu,David S. Rosenblum,Alexander L. Wolf,Automated Construction of Testing and Analysis Tools.
• Pankaj K. Garg,Peiwei Mi,Thuan Pham,Walt Scacchi,Gary Thunquest,The SMART Approach for Software Process Engineering.
• Keiichi Yasumoto,Teruo Higashino,Kenichi Taniguchi,Software Process Description Using LOTOS and Its Enaction.
• John A. Keane,Walter Hussak,A Formal Approach to Determining Parallel Resource Bindings: Experience Report.
• Mark A. Ardis,Lessons from Using Basic LOTOS.
• Judith G. Brodman,Donna L. Johnson,What Small Business and Small Organizations Say About the CMM: Experience Report.
• G. Deshmukh,R. Deshpande,James F. Leathrum,K. A. Liburdy,The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report.
• Albert Johnson,Software Process Improvement Experience in the DP/MIS Function: Experience Report.
• Robert J. Allen,David Garlan,Formalizing Architectural Connection.
• Anneliese von Mayrhauser,A. Marie Vans,Comprehension Processes During Large Scale Maintenance.

1993

• A. Jefferson Offutt,Gregg Rothermel,Christian Zapf,An Experimental Evaluation of Selective Mutation.
• Rudolf K. Keller,Richard Lajoie,Nazim H. Madhavji,Tilmann F. W. Bruckhaus,Kamel Toubache,Won-Kook Hong,Khaled El Emam,A Comprehensive Process Model for Studying Software Process Papers.
• Lionel C. Briand,William M. Thomas,Christopher J. Hetmanski,Modeling and Managing Risk Early in Software Development.
• Michael F. Kleyn,James C. Browne,A High Level Language for Specifying Graph Based Languages and Their Programming Environments.
• Kuo-Chung Tai,Predicate-Based Test Generation for Computer Programs.
• Michael F. Dunn,John C. Knight,Automating the Detection of Reusable Parts in Existing Software.
• Phil Stocks,David A. Carrington,Test Templates: A Specification-Based Testing Framework.
• Guillermo Arango,Eric Schoen,Robert Pettengill,Josiah C. Hoskins,The Graft-Host Method for Design Change.
• Stephen B. Ornburn,Richard J. LeBlanc,Building, Modifying and Using Component Generators.
• Mitchell D. Lubars,Colin Potts,Charles Richter,Developing Initial OOA Models.
• Richard C. Linger,Cleanroom Software Engineering for Zero-Defect Software.
• Richard G. Hamlet,Bruce Gifford,Borislav Nikolik,Exploring Dataflow Testing of Arrays.
• Phyllis G. Frankl,Elaine J. Weyuker,An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques.
• Marvin V. Zelkowitz,Use of an Environment Classification Model.
• Howard A. Rubin,Software Process Maturity: Measuring Its Impact on Productivity and Quality.
• Farokh B. Bastani,Giuseppe DiMarco,Alberto Pasquini,Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation.
• Siddhartha R. Dalal,Joseph R. Horgan,Jon R. Kettenring,Reliable Software and Communication: Software Quality, Reliability, and Safety.
• Marty Sirkin,Don S. Batory,Vivek Singhal,Software Components in a Data Structure Precompiler.
• Clement L. McGowan,Shawn A. Bohner,Model Based Process Assessments.
• Susan L. Gerhart,Dan Craigen,Ted Ralston,Observations on Industrial Practice Using Formal Methods.
• Helen M. Edwards,Malcolm Munro,RECAST: Reverse Engineering from COBOL to SSADM Specification.
• Ted J. Biggerstaff,Bharat G. Mitbander,Dallas E. Webster,The Concept Assignment Problem in Program Understanding.
• David H. Kitson,Stephen M. Masters,An Analysis of SEI Software Process Assessment Results: 1987-1991.
• Tetsuo Tamai,Akito Itou,Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking.
• Inderpal S. Bhandari,Norman Roth,Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation.
• Arun Lakhotia,Rule-Based Approach to Computing Module Cohesion.
• Harvey Wohlwend,Susan Rosenbaum,Software Improvements in an International Company.
• José M. Drake,W. W. Xie,Wei-Tek Tsai,Imran A. Zualkernan,Approach and Case Study of Requirement Analysis Where End Users Take an Active Role.
• Sergio Bandinelli,Alfonso Fuggetta,Computational Reflection in Software Process Modeling: The SLANG Approach.
• Guillermo Arango,Eric Schoen,Robert Pettengill,A Process for Consolidating and Reusing Design Knowledge.
• David Garlan,Curtis Scott,Adding Implicit Invocation to Rraditional Programming Languages.
• Robert J. Hall,Generalized Behavior-Based Retrieval.
• Janusz W. Laski,Wojciech Szermer,Piotr Luczycki,Dynamic Mutation Testing in Integrated Regression Analysis.
• Bashar Nuseibeh,Jeff Kramer,Anthony Finkelstein,Expressing the Relationships Between Multiple Views in Requirements Specification.
• Alexander Borgida,John Mylopoulos,Raymond Reiter,"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.
• Pierre-Jacques Courtois,David Lorge Parnas,Documentation for Safety Critical Software.
• Peri L. Tarr,Stanley M. Sutton Jr.,Programming Heterogeneous Transactions for Software Development Environments.
• Sougata Mukherjea,John T. Stasko,Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding.
• Hasan Ural,Bo Yang,Modeling Software for Accurate Data Flow Representation.
• Gail E. Kaiser,Steven S. Popovich,Israel Ben-Shaul,A Bi-Level Language for Software Process Modeling.
• Horst Lichter,Matthias Schneider-Hufschmidt,Heinz Züllighoven,Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice.
• Alan W. Brown,An Examination of the Current State of IPSE Technology.
• Yabo Wang,David Lorge Parnas,Simulating the Behaviour of Software Modules by Trace Rewriting.
• Paul Piwowarski,Mitsuru Ohba,Joseph M. Caruso,Coverage Measurement Experience During Function Test.
• Jon Beck,David Eichmann,Program and Interface Slicing for Reverse Engineering.
• Mark G. Bradac,Dewayne E. Perry,Lawrence G. Votta,Prototyping a Process Monitoring Experiment.

1992

• Gruia-Catalin Roman,Rose F. Gamble,William E. Ball,Seeking Concurrency in Rule-Based Programming.
• Burkhard Peuschel,Wilhelm Schäfer,Concepts and Implementation of a Rule-Based Process Engine.
• Faten H. Afifi,Lee J. White,Steven J. Zeil,Testing for Linear Errors in Nonlinear Computer Programs.
• Jean-Claude Fernandez,Hubert Garavel,Laurent Mounier,Anne Rasse,Carlos Rodriguez,Joseph Sifakis,A Toolbox for the Verification of LOTOS Programs.
• Victor R. Basili,Gianluigi Caldiera,Frank E. McGarry,Rose Pajerski,Gerald T. Page,Sharon Waligora,The Software Engineering Laboratory: An Operational Software Experience Factory.
• Trevor W. Pearce,David Alex Lamb,The Property Vector Specification of a Multiset Iterator.
• Brian W. Beach,Connecting Software Components with Declarative Glue.
• Debra J. Richardson,Stephanie Leif Aha,T. Owen O'Malley,Specification-Based Test Oracles for Reactive Systems.
• Susan Horwitz,Thomas W. Reps,The Use of Program Dependence Graphs in Software Engineering.
• Pankaj K. Garg,Sanjay Bhansali,Process Programming by Hindsight.
• Andy Podgurski,Lynn Pierce,Behavior Sampling: A Technique for Automated Retrieval of Reusable Components.
• Richard E. Fairley,Recent Advances in Software Estimation Techniques.
• Farn Wang,Aloysius K. Mok,E. Allen Emerson,Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.
• Laura K. Dillon,George Kutty,Louise E. Moser,P. M. Melliar-Smith,Y. S. Ramakrishna,Graphical Specifications for Concurrent Software Systems.
• Michio Tsuda,Yosuke Morioka,Masato Takadachi,Mayumi Takahashi,Productivity Analysis of Software Development with an Integrated CASE Tool.
• Miguel Felder,Angelo Morzenti,Validating Real-Time Systems by History-Checking TRIO Specifications.
• Mitchell D. Lubars,Greg Meredith,Colin Potts,Charles Richter,Object-Oriented Analysis for Evolving Systems.
• Neil M. Goldman,Khaled Narayanaswamy,Software Evolution through Iterative Prototyping.
• Stephen G. Eick,Clive R. Loader,M. David Long,Lawrence G. Votta,Scott A. Vander Wiel,Estimating Software Fault Content Cefore Coding.
• Mary Jean Harrold,John D. McGregor,Kevin J. Fitzpatrick,Incremental Testing of Object-Oriented Class Structures.
• Johan Margono,Thomas E. Rhoads,Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project.
• Sukesh Patel,William C. Chu,Rich Baxter,A Measure for Composite Module Cohesion.
• David S. Rosenblum,Towards a Method of Programming With Assertions.
• Mariano P. Consens,Alberto O. Mendelzon,Arthur G. Ryman,Visualizing and Querying Software Structures.
• Robert J. Hall,Call Path Profiling.
• John E. Gaffney Jr.,R. D. Cruickshank,A General Economics Model of Software Reuse.
• Sadahiro Isoda,Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results.
• Gruia-Catalin Roman,Kenneth C. Cox,Program Visualization: The Art of Mapping Programs to Pictures.
• Premkumar T. Devanbu,GENOA: A Customizable Language- and Front-End Independent Code Analyzer.
• Nancy G. Leveson,High-Pressure Steam Engines and Computer Software.
• Dines Bjørner,Trusted Computing Systems: The ProCoS Experience.

1991

• Andrew Bass,Maeve Boyle,Bryan Ratcliff,PRESTIGE: A CASE Workbench for the JSD Implementor.
• Michael F. Dunn,John C. Knight,Software Reuse in an Industrial Setting: A Case Study.
• David A. Marca,Augmenting SADT to Develop Computer Support for Cooperative Work.
• Jairus Hihn,Hamid Habib-agahi,Cost Estimation of Software Intensive Projects: A Survey of Current Practices.
• David W. Franke,Martin K. Purvis,Hardware/Software Codesign: A Perspective.
• Les Belady,David R. Barstow,Koji Torii,James M. Purtilo,Aaron Larson,Jeff Clark,A Methodology for Prototyping-in-the-Large.
• Donald Gotterbarn,Ethical Considerations in Software Engineering.
• Rudolf K. Keller,Mary Cameron,Richard N. Taylor,Dennis B. Troup,User Interface Development and Software Environments: The Chiron-1 System.
• Daniel Jackson,Aspect: An Economical Bug-Detector.
• William B. Frakes,Ted J. Biggerstaff,Rubén Prieto Díaz,Kazuo Matsumura,Wilhelm Schäfer,Software Reuse: is it delivering?
• Lillian Ruston,Michael J. Muller,Kathleen D. Cebulka,Designing Software for Use by Humans, not Machines.
• John D. Litke,Toward new Techniques to Assess the Software Implementation Process.
• Ram Chillarege,Wei-lun Kao,Richard G. Condit,Defect Type and Its Impact on the Growth Curve.
• Christian Jahl,The Information Technology Security Evaluation Criteria.
• Nazim H. Madhavji,The Prism Model of Changes.
• Raymond Jacoby,Yoshihiro Tohma,Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM).
• Michel Banâtre,Hiding Distribution in Distributed Systems.
• Gerhard Fischer,Scott Henninger,David F. Redmiles,Cognitive tools for locating and comprehending software objects for reuse.
• Richard W. Selby,Adam A. Porter,Douglas C. Schmidt,Jim Berney,Metric-Driven Analysis and Feedback Systems for Enabling Empirically Guided Software Development.
• Jintae Lee,Extending the Potts and Bruns Model for Recording Design Rationale.
• Robert W. Schwanke,An Intelligent Tool for Re-Engineering Software Modularity.
• Ronald J. Norman,Wayne Stevens,Elliot J. Chikofsky,John Jenkins,Burt L. Rubenstein,Gene Forte,CASE at the Start of the 1990's.
• Robert Balzer,Tolerating Inconsistency.
• John Hartman,Understanding Natural Programs Using Proper Decomposition.
• Watts S. Humphrey,David H. Kitson,Julia Gale,A Comparison of U.S. and Japanese Software Process Maturity.
• Joseph M. Caruso,David W. Desormeau,Integrating Prior Knowledge with a Software Reliability Growth Model.
• Michael M. Gorlick,Rami R. Razouk,Using Weaves for Software Construction and Analysis.

1990

• Murthy Ganti,Pankaj Goyal,Sunil Podar,An Object-Oriented Software Application Architecture.
• Armen Gabrielian,Matthew K. Franklin,Multi-Level Specification and Verification of Real-Time Software.
• Ataru T. Nakagawa,Kokichi Futatsugi,Software Process à la Algebra: OBJ for OBJ.
• Harald Ganzinger,Renate Schäfers,System Support for Modular Order-Sorted Horn Clause Specifications.
• W. Lewis Johnson,Martin S. Feather,Building an Evolution Transformation Library.
• William N. Robinson,Negotiation Behavior During Requirements Specification.
• Jean-Louis Giavitto,Guy Rosuel,Agnès Devarenne,Anne Mauboussin,Design Decisions for the Incremental Adage Framework.
• James D. Babcock,Laszlo A. Belady,Nancy C. Gore,The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic.
• Walter Royce,TRW's Ada Process Model for Incremental Development of Large Software Systems.
• Marilyn W. Bush,Getting Started on Metrics - JPL Productivity and Quality (Experience Report).
• Thomas Rose,Matthias Jarke,A Decision-Based Configuration Process Model.
• Christine Lafontaine,Yves Ledru,Pierre-Yves Schobbens,An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.
• Nazim H. Madhavji,Volker Gruhn,Wolfgang Deiters,Wilhelm Schäfer,Prism = Methodology + Process-oriented Environment.
• Masayuki Hirayama,Hiroyuki Sato,Atushi Yamada,Junichiro Tsuda,Practice of Quality Modeling and Measurement on Software Life-Cycle.
• Sergio Cárdenas-García,Marvin V. Zelkowitz,Evaluation Criteria for Functional Specifications.
• Premkumar T. Devanbu,Ronald J. Brachman,Peter G. Selfridge,Bruce W. Ballard,LaSSIE: a Knowledge-based Software Information System.
• Willa K. Ehrlich,John P. Stampfel,Jar R. Wu,Application of Software Reliability Modeling to Product Quality and Test Process.
• Jack C. Wileden,Alexander L. Wolf,William R. Rosenblatt,Peri L. Tarr,Specification Level Interoperability.
• H.-M. Järvinen,Reino Kurki-Suonio,Markku Sakkinen,Kari Systä,Object-Oriented Specification of Reactive Systems.
• Christine Choppy,Stéphane Kaplan,Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.
• Heinz Oswald,R. Esser,R. Mattmann,An Environment for Specifying and Executing Hierarchical Petri Nets.
• Francesco Parisi-Presicce,A Rule-Based Approach to Modular System Design.

1989

• Yutaka Nakagawa,Shuetsu Hanata,An Error Complexity Model for Software Reliability Measurement.
• Wojtek Kozaczynski,Jim Q. Ning,SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities.
• Takuya Katayama,A Hierarchical and Functional Software Process Description and Its Enaction.
• Kevin W. Jameson,A Model for the Reuse of Software Design Information.
• Alan Carle,Lori L. Pollock,Modular Specification of Incremental Program Transformation Systems.
• Robert W. Schwanke,Ellis S. Cohen,Raimund Gluecker,William M. Hasling,D. A. Son,Michael E. Wagner,Configuration Management in BiiN SMS.
• Evan Adams,Masahiro Honda,Terrence C. Miller,Object Management in a CASE Environment.
• T. Gallo,G. Serrano,Francesco Tisato,ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems.
• Kaizhi Yue,Validating System Requirements by Functional Decomposition and Dynamic Analysis.
• Luc Jadoul,Luc Duponcheel,Willy Van Puymbroeck,An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment.
• Motoshi Saeki,Hisayuki Horai,Hajime Enomoto,Software Development Process from Natural Language Specification.
• Dewayne E. Perry,The Inscape Environment.
• Walter F. Tichy,Rolf Adams,Lars Holter,NLH/E: A Natural Language Help System.
• John C. Munson,Taghi M. Khoshgoftaar,The Dimensionality of Program Complexity.
• Colin Potts,A Generic Model for Representing Design Methods.
• Salah Bendifallah,Walt Scacchi,Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork.
• Michal Young,Richard N. Taylor,Rethinking the Taxonomy of Fault Detection Techniques.
• C. Samuel Hsieh,Timing Analysis of Cyclic Concurrent Programs.
• S. Patel,R. A. Orr,M. T. Norris,David W. Bustard,Tools to Support Formal Methods.
• Mitsuru Ohba,Xiao-Mei Chou,Does Imperfect Debugging Affect Software Reliability Growth?
• Linda M. Ott,Jeffrey J. Thuss,The Relationship between Slices and Module Cohesion.
• Watts S. Humphrey,Marc I. Kellner,Software Process Modeling: Principles of Entity Process Models.
• Mitchell D. Lubars,The IDeA Design Environment.
• Yves Bernard,Pierre Lavency,A Process-Oriented Approach to Configuration Management.
• Ataru T. Nakagawa,Kokichi Futatsugi,Stepwise Refinement Process with Modularity: An Algebraic Approach.
• Hassan Gomaa,Structuring Criteria for Real Time System Design.
• Bradley P. Allen,S. Daniel Lee,A Knowledge-Based Environment for the Development of Software Parts Composition Systems.
• Matthew S. Jaffe,Nancy G. Leveson,Completeness, Robustness, and Safety in Real-Time Software Requirements Specification.
• Watts S. Humphrey,David H. Kitson,Tim C. Kasse,The State of Software Engineering Practice: A Preliminary Report.
• Katsuro Inoue,Takeshi Ogihara,Tohru Kikuno,Koji Torii,A Formal Adaptation Method for Process Descriptions.
• Ian Thomas,Tool Integration in the Pact Environment.
• Douglas L. Long,Lori A. Clarke,Task Interaction Graphs for Concurrency Analysis.
• June M. Verner,Graham Tate,B. Jackson,R. G. Hayward,Technology Dependence in Function Point Analysis: A Case Study and Critical Review.
• Gruia-Catalin Roman,Kenneth C. Cox,Declarative Visualization in the Shared Dataspace Paradigm.
• Gregory Fox,Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems.

1988

• Karl J. Lieberherr,Arthur J. Riel,Demeter: A Case Study of Software Growth through Parameterized Classes.
• David Harel,Hagi Lachover,Amnon Naamad,Amir Pnueli,Michal Politi,Rivi Sherman,Aharon Shtull-Trauring,STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
• R. A. Orr,M. T. Norris,R. Tinker,C. D. V. Rouch,Tools for Real-Time System Design.
• Dewayne E. Perry,Gail E. Kaiser,Models of Software Development Environments.
• N. Mano,Modeling of Data-Processing Software for Generating and Reusing Their Programs.
• Ataru T. Nakagawa,Kokichi Futatsugi,Satoru Tomura,T. Shimizu,Algebraic Specification of Macintosh's Quickdraw Using OBJ2.
• David W. Embley,Scott N. Woodfield,Assessing the Quality of Abstract Data Types Written in Ada.
• Dan Craigen,Sentot Kromodimoeljo,Irwin Meisels,A. Neilson,Bill Pase,Mark Saaltink,m-EVES: A Tool for Verifying Software.
• Mahadev Satyanarayanan,On the Influence of Scale in a Distributed System.
• Helen C. Sharp,KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control.
• Lloyd G. Williams,Software Process Modeling: A Behavioral Approach.
• Ronald Baecker,Enhancing Program Readability and Comprehensibility with Tools for Program Visualization.
• Robert B. Terwilliger,Roy H. Campbell,An Early Report on Encompass.
• D. Ross Jeffery,Victor R. Basili,Validating the TAME Resource Data Model.
• K. Narayanaswamy,Static Analysis-Based Program Evolution Support in the Common Lisp Framework.
• Hausi A. Müller,K. Klashinsky,Rigi - A System for Programming-in-the-Large.
• Colin Potts,Glenn Bruns,Recording the Reasons for Design Decisions.
• Matthias Hallman,An Operational Requirement Description Model for Open Systems.
• Barry W. Boehm,Rony Ross,Theory-W Software Project Management: A Case Study.
• Aditya P. Mathur,Edward W. Krauser,Modeling Mutation on a Vector Processor.
• A. S. Duncan,Software Development Productivity Tools and Metrics.
• Lin Chiu,Ming T. Liu,High-Level Specification of Concurrency Control in Distributed Database Systems.
• O. R. Fonorow,Modeling Software Tools with Icon.
• Stephen S. Cha,Nancy G. Leveson,Timothy J. Shimeall,Safety Verification in Murphy Using Fault Tree Analysis.
• Michael Evangelist,V. Y. Shen,Ira R. Forman,M. Graf,Using Raddle To Design Distributed Systems.
• D. Dixon,Integrated Support for Project Management.
• David Notkin,William G. Griswold,Extension and Software Development.
• Kouichi Kishida,Takuya Katayama,Masatoshi Matsuo,Isao Miyamoto,Koichiro Ochimizu,Nobuo Saito,John H. Sayler,Koji Torii,Lloyd G. Williams,SDA: A Novel Approach to Software Environment Design and Construction.
• H. Tarumi,Kiyoshi Agusa,Yutaka Ohno,A Programming Environment Supporting Reuse of Object-Oriented Software.
• J. L. Benjamin,PILOT: A Prescription for Program Performance Measurement.
• Steven J. Zeil,Edward C. Epp,Interpretation in a Tool-Fragment Environment.
• Mario Barbacci,Charles B. Weinstock,Jeannette M. Wing,Programming at the Processor-Memory-Switch Level.
• M. Hagemann,Requirements Analysis for Real-Time Automation Projects.
• W. Lewis Johnson,Deriving Specifications from Requirements.
• David R. Barstow,Automatic Programming for Streams II: Transformational Implementation.
• Gruia-Catalin Roman,Language and Visualization Support for Large-Scale Concurrency.
• Mireille Ducassé,Anna-Maria Emde,A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques.
• Michal Young,Richard N. Taylor,Dennis B. Troup,Cheryl D. Kelly,Design Principles behind Chiron: A UIMS for Software Environments.
• Max Mühlhäuser,Software Engineering for Distributed Applications: The Design Project.

1987

• E. F. Berliner,Pamela Zave,An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System.
• Kokichi Futatsugi,Joseph A. Goguen,José Meseguer,Koji Okada,Parameterized Programming in OBJ2.
• Bernd J. Krämer,SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems.
• Steven P. Reiss,A Conceptual Programming Environment.
• J. C. Kelly,A Comparison of Four Design Methods for Real-Time Systems.
• Dewayne E. Perry,Version Control in the Inscape Environment.
• Christian Rathke,Human-Computer Communication Meets Software Engineering.
• Mitchell D. Lubars,Mehdi T. Harandi,Knowledge-Based Software Design Using Design Schemas.
• Gail E. Kaiser,Peter H. Feiler,An Architecture for Intelligent Assistance in Software Development.
• W. W. Royce,Managing the Development of Large Software Systems: Concepts and Techniques.
• Gerhard Fischer,Andreas C. Lemke,Christian Rathke,From Design to Redesign.
• T. Nomura,Use of Software Engineering Tools in Japan.
• Y. Miyazaki,N. Murakami,Software Metrics Using Deviation Value.
• David R. Barstow,Artificial Intelligence and Software Engineering.
• L. D. I. Serbanati,Interform: A CAD System for Program Development.
• Karsten Schwan,Rajiv Ramnath,Sridhar Vasudevan,David M. Ogle,A System for Parallel Programming.
• H. D. Benington,Production of Large Computer Programs.
• Gruia-Catalin Roman,Specifying Software/Hardware Interactions in Distributed Systems.
• Dines Bjørner,On the Use of Formal Methods in Software Development.
• David W. Embley,Scott N. Woodfield,A Knowledge Structure for Reusing Abstract Data Types.
• Jürgen F. H. Winkler,Version Control in Families of Large Programs.
• Bill Curtis,Herb Krasner,Vincent Y. Shen,Neil Iscoe,On Building Software Process Models Under the Lamppost.
• Victor R. Basili,H. Dieter Rombach,Tailoring the Software Process to Project Goals and Environments.
• Leon J. Osterweil,Software Processes Are Software Too.
• Philip A. Bernstein,Database System Support for Software Engineering.
• Peter B. Ladkin,Specification of Time Dependencies and Synthesis of Concurrent Processes.
• Willa K. Ehrlich,T. J. Emerson,Modeling Software Failures and Reliability Growth During System Testing.
• W. A. Hosier,Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming.
• S. Katz,Charles Richter,K.-S. The,PARIS: A System for Reusing Partially Interpreted Schemas.
• Dewayne E. Perry,Software Interconnection Models.

1985

• Nicoletta De Francesco,Diego Latella,Gigliola Vaglini,An Interactive Debugger for a Concurrent Language.
• Moheb R. Girgis,Martin R. Woodward,An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis.
• David W. Stemple,Tim Sheard,Database Theory for Supporting Specification-Based Database Systems Development.
• Y. Miyazaki,K. Mori,COCOMO Evaluation and Tailoring.
• Jochen Ludewig,Martin Glinz,Hansjörg Huser,G. Matheis,Hans Matheis,M. F. Schmidt,SPADES - A Specification and Design System and Its Graphical Interface.
• Barbara Kitchenham,Howard A. Rubin,A Comparison of Cost Estimation Tools (Panel).
• Ronald Morrison,Alan Dearle,Peter J. Bailey,Alfred L. Brown,Malcolm P. Atkinson,The Persistent Store as an Enabling Technology for Integrated Project Support.
• Alexander L. Wolf,Lori A. Clarke,Jack C. Wileden,Interface Control and Incremental Development in the PIC Environment.
• E. A. M. Vefsnmo,"DASOM" - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality.
• Herbert Pesch,Peter Schnupp,Hans Schaller,A. P. Spirk,Test Case Generation Using Prolog.
• Samuel T. Redwine Jr.,William E. Riddle,Software Technology Maturation.
• F. Hattori,K. Kushima,T. Wasano,A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas.
• Maria Heloisa (Lolo) Penedo,E. Don Stuckle,PMDB - A Project Master Database for Software Engineering Environments.
• Ellis Horowitz,Ronald Williamson,SODOS - A Software Documentation Support Environment: Its Use.
• Tohru Shimizu,Ken Sakamura,Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems.
• Bertrand Meyer,The Software Knowledge Base.
• Naftaly H. Minsky,Abe Lockman,Ensuring Integrity by Adding Obligations to Privileges.
• Allan M. Stavely,D. C. Becker,S. P. Orr,Gregory B. Titus,A Collection of Software Tools for Analyzing Design of Concurrent Software Systems.
• Lori A. Clarke,Andy Podgurski,Debra J. Richardson,Steven J. Zeil,A Comparison of Data Flow Path Selection Criteria.
• D. R. Miller,A. Sofer,Completely Monotone Regression Estimates of Software Failure Rates.
• J. Ramsey,Victor R. Basili,Analyzing the Test Process Using Structural Coverage.
• M. Stephens,K. Whitehead,The Analyst - A Workstation for Analysis and Design.
• Peter B. Henderson,Mark Weiser,Continous Execution: The VisiProg Environment.
• T. Sunazuka,Motoei Azuma,Noriko Yamagishi,Software Quality Assessment Technology.
• John H. Manley,Software Engineering Provisioning Process.
• Nathan H. Petschenik,Building Awareness of System Testing Issues.
• Dennis M. Volpano,Richard B. Kieburtz,Software Templates.
• Daniel M. Yellin,Eva-Maria M. Mueckstein,Two-Way Translators Based on Attribute Grammar Inversion.
• David Hedley,Michael A. Hennell,The Causes and Effects of Infeasible Paths in Computer Programs.
• James W. Hooper,John T. Ellis,T. A. Johnson,Distributed Software Prototyping with ADS.
• Nazim H. Madhavji,Operations for Programming in the All.
• Giorgio Bruno,Giuseppe Marchetto,Rapid Prototyping of Control Systems Using High Level Petri Nets.
• Colin Potts,A. Bartlett,B. H. Cherrie,Roy MacLean,Discrete Event Simulation as a Means of Validating JSD Design Specifications.
• M. Schaul,Design Using Software Engineering Principles: Overview of an Educational Program.
• Dennis G. Kafura,J. Canning,A Validation of Software Metrics Using Many Metrics and Two Resources.
• Muneo Takahashi,Yuji Kamayachi,An Empirical Study of a Model for Program Error Prediction.
• P. Barth,Scott B. Guthery,David R. Barstow,The Stream Machine: A Data Flow Architecture for Real-Time Applications.
• Victor R. Basili,Richard W. Selby,Calculation and Use of an Environment's Characteristic Software Metric Set.

1984

• Bill Curtis,Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science.
• Richard N. Taylor,Thomas A. Standish,Steps to an Advanced Ada Programming Environment.
• Krithi Ramamritham,Resource Controller Tasks in Ada: Their Structure and Semantics.
• Michael A. Hennell,David Hedley,I. J. Riddell,Assessing a Class of Software Tools.
• Carlos José Pereira de Lucena,R. C. B. Martins,Paulo A. S. Veloso,Donald D. Cowan,The Data Transform Programming Metho: An Example for File Processing Problems.
• Michel Bidoit,Brigitte Biebow,Marie-Claude Gaudel,Christian Gresse,Gérard D. Guiho,Exception Handling: Formal Specification and Systematic Program Construction.
• Daniel G. Shapiro,Jeffrey S. Dean,Brian P. McCune,A Knowledge Base for Supporting and Intelligent Program Editor.
• Véronique Donzeau-Gouge,Bernard Lang,Bertrand Melese,Practical Applications of a Syntax Directed Program Manipulation Environment.
• Ira R. Forman,An Algebra for Data Flow Anomaly Detection.
• Warren Teitelman,A Tour Through Cedar.
• R. E. Boydston,Programming Cost Estimate: Is It Reasonable?
• Simeon C. Ntafos,An Evaluation of Required Element Testing Strategies.
• Ted J. Biggerstaff,D. M. Endres,Ira R. Forman,TABLE: Object Oriented Editing of Complex Structures.
• Joseph C. Spicer,A Spiral Approach to Software Engineering Project Management Education.
• J. Guyard,J.-P. Jacquot,MAIDAY: An Environment for Guided Programming.
• Rudi Studer,Abstract Models of Dialogue Concepts.
• Barry W. Boehm,Terence E. Gray,Thomas Seewaldt,Prototyping vs. Specifying: A Multi-Project Experiment.
• B. Friman,MGEN - A Generator for Menu Driven Programs.
• Steven J. Zeil,Perturbation Testing for Computation Errors.
• Paul A. Scheffer,Albert H. Stone III,William E. Rzepka,A Large System Evaluation of SREM.
• Bruce I. Blum,Three Paradigms for Developing Information Systems.
• Guy T. Almes,Andrew P. Black,C. Bunje,D. Wiebe,Edmas: A Locally Distributed Mail System.
• T. J. Emerson,A Discriminant Metric for Module Cohersion.
• Ramadan Moawad,Comparison of Concurrent Software Reliability Models.
• Ali Mili,Jules Desharnais,A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
• K. Uemura,M. Ohori,A Cooperative Approach to Software Development by Application Engineers and Software Engineers.
• Augusto Ciuffoletti,Error Recovery in Systems of Communicating Processes.
• Tom DeMarco,Aurel Soceneantu,SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer.
• H. Maezawa,M. Kobayashi,K. Saito,Y. Futamura,Interactive System for Structured Program Production.
• G. Fischer,M. Schneider,Knowledge-Based Communication Processes in Software Engineering.
• Gruia-Catalin Roman,Mark S. Day,Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.
• G. B. Clemmensen,Ole N. Oest,Formal Specification and Development of an Ada Compiler - A VDM Case Study.
• David Lorge Parnas,Paul C. Clements,David M. Weiss,The Modular Structure of Complex Systems.
• K. Chong,P. Hsia,Diagnostic System for Distributed Software: A Relational Database Approach.
• H. Hozumi,Y. Sekine,H. Ejima,A Method of Large-Scale Software Development.
• A. Schroeder,Integrated Program Measurement and Documentation Tools.
• T. Mohri,E. Ono,S. Uehara,T. Takao,H. Sato,PDAS: An Assistant for Detailed Design and Implementation of Programs.
• Kuo-Chung Tai,A Program Complexity Metric Based on Data Flow Information in Control Graphs.
• J. Vosburgh,Bill Curtis,R. Wolverton,B. Albert,H. Malec,S. Hoben,Y. Liu,Productivity Factors and Programming Environments.
• W. Lewis Johnson,Elliot Soloway,PROUST: Knowledge-Based Program Understanding.
• S.-C. Chyou,Structure Charts and Program Correctness Proofs.
• Susan L. Gerhart,Application of Axiomatic Methods to a Specification Analyser.
• John D. Musa,Kazuhira Okumoto,A Logarithmic Poisson Execution Time Model for Software Reliability Measurement.
• A. G. Duncan,J. S. Hutchison,John W. Bailey,T. M. Chapman,A. Fregly,Elizabeth Kruesi,T. McDonald,D. Merrill,Sylvia B. Sheppard,Communication System Design Using Ada.
• Pierre Azéma,G. Juandle,E. Sanchis,M. Montbernard,Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
• W. J. Rogers,A New Program Structure to Improve Accuracy and Readability of Pascal Software.
• Steven P. Reiss,PECAN: Program Development Systems That Support Multiple Views.
• Stephen W. Draper,Donald A. Norman,Software Engineering for User Interfaces.
• John Beane,Nancy Giddings,Jon Silverman,Quantifying Software Designs.
• Koji Torii,Yoshitomi Morisawa,Yuji Sugiyama,Tadao Kasami,Functional Programming and Logical Programming for the Telegram Analysis Problem.

1982

• Eric Harslem,LeRoy E. Nelson,A Retrospective on the Development of Star.
• Jean Cochrane Zolnowski,P. D. Ting,An Insider's Survey on Software Development.
• M. J. Lawrence,An Examination of Evolution Dynamics.
• Ali Mili,A Closer Look at Iteration: The Self Stabilizing Capability of Loops.
• Barry W. Boehm,James F. Elwell,Arthur B. Pyster,E. Don Stuckle,Ronald D. Williams,The TRW Software Productivity System.
• Toshiki Sakabe,Yasuyoshi Inagaki,Namio Honda,Specification of Abstract Data Types with Partially Defined Operations.
• Robert S. Arnold,D. A. Parker,The Dimensions of Healthy Maintenance.
• D. V. Buyansky,J. W. Schatz,No 1A ESS Laboratory Support System - Erasable Flag Facility.
• Walter F. Tichy,Design, Implementation, and Evaluation of a Revision Control System.
• M. M. Ling,Designing Data Entry Programs Using State Diagram as a Common Model.
• P. G. Hamer,G. D. Frewin,M. H. Halstead's Software Science - A Critical Examination.
• Ira R. Forman,Global Data Flow Analysis by Decomposition into Primes.
• P. Lucas,Tore Risch,Representation of Factual Information by Equations and Their Evaluation.
• Sandra Rapps,Elaine J. Weyuker,Data Flow Analysis Techniques for Test Data Selection.
• Gerald M. Weinberg,Overstructured Management of Software Engineering.
• Andres Rudmik,B. E. Casey,H. Cohen,Consistency Checking within Embedded Design Languages.
• Harald Wertz,The Design of an Integrated, Interactive and Incremental Programming Environment.
• S. Warren,Bruce E. Martin,Charles Hoch,Experience with a Module Package in Developing Production Quality PASCAL Programs.
• David A. Marca,Clement L. McGowan,Static and Dynamic Data Modeling for Information System Design.
• Naoki Yonezaki,Takao Katayama,Functional Specification of Synchronized Processes Based on Modal Logic.
• Walid A. Abu-Sufah,R. Lee,Mohammad Malkawi,P. Yew,Experimental Results on the Paging Behavior of Numerical Programs.
• Kiyoshi Agusa,Atsushi Ohnishi,Yutaka Ohno,Verification System for Formal Requirements Description.
• Sol J. Greenspan,John Mylopoulos,Alexander Borgida,Capturing More World Knowledge in the Requirements Specification.
• S. Warren,MAP: A Tool for Understanding Software.
• Yukikazu Nakamoto,T. Iwamoto,M. Hori,Kenichi Hagihara,Nobuki Tokura,An Editor for Documentation in pi-System to Support Software Development and Maintenance.
• Luigi Petrone,Antonio Di Leva,Franco Sirovich,DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.
• Robert G. Babb II,Data-Driven Implementation of Data Flow Diagrams.
• Wayne A. Babich,Larry Weissman,M. Wolfe,Design Considerations in Language Processing Tools for Ada.
• O. Shigo,Y. Wada,Y. Terashima,K. Iwamoto,T. Nishimura,Configuration Control for Evolutional Software Products.
• Friedrich L. Bauer,From Specifications to Machine Code: Program Construction through Formal Reasoning.
• Jun Murai,Nobuo Saito,Norihisa Doi,M. Morohashi,T. Fujisaki,Requirement Specification Description System in Japanese Language - JISDOS.
• Huang Cheng Cheng Kuo,C. H. Li,J. Ramanathan,A Form-Based Approach to Human Engineering Methodologies.
• Leon J. Osterweil,Toolpack - An Experimental Software Development Environment Research Project.
• Kokichi Futatsugi,Koji Okada,A Hierarchical Structuring Method for Functional Software Systems.
• D. Potier,J. L. Albin,R. Ferreol,A. Bilodeau,Experiments with Computer Software Complexity and Reliability.
• H. Ohba,Software Quality = Test Accuracy * Test Coverage.
• G. Beretta,Helmar Burkhart,Peter Fink,Jürg Nievergelt,Jan Stelovsky,Hirotsugo Sugaya,XS-1: An Integrated Interactive System and Its Kernel.
• S. Ito,Automatic Input of Flow Chart in Document Image.
• Norio Shiratori,J. Gohara,Shoichi Noguchi,A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems.
• David R. Barstow,Roger Duffey,Stephen W. Smoliar,Stanley Vestal,An Automatic Programming System to Support an Experimental Science.

1981

• Sylvia B. Sheppard,Elizabeth Kruesi,Bill Curtis,The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications.
• J. W. Lewis,Beyond ALBE/P: Language Neutral Form.
• Pamela Zave,Raymond T. Yeh,Executable Requirements for Embedded Systems.
• Robert Balzer,Alvin S. Cooperband,Martin S. Feather,Philip E. London,David S. Wile,Application Downloading.
• Y. Futamura,T. Kawai,H. Horikoshi,M. Tsutsumi,Development of Computer Programs by Problem Analysis Diagram (PAD).
• Maria Heloisa (Lolo) Penedo,Daniel M. Berry,Gerald Estrin,An Algorithm to Support Code-Skeleton Generation for Concurrent Systems.
• William E. Howden,Completeness Criteria for Testing Elementary Program Functions.
• Pentti Kerola,Peter Freeman,A Comparison of Lifecycle Models.
• Jean-Loup Baer,Georges Gardarin,Claude Girault,Gérard Roucairol,The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
• Steven J. Zeil,Lee J. White,Sufficient Tset Sets for Path Analysis Testing Strategies.
• Niklaus Wirth,Lilith: A Personal Computer for the Software Engineer.
• P. R. F. Cunha,T. S. E. Maibaum,Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.
• E. Chen,Marvin V. Zelkowitz,Use of Cluster Analysis to Evaluate Software Engineering Methodologies.
• Gregory R. Andrews,David P. Dobkin,Peter J. Downey,Active Data Structures.
• David B. Wortman,James R. Cordy,Early Experiences with Euclid.
• Peter H. Feiler,Raul Medina-Mora,An Incremental Programming Environment.
• Thomas E. Cheatham Jr.,Glenn H. Holloway,Judy A. Townley,Program Refinement by Transsformation.
• Dorothy M. Andrews,Jeoffrey P. Benson,An Automated Program Testing Methodology and Its Implementation.
• Hassan Gomaa,D. B. H. Scott,Prototyping as a Tool in the Specification of User Requirements.
• K. H. Britton,R. A. Parker,David Lorge Parnas,A Procedure for Designing Abstract Interfaces for Device Interface Modules.
• Scott N. Woodfield,Hubert E. Dunsmore,Vincent Yun Shen,The Effect of Modularization and Comments on Program Comprehension.
• M. L. Wilson,A Requirements and Design Aid for Relational Data Bases.
• Anthony I. Wasserman,User Software Engineering and the Design of Interactive Systems.
• N. Komoda,K. Haruna,H. Kaji,H. Shinozawa,An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method.
• J. W. Bailey,Victor R. Basili,A Meta-Model for Software Development Resource Expenditures.
• Victor R. Basili,David M. Weiss,Evaluation of a Software Requirements Document by Analysis of Change Data.
• Motoei Azuma,M. Takahashi,Susumu Kamiya,K. Minomura,Interactive Software Development Tool: ISDT.
• T. Sunohara,A. Takano,K. Uehara,T. Ohkawa,Program Complexity Measure for Software Development Management.
• Debra J. Richardson,Lori A. Clarke,A Partition Analysis Method to Increase Program Reliability.
• Christer Hulten,An Index Organization for Applications with Highly Skewed Access Patterns.
• P. M. Cashin,Marc L. Joliat,R. F. Kamel,D. M. Lasker,Experience with a Modular Typed Language: PROTEL.
• Richard L. Schwartz,P. M. Melliar-Smith,The Finalization Operation for Abstract Types.
• Karen E. Huff,A Database Model for Effective Configuration Management in the Programming Environment.
• Eugene W. Myers,Leon J. Osterweil,BIGMAC II: A FORTRAN Language Augmentation Tool.
• Krithi Ramamritham,Robert M. Keller,Specifying and Proving Properties of Sentinel Processes.
• Thomas G. Moher,G. Michael Schneider,Methods for Improving Controlled Experimentation in Software Engineering.
• Erik Sandewall,Claes Strömberg,Henrik Sörensen,Software Architecture Based on Communicating Residential Environments.
• Mark Weiser,Program Slicing.
• Hans-Ludwig Hausen,Monika Müllerburg,Conspectus of Software Engineering Environments.
• A. G. Duncan,J. S. Hutchison,Using Attributed Grammars to Test Designs and Implementations.
• D. L. Paster,Experience with Application of Modern Software Management Controls.
• T. Katayama,HFP: A Hierarchical and Functional Programming Based on Attribute Grammar.
• James P. Black,David J. Taylor,David E. Morgan,A Robust B-Tree Implementation.
• Nachum Dershowitz,The Evolution of Programs: Program Abstraction and Instantiation.
• N. Relles,L. A. Price,A User Interface for Online Assistance.

1979

• C. V. Ramamoorthy,Farokh B. Bastani,John M. Favaro,Yu-King R. Mok,C. W. Nam,Keiichi Suzuki,On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.
• Horst Remus,Stephen N. Zilles,Prediction and Management of Program Quality.
• D. M. Lasker,Module Structure in an Evolving Family of Real Time Systems.
• Jean-Pierre Banâtre,Michel Banâtre,Language Features for Description of Cooperating Processes.
• Walter F. Tichy,Software Development Based on Module Interconnection.
• J. Rohmer,The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers.
• M. S. Laventhal,A Constructive Approach to Reliable Synchronization Code.
• Patrizia Asirelli,Pierpaolo Degano,Giorgio Levi,Alberto Martelli,Ugo Montanari,Giuliano Pacini,Franco Sirovich,Franco Turini,A Flexible Environment for Program Development Based on a Symbolic Interpreter.
• Friedrich L. Bauer,Leon G. Stucki,Meir M. Lehman,Brian Randell,Software Engineering: As it was in 1968.
• J.-C. Rault,France on An Approach Towards Reliable Software.
• Rudolf Marty,L. Vanek,Hierarchical Coroutines: A Mechanism for Improved Program Structure.
• T. H. Bruggere,Software Engineering: Management, Personnel and Methodology.
• Joan M. Morrissey,L. S.-Y. Wu,On Software Engineering-An Economic Perspective.
• J. Horejs,Finite Semantics for Program Testing.
• William E. Riddle,G. Bristow,C. Drey,B. Edwards,Anomaly Detection in Concurrent Programs.
• Flaviu Cristian,A Recovery Mechanism for Modular Software.
• J. Abe,Ken Sakamura,Hideo Aiso,An Analysis of Software Project Failure.
• S. Keramidis,L. Mackert,Specification and Implementation of Parallel Activities on Abstract Objects.
• Erhard Plödereder,Pragmatic Techniques for Program Analysis and Verification.
• P. C. Belford,R. A. Berg,Thomas L. Hannan,Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques.
• Roy H. Campbell,R. B. Kolstad,Path Expressions in Pascal.
• A. F. Hutchings,R. W. McGuffin,A. E. Elliston,B. R. Tranter,P. N. Westmacott,On CADES-Software Engineering in Practice.
• Thomas E. Cheatham Jr.,Judy A. Townley,Glenn H. Holloway,A System for Program Refinement.
• Hugh C. Lauer,Edwin H. Satterthwaite,The Impact of Mesa on System Design.
• A. D'Agapayeff,On Microprocessors: A Platform for True Program Portability with Examples from Microcobal.
• Geoff P. Mullery,CORE : A Method for Controlled Requirement Expression.
• H. S. Elovitz,An Experiment in Software Engineering: The Architecture Research Facility as a Case Study.
• D. Ross Jeffery,M. J. Lawrence,An Inter-Organizational Comparison of Programming Productivity.
• Daniel M. Berry,Maria Heloisa (Lolo) Penedo,The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology.
• Barry W. Boehm,Software Engineering: As it is.
• Harald Wertz,A System to Improve incorrect Programs.
• Wladyslaw M. Turski,Software Engineering : As It Will Be.
• Edsger W. Dijkstra,Software Engineering : As It Should Be.
• Ernst Denert,The Project Library : A Tool for Software Development.
• Anita K. Jones,Karsten Schwan,TASK Forces: Distributed Software for Solving Problems of Substantial Size.
• Jonathan A. Bauer,Alan B. Finger,Test Plan Generation Using Formal Grammars.
• Jeff Kramer,Jim Cunningham,Invariants for Specifications.
• John W. Brackett,R. S. Eanes,C. K. Hitchon,Richard Thall,An Environment for Producing Well-Engineered Microcomputer Software.
• R. R. Willis,E. P. Jensen,Computer Aided Design of Software Systems.
• T. Martin,PEARL At the Age of Three.

1978

• Michael Jackson,Information Systems: Modelling, Sequencing and Transformations.
• Paul Chung,Berry Gaiman,Use of State Diagrams to Engineer Communications Software.
• Douglas Cook,Measuring Memory Protection.
• Lawrence J. Peters,Leonard L. Tripp,A Model of Software Engineering.
• Wolfgang Dzida,Siegfried Herda,Wolf D. Itzfeldt,User Perceived Quality of Interactive Systems.
• David J. Panzl,Automatic Revision of Formal Test Procedures.
• Peter Wegner,Research Directions in Software Technology.
• Leighton R. Scott,An Engineering Methodology for Presenting Software Functional Architecture.
• Sharon A. Stephens,Leonard L. Tripp,Requirements Expression and Verification Aid.
• Donald L. Boyd,Antonio Pizzarello,Introduction to the Wellmade Design Methodology.
• Gary Lindstrom,Control Structure Aptness: A Cast Study Using Top-Down Parsing.
• David Lorge Parnas,Designing Software for Ease of Extension and Contraction.
• R. R. Willis,DAS: An Automated System to Support Design Analysis.
• Ivan M. Campos,Gerald Estrin,Concurrent Software System Design, Supported by SARA at the Age of One.
• Bev Littlewood,How to Measure Software Reliability, and How Not To.
• Zohar Manna,Richard J. Waldinger,The Synthesis of Structure Changing Programs.
• Guido Persch,Georg Winterstein,Symbolic Interpretation and Tracing of PASCAL-Programs.
• Hannes Goullon,Rainer Isle,Klaus-Peter Löhr,Dynamic Restructuring in an Experimental Operating System.
• James C. Browne,David B. Johnson,FAST: A Second Generation Program Analysis System.
• Isao Miyamoto,Toward an Effective Software Reliability Evaluation.
• Carma L. McClure,A Model for Program Complexity Analysis.
• Jan T. Pedersen,John K. Buckle,Kongsberg's Road to an Industrial Software Methodology.
• Peter Freeman,Anthony I. Wasserman,A Proposed Curriculum for Software Engineering Education.
• Patricia A. Hamilton,John D. Musa,Measuring Reliability of Computer Center Software.
• L. Boi,P. Michel,Design and Principles of a Fault Tolerant System.
• Pierre Azéma,Jean-Michel Ayache,Bernard Berthomieu,Design and Verification of Communication Procedures: A Bottom-Up Approach.
• William E. Howden,Theoretical and Empirical Studies of Program Testing.
• Nachum Dershowitz,Zohar Manna,Inference Rules for Program Annotation.
• William E. Riddle,Jack C. Wileden,John H. Sayler,Alan R. Segal,Allan M. Stavely,Behavior Modelling During Software Design.
• A. Dniestrowski,J. M. Guillaume,R. Mortier,Software Engineering in Avionics Applications.
• Daniel Thalmann,Evolution in the Design of Abstract Machines for Software Portability.
• Guy T. Almes,George G. Robertson,An Extensible File System for Hydra.
• Victor R. Basili,Marvin V. Zelkowitz,Analyzing Medium-Scale Software Development.

1976

• Thomas E. Bell,T. A. Thayer,Software Requirements: Are They Really a Problem?
• Peter Freeman,Anthony I. Wasserman,Richard E. Fairley,Essential Elements of Software Engineering Education.
• J. V. Phillips,Thomas H. Bredt,Design and Verification of Real-Time Systems.
• David R. Barstow,Elaine Kant,Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
• Michael Hammer,Dennis McLeod,A Framework for Data Base Semantic Integrity.
• Peter Alsberg,J. D. Day,A Principle for Resilient Sharing of Distributed Resources.
• K. G. Salter,A Methodology for Decomposing System Requirements Into Data Processing Requirements.
• W. H. Jessop,J. Richard Kane,S. Roy,J. M. Scanlon,ATLAS - An Automated Software Testing System.
• Kapali P. Eswaran,Aspects of a Trigger Subsystem in an Integrated Data Base System.
• Sanat K. Basu,Jayadev Misra,Some Classes of Naturally Provable Programs.
• C. Cordell Green,The Design of the PSI Program Synthesis System.
• A. R. Saxena,Thomas H. Bredt,Verification of a Monitor Specification.
• Larry Kerschberg,Esen A. Ozkarahan,J. E. S. Pacheco,A Synthetic English Query Language for a Relational Accociative Processor.
• Alan Jay Smith,On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management.
• T. S. Chow,A Generalized Assertion Language.
• John V. Guttag,Ellis Horowitz,David R. Musser,The Design of Data Type Specifications.
• P. C. Belford,A. F. Bond,D. G. Henderson,L. S. Sellers,Specifications: A Key to Effective Software Development.
• Richard Alan Karp,David C. Luckham,Verification of Fairness in an Implementation of Monitors.
• Peter G. Neumann,Richard J. Feiertag,Karl N. Levitt,Lawrence Robinson,Software Development and Proofs of Multi-Level Security.
• Isao Miyamoto,Some Considerations in Database Application Programming.
• David K. Hsiao,A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System.
• Yaohan Chu,Introducing a Software Design Language.
• T. Anderson,R. Kerr,Recovery Blocks in Action: A System Supporting High Reliability.
• M. H. Bianchi,J. L. Wood,A User's Viewpoint on the Programmer's Workbench.
• J. M. Dreyfus,P. J. Karacsony,The Preliminary Design as a Key to Successful Software Development.
• David Lorge Parnas,Harald Würges,Response to Undesired Events in Software Systems.
• Friedrich L. Bauer,Programming as an Evolutionary Process.
• Dennis McLeod,The Translation and Compatibility of SEQUEL and Query by Example.
• B. C. Hodges,J. P. Ryan,A System for Automatic Software Evaluation.
• N. Billawala,Stephen A. Szygenda,Ewald W. Thomson,A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems.
• Mohamed G. Gouda,Eric G. Manning,On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures.
• Robert Balzer,Neil M. Goldman,David S. Wile,On the Transformational Implementation Approach to Programming.
• Barry W. Boehm,John R. Brown,M. Lipow,Quantitative Evaluation of Software Quality.
• Martin L. Shooman,Structural Models for Software Reliability Prediction.
• W. E. Stephenson,An Analysis of the Resources Used in the SAFEGUARD System Software Development.
• John H. Wensley,Milton W. Green,Karl N. Levitt,Robert E. Shostak,The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.
• Robert S. Fabry,How to Design a System in Which Modules Can Be Changed on the Fly.
• R. M. Pollock,W. L. McCoy,Software Engineering in the Development of the TRIDENT Fire Control System.
• Peter Wegner,Research Pradigms in Computer Science.
• John R. Mashey,Using a Command Language as a High-Level Programming Language.
• R. Turn,M. R. Davis,Robert N. Reinstedt,A Management Approach to the Development of Computer-Based Systems.
• Stephen S. Yau,R. C. Cheung,D. C. Cochrane,An Approach to Error-Resistant Software Design.
• J. Mohan,M. Geller,An Environmental Simulator for the FDNY Computer Aided Dispatch System.
• James C. Browne,A Critical Overview of Computer Performance Evaluation.
• David J. Panzl,Test Procedures: A New Approach to Software Verification.
• John R. White,Taylor L. Booth,Towards and Engineering Approach to Software Design.
• K. S. Shankar,C. Sekar Chandersekaran,Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems.
• M. M. Lehman,F. N. Parr,Program Evolution and Its Impact on Software Engineering.
• Zohar Manna,Richard J. Waldinger,Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.