Abstract is missing.
- Parallel Randomized State-Space SearchMatthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare. 3-12 [doi]
- Sequential Circuits for Relational AnalysisFadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid. 13-22 [doi]
- A Sound Assertion Semantics for the Dependable Systems Evolution Verifying CompilerPatrice Chalin. 23-33 [doi]
- Behaviour Model Synthesis from Properties and ScenariosSebastián Uchitel, Greg Brunet, Marsha Chechik. 34-43 [doi]
- Feature Oriented Model Driven Development: A Case Study for PortletsSalvador Trujillo, Don S. Batory, Oscar Díaz. 44-53 [doi]
- Matching and Merging of Statecharts SpecificationsShiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave. 54-64 [doi]
- Regression Test Selection for AspectJ SoftwareGuoqing Xu, Atanas Rountev. 65-74 [doi]
- Feedback-Directed Random Test GenerationCarlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball. 75-84 [doi]
- Compatibility and Regression Testing of COTS-Component-Based SoftwareLeonardo Mariani, Sofia Papagiannakis, Mauro Pezzè. 85-95 [doi]
- DECKARD: Scalable and Accurate Tree-Based Detection of Code ClonesLingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stephane Glondu. 96-105 [doi]
- Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinderSimone Livieri, Yoshiki Higo, Makoto Matsushita, Katsuro Inoue. 106-115 [doi]
- Using Server Pages to Unify Clones in Web Applications: A Trade-Off AnalysisDamith C. Rajapakse, Stan Jarzabek. 116-126 [doi]
- Automated Inference of Pointcuts in Aspect-Oriented RefactoringPrasanth Anbalagan, Tao Xie. 127-136 [doi]
- A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and TransformationsMikhail Chalabine, Christoph W. Kessler. 137-146 [doi]
- Identifying Feature Interactions in Multi-Language Aspect-Oriented FrameworksSergei Kojarski, David H. Lorenz. 147-157 [doi]
- Tracking Code Clones in Evolving SoftwareEkwa Duala-Ekoko, Martin P. Robillard. 158-167 [doi]
- Do Maintainers Utilize Deployed Design Patterns Effectively?T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu. 168-177 [doi]
- OPIUM: Optimal Package Install/Uninstall ManagerChris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner. 178-188 [doi]
- Modeling Product Line Architectures through Change Sets and RelationshipsScott A. Hendrickson, André van der Hoek. 189-198 [doi]
- On Accurate Automatic Verification of Publish-Subscribe ArchitecturesLuciano Baresi, Carlo Ghezzi, Luca Mottola. 199-208 [doi]
- Supporting Heterogeneous Architecture Descriptions in an Extensible ToolsetMatthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani. 209-219 [doi]
- Adaptive Online Program AnalysisMatthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum. 220-229 [doi]
- Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server ApplicationsChen Fu, Barbara G. Ryder. 230-239 [doi]
- Path-Sensitive Inference of Function Precedence ProtocolsMurali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. 240-250 [doi]
- GoalDebug: A Spreadsheet Debugger for End UsersRobin Abraham, Martin Erwig. 251-260 [doi]
- A Technique for Enabling and Supporting Debugging of Field FailuresJames A. Clause, Alessandro Orso. 261-270 [doi]
- POLUS: A POwerful Live Updating SystemHaibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chung Yew. 271-281 [doi]
- Fixing Inconsistencies in UML Design ModelsAlexander Egyed. 292-301 [doi]
- The Factory Pattern in API Design: A Usability EvaluationBrian Ellis, Jeffrey Stylos, Brad A. Myers. 302-312 [doi]
- Overview and Evaluation of Constraint Validation Approaches in JavaLorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka. 313-322 [doi]
- Ownership and Immutability Inference for UML-Based Object Access ControlYin Liu, Ana Milanova. 323-332 [doi]
- Automatic Inference of Structural Changes for Matching across Program VersionsMiryung Kim, David Notkin, Dan Grossman. 333-343 [doi]
- Information Needs in Collocated Software Development TeamsAndrew J. Ko, Robert DeLine, Gina Venolia. 344-353 [doi]
- The Social Dynamics of Pair ProgrammingJan Chong, Tom Hurlbutt. 354-363 [doi]
- Role Migration and Advancement Processes in OSSD Projects: A Comparative Case StudyChris Jensen, Walt Scacchi. 364-374 [doi]
- The Role of Experience and Ability in Comprehension Tasks Supported by UML StereotypesFilippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato. 375-384 [doi]
- Information Hiding and Visibility in Interface SpecificationsGary T. Leavens, Peter Müller. 385-395 [doi]
- Using GUI Run-Time State as Feedback to Generate Test CasesXun Yuan, Atif M. Memon. 396-405 [doi]
- Automated Generation of Context-Aware TestsZhimin Wang, Sebastian G. Elbaum, David S. Rosenblum. 406-415 [doi]
- Hybrid Concolic TestingRupak Majumdar, Koushik Sen. 416-426 [doi]
- Refactoring-Aware Configuration Management for Object-Oriented ProgramsDanny Dig, Kashif Manzoor, Ralph E. Johnson, Tien N. Nguyen. 427-436 [doi]
- Refactoring for Parameterizing Java ClassesAdam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer. 437-446 [doi]
- Supporting the Investigation and Planning of Pragmatic Reuse TasksReid Holmes, Robert J. Walker. 447-457 [doi]
- Mining Security-Sensitive Operations in Legacy Code Using Concept AnalysisVinod Ganapathy, Dave King 0002, Trent Jaeger, Somesh Jha. 458-467 [doi]
- Managing Impacts of Security Protocol Changes in Service-Oriented ApplicationsHalvard Skogsrud, Boualem Benatallah, Fabio Casati, Farouk Toumani. 468-477 [doi]
- When Role Models Have Flaws: Static Validation of Enterprise Security PoliciesMarco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav. 478-488 [doi]
- Predicting Faults from Cached HistorySunghun Kim, Thomas Zimmermann, Jim Whitehead, Andreas Zeller. 489-498 [doi]
- Detection of Duplicate Defect Reports Using Natural Language ProcessingPer Runeson, Magnus Alexandersson, Oskar Nyholm. 499-510 [doi]
- An Empirical Study of the Evolution of an Agile-Developed Software SystemAndrea Capiluppi, Juan Fernández-Ramil, J. Higman, Helen C. Sharp, Neil Smith. 511-518 [doi]
- Agility and Experimentation: Practical Techniques for Resolving Architectural TradeoffsT. C. Nicholas Graham, Rick Kazman, Chris Walmsley. 519-528 [doi]
- Usability Implications of Requiring Parameters in Objects ConstructorsJeffrey Stylos, Steven Clarke. 529-539 [doi]
- Performance Evaluation and Prediction for Legacy Information SystemsYan Jin, Antony Tang, Jun Han, Yan Liu. 540-549 [doi]
- Software Development Environments for Scientific and Engineering Software: A Series of Case StudiesJeffrey C. Carver, Richard P. Kendall, Susan E. Squires, Douglass E. Post. 550-559 [doi]
- Company-Wide Implementation of Metrics for Early Software Fault DetectionLars-Ola Damm, Lars Lundberg. 560-570 [doi]
- Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language--An Industrial Experience ReportMika Karaila, Tarja Systä. 571-580 [doi]
- Model-Based Security Engineering of Distributed Information Systems Using UMLsecBastian Best, Jan Jürjens, Bashar Nuseibeh. 581-590 [doi]
- Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural SupportSam Malek, Chiyoung Seo, Sharmila Ravula, Brad Petrus, Nenad Medvidovic. 591-601 [doi]
- Good Organisational Reasons for Bad Software Testing: An Ethnographic Study of Testing in a Small Software CompanyDavid Martin, John Rooksby, Mark Rouncefield, Ian Sommerville. 602-611 [doi]
- Enhancing Software Testing by Judicious Use of Code Coverage InformationStefan Berner, Roland Weber, Rudolf K. Keller. 612-620 [doi]
- Randomized Differential Testing as a Prelude to Formal VerificationAlex Groce, Gerard J. Holzmann, Rajeev Joshi. 621-631 [doi]
- Can Requirements Be Creative? Experiences with an Enhanced Air Space Management SystemNeil A. M. Maiden, Cornelius Ncube, Suzanne Robertson. 632-641 [doi]
- Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica s PathwayAnalia Irigoyen Ferreiro Ferreira, Gleison Santos, Roberta Cerqueira, Mariano Montoni, Ahilton Barreto, Andrea Oliveira Soares Barreto, Ana Regina Rocha. 642-651 [doi]
- Maturity Status within Front-End Support OrganisationsMira Kajko-Mattsson. 652-663 [doi]
- A Constructivist Approach to Teaching Software ProcessesJayakanth Srinivasan, Kristina Lundqvist. 664-672 [doi]
- Using Experiments in Software Engineering as an Auxiliary Tool for Teaching--A Qualitative Evaluation from the Perspective of Students Learning ProcessMiroslaw Staron. 673-676 [doi]
- On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software EngineeringLaurie Williams, Lucas Layman, Kelli M. Slaten, Sarah B. Berenson, Carolyn B. Seaman. 677-687 [doi]
- Bug Hunt: Making Early Software Testing Lessons Engaging and AffordableSebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde. 688-697 [doi]
- Good Practices for Educational Software Engineering ProjectsLouwarnoud van der Duim, Jesper Andersson, Marco Sinnema. 698-707 [doi]
- Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in JapanShinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki. 708-718 [doi]
- A Leveled Examination of Test-Driven Development AcceptanceDavid Janzen, Hossein Saiedian. 719-722 [doi]
- Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming ClassesImran A. Zualkernan. 723-726 [doi]
- Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency ConceptsShaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt. 727-731 [doi]
- Creating a Computer Security Curriculum in a Software Engineering ProgramBradley S. Rubin, Bhabani S. Misra. 732-735 [doi]
- Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering CourseStephanie Ludi. 736-743 [doi]
- Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering PrinciplesChristopher G. Jones. 744-747 [doi]
- A Template for Real World Team Projects for Highly Populated Software Engineering ClassesBurak Turhan, Ayse Basar Bener. 748-753 [doi]
- Spotlight: A Prototype Tool for Software PlansDavid Coppit, Robert R. Painter, Meghan Revelle. 754-757 [doi]
- SoQueT: Query-Based Documentation of Crosscutting ConcernsMarius Marin, Leon Moonen, Arie van Deursen. 758-761 [doi]
- SoftGUESS: Visualization and Exploration of Code Clones in ContextEytan Adar, Miryung Kim. 762-766 [doi]
- Kato: A Program Slicing Tool for Declarative SpecificationsEngin Uzuncaova, Sarfraz Khurshid. 767-770 [doi]
- Korat: A Tool for Generating Structurally Complex Test InputsAleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid. 771-774 [doi]
- Crisp--A Fault Localization Tool for Java ProgramsOphelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip. 775-779 [doi]
- Suade: Topology-Based Searches for Software InvestigationFrédéric Weigand Warr, Martin P. Robillard. 780-783 [doi]
- SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based SystemsMarco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli. 784-787 [doi]
- Presentations by Programmers for ProgrammersLi-Te Cheng, Michael Desmond, Margaret-Anne D. Storey. 788-792 [doi]
- UML/Analyzer: A Tool for the Instant Consistency Checking of UML ModelsAlexander Egyed. 793-796 [doi]
- Revel8or: Model Driven Capacity Planning Tool SuiteLiming Zhu, Yan Liu, Ngoc Bao Bui, Ian Gorton. 797-800 [doi]
- Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-ViewSven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking. 801-804 [doi]