kirancodes.me
To Proof Maintenance & Beyond!
Venues / ICSE /

ICSE 2007

89 papers

  1. 'Good' Organisational Reasons for 'Bad' Software Testing: An Ethnographic Study of Testing in a Small Software Company · David B. Martin, John Rooksby, Mark Rouncefield, Ian Sommerville
  2. A Constructivist Approach to Teaching Software Processes · Jayakanth Srinivasan, Kristina Lundqvist
  3. A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations · Mikhail Chalabine, Christoph W. Kessler
  4. A Leveled Examination of Test-Driven Development Acceptance · David S. Janzen, Hossein Saiedian
  5. A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler · Patrice Chalin
  6. A Technique for Enabling and Supporting Debugging of Field Failures · James A. Clause, Alessandro Orso
  7. A Template for Real World Team Projects for Highly Populated Software Engineering Classes · Burak Turhan, Ayse Basar Bener
  8. Adaptive Online Program Analysis · Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum
  9. Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs · T. C. Nicholas Graham, Rick Kazman, Chris Walmsley
  10. An Empirical Study of the Evolution of an Agile-Developed Software System · Andrea Capiluppi, Juan Fernández-Ramil, J. Higman, Helen C. Sharp, Neil Smith
  11. Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica's Pathway · Analia Irigoyen Ferreiro Ferreira, Gleison Santos, Roberta Cerqueira, Mariano Montoni, Ahilton Silva Barreto, Andréa Oliveira Soares Barreto + 1 more
  12. Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language-An Industrial Experience Report · Mika Karaila, Tarja Systä
  13. Automated Generation of Context-Aware Tests · Zhimin Wang, Sebastian G. Elbaum, David S. Rosenblum
  14. Automated Inference of Pointcuts in Aspect-Oriented Refactoring · Prasanth Anbalagan, Tao Xie
  15. Automatic Inference of Structural Changes for Matching across Program Versions · Miryung Kim, David Notkin, Dan Grossman
  16. Behaviour Model Synthesis from Properties and Scenarios · Sebastián Uchitel, Greg Brunet, Marsha Chechik
  17. Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles · Christopher G. Jones
  18. Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable · Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde
  19. Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System · Neil A. M. Maiden, Cornelius Ncube, Suzanne Robertson
  20. Company-Wide Implementation of Metrics for Early Software Fault Detection · Lars-Ola Damm, Lars Lundberg
  21. Compatibility and Regression Testing of COTS-Component-Based Software · Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè
  22. Creating a Computer Security Curriculum in a Software Engineering Program · Bradley S. Rubin, Bhabani S. Misra
  23. Crisp-A Fault Localization Tool for Java Programs · Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip
  24. DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones · Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu
  25. Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts · Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt
  26. Detection of Duplicate Defect Reports Using Natural Language Processing · Per Runeson, Magnus Alexandersson, Oskar Nyholm
  27. Do Maintainers Utilize Deployed Design Patterns Effectively? · T. H. Ng, Shing-Chi Cheung, W. K. Chan, Yuen-Tak Yu
  28. Enhancing Software Testing by Judicious Use of Code Coverage Information · Stefan Berner, Roland Weber, Rudolf K. Keller
  29. Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications · Chen Fu, Barbara G. Ryder
  30. Feature Oriented Model Driven Development: A Case Study for Portlets · Salvador Trujillo, Don S. Batory, Oscar Díaz
  31. Feedback-Directed Random Test Generation · Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
  32. Fixing Inconsistencies in UML Design Models · Alexander Egyed
  33. GoalDebug: A Spreadsheet Debugger for End Users · Robin Abraham, Martin Erwig
  34. Good Practices for Educational Software Engineering Projects · Louwarnoud van der Duim, Jesper Andersson, Marco Sinnema
  35. Hybrid Concolic Testing · Rupak Majumdar, Koushik Sen
  36. Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks · Sergei Kojarski, David H. Lorenz
  37. Information Hiding and Visibility in Interface Specifications · Gary T. Leavens, Peter Müller
  38. Information Needs in Collocated Software Development Teams · Amy J. Ko, Robert DeLine, Gina Venolia
  39. Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course · Stephanie Ludi
  40. Kato: A Program Slicing Tool for Declarative Specifications · Engin Uzuncaova, Sarfraz Khurshid
  41. Korat: A Tool for Generating Structurally Complex Test Inputs · Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
  42. Managing Impacts of Security Protocol Changes in Service-Oriented Applications · Halvard Skogsrud, Boualem Benatallah, Fabio Casati, Farouk Toumani
  43. Matching and Merging of Statecharts Specifications · Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
  44. Maturity Status within Front-End Support Organisations · Mira Kajko-Mattsson
  45. Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis · Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha
  46. Model-Based Security Engineering of Distributed Information Systems Using UMLsec · Bastian Best, Jan Jürjens, Bashar Nuseibeh
  47. Modeling Product Line Architectures through Change Sets and Relationships · Scott A. Hendrickson, André van der Hoek
  48. OPIUM: Optimal Package Install/Uninstall Manager · Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
  49. On Accurate Automatic Verification of Publish-Subscribe Architectures · Luciano Baresi, Carlo Ghezzi, Luca Mottola
  50. On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering · Laurie A. Williams, Lucas Layman, Kelli M. Slaten, Sarah B. Berenson, Carolyn B. Seaman
  51. Overview and Evaluation of Constraint Validation Approaches in Java · Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka
  52. Ownership and Immutability Inference for UML-Based Object Access Control · Yin Liu, Ana L. Milanova
  53. POLUS: A POwerful Live Updating System · Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chung Yew
  54. Parallel Randomized State-Space Search · Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
  55. Path-Sensitive Inference of Function Precedence Protocols · Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
  56. Performance Evaluation and Prediction for Legacy Information Systems · Yan Jin, Antony Tang, Jun Han, Yan Liu
  57. Predicting Faults from Cached History · Sunghun Kim, Thomas Zimmermann, E. James Whitehead Jr., Andreas Zeller
  58. Presentations by Programmers for Programmers · Li-Te Cheng, Michael Desmond, Margaret-Anne D. Storey
  59. Randomized Differential Testing as a Prelude to Formal Verification · Alex Groce, Gerard J. Holzmann, Rajeev Joshi
  60. Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support · Sam Malek, Chiyoung Seo, Sharmila Ravula, Brad Petrus, Nenad Medvidovic
  61. Refactoring for Parameterizing Java Classes · Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer
  62. Refactoring-Aware Configuration Management for Object-Oriented Programs · Danny Dig, Kashif Manzoor, Ralph E. Johnson, Tien N. Nguyen
  63. Regression Test Selection for AspectJ Software · Guoqing Xu, Atanas Rountev
  64. Revel8or: Model Driven Capacity Planning Tool Suite · Liming Zhu, Yan Liu, Ngoc Bao Bui, Ian Gorton
  65. Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study · Chris Jensen, Walt Scacchi
  66. SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems · Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
  67. Sequential Circuits for Relational Analysis · Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
  68. SoQueT: Query-Based Documentation of Crosscutting Concerns · Marius Marin, Leon Moonen, Arie van Deursen
  69. SoftGUESS: Visualization and Exploration of Code Clones in Context · Eytan Adar, Miryung Kim
  70. Software Development Environments for Scientific and Engineering Software: A Series of Case Studies · Jeffrey C. Carver, Richard P. Kendall, Susan E. Squires, Douglass E. Post
  71. Spotlight: A Prototype Tool for Software Plans · David Coppit, Robert R. Painter, Meghan Revelle
  72. Suade: Topology-Based Searches for Software Investigation · Frédéric Weigand Warr, Martin P. Robillard
  73. Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool · John C. Grundy, John G. Hosking
  74. Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset · Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani
  75. Supporting the Investigation and Planning of Pragmatic Reuse Tasks · Reid Holmes, Robert J. Walker
  76. The Factory Pattern in API Design: A Usability Evaluation · Brian Ellis, Jeffrey Stylos, Brad A. Myers
  77. The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes · Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato
  78. The Social Dynamics of Pair Programming · Jan Chong, Tom Hurlbutt
  79. Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View · Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza + 2 more
  80. Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan · Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
  81. Tracking Code Clones in Evolving Software · Ekwa Duala-Ekoko, Martin P. Robillard
  82. UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models · Alexander Egyed
  83. Usability Implications of Requiring Parameters in Objects' Constructors · Jeffrey Stylos, Steven Clarke
  84. Using Experiments in Software Engineering as an Auxiliary Tool for Teaching-A Qualitative Evaluation from the Perspective of Students' Learning Process · Miroslaw Staron
  85. Using GUI Run-Time State as Feedback to Generate Test Cases · Xun Yuan, Atif M. Memon
  86. Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis · Damith C. Rajapakse, Stan Jarzabek
  87. Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes · Imran A. Zualkernan
  88. Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder · Simone Livieri, Yoshiki Higo, Makoto Matsushita, Katsuro Inoue
  89. When Role Models Have Flaws: Static Validation of Enterprise Security Policies · Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav