default search action
28th ICSE 2006: Shanghai, China
- Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa:
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. ACM 2006, ISBN 1-59593-375-1
Keynote talks
- Fuqing Yang, Hong Mei:
Development of software engineering: co-operative efforts from academia, government and industry. 2-11 - Barry W. Boehm:
A view of 20th and 21st century software engineering. 12-29 - Reinhold Achatz:
Optimization of software development. 30
Invited talks
- Victor R. Basili, Sebastian G. Elbaum:
Empirically driven SE research: state of the art and required maturity. 32 - Manfred Broy:
Challenges in automotive software engineering. 33-42 - Jürgen Nehmer, Martin Becker, Arthur I. Karshmer, Rosemarie Lamm:
Living assistance systems: an ambient intelligence approach. 43-50
Research papers: architecture & design I
- Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz, Richard N. Taylor:
Architectural support for trust models in decentralized applications. 52-61 - Ingolf H. Krüger, Reena Mathew, Michael Meisinger:
Efficient exploration of service-oriented architectures using aspects. 62-71 - Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation. 72-81
Research papers: test & analysis I
- Benoit Baudry, Franck Fleurey, Yves Le Traon:
Improving test suites for efficient fault localization. 82-91 - Lionel C. Briand, Yvan Labiche, Michal M. Sówka:
Automated, contract-based user testing of commercial-off-the-shelf components. 92-101 - David Willmor, Suzanne M. Embury:
An intensional approach to the specification of test cases for database applications. 102-111
Research papers: software components & reuse
- Jia Liu, Don S. Batory, Christian Lengauer:
Feature oriented refactoring of legacy applications. 112-121 - Sven Apel, Thomas Leich, Gunter Saake:
Aspectual mixin layers: aspects and features in concert. 122-131 - Maria Cutumisu, Curtis Onuczko, Duane Szafron, Jonathan Schaeffer, Matthew McNaughton, Thomas Roy, Jeff Siegel, Mike Carbonaro:
Evaluating pattern catalogs: the computer games experience. 132-141
Research papers: test & analysis II
- Ghassan Misherghi, Zhendong Su:
HDD: hierarchical Delta Debugging. 142-151 - Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Managing space for finite-state verification. 152-161 - Dinakar Dhurjati, Vikram S. Adve:
Backwards-compatible array bounds checking for C with very low overhead. 162-171
Research papers: reverse engineering & refactoring
- Mathieu Verbaere, Ran Ettinger, Oege de Moor:
JunGL: a scripting language for refactoring. 172-181 - Robin Abraham, Martin Erwig:
Inferring templates from spreadsheets. 182-191 - Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha:
Semantics-based reverse engineering of object-oriented data models. 192-201
Research papers: architecture & design II
- Robert G. Pettit IV, Hassan Gomaa:
Modeling behavioral design patterns of concurrent objects. 202-211 - Sergei Kojarski, David H. Lorenz:
Modeling aspect mechanisms: a top-down approach. 212-221 - David Mandelin, Doug Kimelman, Daniel M. Yellin:
A Bayesian approach to diagram matching with application to architectural models. 222-231
Research papers: test & analysis III
- Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang:
Modular checking for buffer overflows in the large. 232-241 - Magiel Bruntink, Arie van Deursen, Tom Tourwé:
Discovering faults in idiom-based exception handling. 242-251 - David L. Heine, Monica S. Lam:
Static detection of leaks in polymorphic containers. 252-261
Research papers: test & analysis IV
- Lingxiao Jiang, Zhendong Su:
Osprey: a practical type system for validating dimensional unit correctness of C programs. 262-271 - Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
Locating faults through automated predicate switching. 272-281 - Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das:
Perracotta: mining temporal API rules from imperfect traces. 282-291
Research papers: theory & formal methods
- Chang Xu, Shing-Chi Cheung, W. K. Chan:
Incremental consistency checking for pervasive context. 292-301 - Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. 302-311 - Felix Sheng-Ho Chang, Daniel Jackson:
Symbolic model checking of declarative relational models. 312-320
Research papers: empirical methods & measurement
- Hee Beng Kuan Tan, Yuan Zhao, Hongyu Zhang:
Estimating LOC for information systems from their conceptual data models. 321-330 - 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. 331-340 - Carmen Zannier, Grigori Melnik, Frank Maurer:
On the success of empirical studies in the international conference on software engineering. 341-350
Research papers: software process & workflow
- Chunyang Ye, Shing-Chi Cheung, W. K. Chan:
Publishing and composition of atomicity-equivalent services for B2B collaboration. 351-360 - John Anvik, Lyndon Hiew, Gail C. Murphy:
Who should fix this bug? 361-370 - Ji Zhang, Betty H. C. Cheng:
Model-based development of dynamically adaptive software. 371-380
Research papers: development with UML
- Alexander Egyed:
Instant consistency checking for the UML. 381-390 - Vahid Garousi, Lionel C. Briand, Yvan Labiche:
Traffic-aware stress testing of distributed systems based on UML models. 391-400 - Christian F. J. Lange, Michel R. V. Chaudron:
Effects of defects in UML models: an experimental investigation. 401-411
Experience papers: risk analysis
- 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. 413-422 - Mingshu Li, Meng Huang, Fengdi Shu, Juan Li:
A risk-driven method for eXtreme programming release planning. 423-430 - Ye Yang, Barry W. Boehm, Betsy Clark:
Assessing COTS integration risk using cost estimation inputs. 431-438
Experience papers: using metrics
- Barbara A. Kitchenham, Cat Kutay, D. Ross Jeffery, Colin Connaughton:
Lessons learnt from the analysis of large-scale corporate databases. 439-444 - Brian Berenbach, Gail Borotto:
Metrics for model driven requirements development. 445-451 - Nachiappan Nagappan, Thomas Ball, Andreas Zeller:
Mining metrics to predict component failures. 452-461
Experience papers: experiences with open source and legacy systems
- 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. 462-471 - Vijay K. Gurbani, Anita Garvert, James D. Herbsleb:
A case study of a corporate open source development model. 472-481 - Damiano Distante, Gerardo Canfora, Scott R. Tilley, Shihong Huang:
Redesigning legacy applications for the web with UWAT+: a case study. 482-491
Experience papers: software development practices
- Thomas D. LaToza, Gina Venolia, Robert DeLine:
Maintaining mental models: a study of developer work habits. 492-501 - LiGuo Huang, Barry W. Boehm, Hao Hu, JiDong Ge, Jian Lü, Cheng Qian:
Applying the Value/Petri process to ERP software development in China. 502-511 - Jiang Zheng, Brian Robinson, Laurie A. Williams, Karen Smiley:
Applying regression test selection for COTS-based applications. 512-522
Far east experience papers: development technique
- Xinyu Wang, Jianling Sun, Xiaohu Yang, Chao Huang, Zhijun He, Srinivasa R. Maddineni:
Reengineering standalone C++ legacy systems into the J2EE partition distributed environment. 525-533 - Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa:
UML-based service robot software development: a case study. 534-543 - Osamu Kobayashi, Mitsuyoshi Kawabata, Makoto Sakai, Eddy Parkinson:
Analysis of the interaction between practices for introducing XP effectively. 544-550
Far east experience papers: evaluation
- 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. 551-560 - Pak-Lok Poon, Yuen-Tak Yu:
Procurement of enterprise resource planning systems: experiences with some Hong Kong companies. 561-568 - Noboru Nakamichi, Kazuyuki Shima, Makoto Sakai, Ken-ichi Matsumoto:
Detecting low usability web pages using quantitative data of users' behavior. 569-576
Far east experience papers: software process
- Mutsumi Komuro:
Experiences of applying SPC techniques to software development processes. 577-584 - 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. 585-594 - Hideto Ogasawara, Takashi Ishikawa, Tetsuro Moriya:
Practical approach to development of SPI activities in a large organization: Toshiba's SPI history since 2000. 595-599
Far east experience papers: posters
- Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama:
Estimation of project success using Bayesian classifier. 600-603 - Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe:
Efficiency analysis of model-based review in actual software design. 604-607 - Stan Jarzabek, Ulf Pettersson:
Research journey towards industrial application of reuse technique. 608-611 - Jihyun Lee, Jin-Sam Kim, Jin-Hee Cho:
A series of development methodologies for a variety of systems in Korea. 612-615 - Yoshiki Mitani, Nahomi Kikuchi, Tomoko Matsumura, Satoshi Iwamura, Yoshiki Higo, Katsuro Inoue, Mike Barker, Ken-ichi Matsumoto:
Effects of software industry structure on a research framework for empirical software engineering. 616-619 - Autcha Mutchalintungkul, Juthamas Oonhawat, Kittiphong Pholpipatanaphong, Daricha Sutivong, Nakornthip Prompoon:
Experience from applying RIM to educational ERP development. 620-623 - Phong Thanh Nguyen, Muhammad Ali Babar, June M. Verner:
Critical factors in establishing and maintaining trust in software outsourcing relationships. 624-627 - Raymund Sison, Stanislaw Jarzabek, Siew Hock Ow, Wanchai Rivepiboon, Nguyen Nam Hai:
Software practices in five ASEAN countries: an exploratory study. 628-631 - Jiang Wu, Sheldon Wang, Christine Chau, Lei Zeng, Jinsong Lin:
Overseas development for a major U.S. eCommerce website. 632-635 - Hao Zhong, Lu Zhang, Hong Mei:
An experimental comparison of four test suite reduction techniques. 636-640
Education papers: advanced topics in software engineering education
- Shankar Venkatagiri:
Engineering the software requirements of nonprofits: a service-learning approach. 643-648 - P. J. Rundle, R. G. Dewar:
Using return on investment to compare agile and plan-driven practices in undergraduate group projects. 649-654 - Daniel Port, David Klappholz:
So you want brooks in your classroom? 655-660
Education papers: software engineering education fundamentals
- Nenad Stankovic:
Software engineering for undergraduates. 661-666 - Mario Bernhart, Thomas Grechenig, Jennifer Hetzl, Wolfgang Zuser:
Dimensions of software engineering course design. 667-672 - David Evans, Michael Peck:
Inculcating invariants in introductory courses. 673-678
Education papers: distributed development
- Ita Richardson, Allen E. Milewski, Neel Mullick, Patrick Keil:
Distributed development: an education perspective on the global studio project. 679-684 - Daniela E. Damian, Allyson Hadwin, Ban Al-Ani:
Instructional design and assessment strategies for teaching global software development: a framework. 685-690
Education papers: posters
- Jon Bowyer, Janet M. Hughes:
Assessing undergraduate experience of continuous integration and test-driven development. 691-694 - Davor Cubranic, Margaret-Anne D. Storey, Jody Ryall:
A comparison of communication technologies to support novice team programming. 695-698 - Mohammad El-Ramly:
Experience in teaching a software reengineering course. 699-702 - Orit Hazzan, Yael Dubinsky:
Teaching framework for software development methods. 703-706 - Wilson P. Paula Filho:
A software process for time-constrained course projects. 707-710
Software engineering: achievements & challenges: ubiquitous and distributed systems
- Ken Sakamura:
Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems. 713-720 - Chris Mattmann, Daniel J. Crichton, Nenad Medvidovic, Steve Hughes:
A software architecture-based framework for highly distributed and data intensive scientific applications. 721-730
Software engineering: achievements & challenges: domain-specific challenges
- Bikram Sengupta, Satish Chandra, Vibha Sinha:
A research agenda for distributed software development. 731-740 - Minmin Han, Thomas Thiery, Xiping Song:
Managing exceptions in the medical workflow systems. 741-750 - Judith Bishop:
Multi-platform user interface construction: a challenge for software engineering-in-the-small. 751-760
Software engineering: achievements & challenges: formal methods
- Jean-Raymond Abrial:
Formal methods in industry: achievements, problems, future. 761-768
Research demonstrations: verification and testing
- Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
LTSA-WS: a tool for model-based verification of web service compositions and choreography. 771-774 - Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin:
HighSpec: a tool for building and checking OZTA models. 775-778 - Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado:
GridUnit: software testing on the grid. 779-782
Research demonstrations: development and transformation
- Kyungseok Kim, Hyejung Kim, Miyoung Ahn, Minseok Seo, Yeop Chang, Kyo Chul Kang:
ASADAL: a tool system for co-development of software and test environment based on product line engineering. 783-786 - Gerardo Canfora, Giuseppe Di Santo, Eugenio Zimeo:
Developing and executing java AWT applications on limited devices with TCPTE. 787-790 - Marat Boshernitsan, Susan L. Graham:
Interactive transformation of java programs in eclipse. 791-794
Research demonstrations: data base and business process
- William G. J. Halfond, Alessandro Orso:
Preventing SQL injection attacks using AMNESIA. 795-798 - Ying Zou, Qi Zhang:
A framework for automatic generation of evolvable e-commerce workplaces using business processes. 799-802 - Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux:
LISFS: a logical information system as a file system. 803-806
Informal tool demonstrations
- Dirk Beyer:
Relational programming with CrocoPat. 807-810 - Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale:
Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development. 811-814 - Sven Jörges, Tiziana Margaria, Bernhard Steffen:
FormulaBuilder: a tool for graph-based modelling and generation of formulae. 815-818 - Jan Jürjens, Jorge Fox:
Tools for model-based security engineering. 819-822 - Chang Liu, En Ye, Debra J. Richardson:
LtRules: an automated software library usage rule extraction tool. 823-826 - Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon:
MuJava: a mutation system for java. 827-830 - Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue:
A tool for analyzing and detecting malicious mobile code. 831-834 - Tao Xie, Evan Martin, Hai Yuan:
Automatic extraction of abstract-object-state machines from unit-test executions. 835-838 - Xinrong Xie, Denys Poshyvanyk, Andrian Marcus:
3D visualization for concept location in source code. 839-842
Emerging results: architecture
- Muhammad Ali Babar, Barbara A. Kitchenham, Ian Gorton:
Towards a distributed software architecture evaluation process: a preliminary assessment. 845-848 - Lars Grunske:
Identifying "good" architectural design alternatives with multi-objective optimization strategies. 849-852 - Roshanak Roshandel, Somo Banerjee, Leslie Cheung, Nenad Medvidovic, Leana Golubchik:
Estimating software component reliability by leveraging architectural models. 853-856 - David Woollard, Nenad Medvidovic:
An architectural style for high-performance asymmetrical parallel computations. 857-860
Emerging results: formal methods and analysis
- Christoph Csallner, Yannis Smaragdakis:
Dynamically discovering likely interface invariants. 861-864 - Shan Shan Huang, Yannis Smaragdakis:
Easy language extension with meta-aspectJ. 865-868 - Yu-Seung Ma, Mary Jean Harrold, Yong Rae Kwon:
Evaluation of mutation testing for object-oriented programs. 869-872 - Panagiotis Manolios, Daron Vroon:
Integrating static analysis and general-purpose theorem proving for termination analysis. 873-876 - Yutaka Yamauchi, Jack Whalen, Nozomi Ikeya, Erik Vinkhuyzen:
The problem of knowledge decoupling in software development projects. 877-880
Emerging results: metrics
- Steven B. Dolins:
Using the balanced scorecard process to compute the value of software applications. 881-884 - Bela Mutschler, Johannes Bumiller, Manfred Reichert:
Designing an economic-driven evaluation framework for process-oriented software technologies. 885-888