default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd ICSE 2011: Waikiki, Honolulu, Hawaii, USA
- Richard N. Taylor, Harald C. Gall, Nenad Medvidovic:
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. ACM 2011, ISBN 978-1-4503-0445-0
Technical / Research Track
Testing the waters I
- Andrea Arcuri, Lionel C. Briand:
A practical guide for using statistical tests to assess randomized algorithms in software engineering. 1-10 - Lin Tan, Yuanyuan Zhou, Yoann Padioleau:
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. 11-20 - James A. Clause, Alessandro Orso:
Camouflage: automated anonymization of field data. 21-30
Surfing the dependability wave
- Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson:
A lightweight code analysis and its role in evaluation of a dependability case. 31-40 - Toshiya Fujii, Tadashi Dohi
, Takaji Fujiwara:
Towards quantitative software reliability assessment in incremental development processes. 41-50 - Stefan Winter, Constantin Sârbu, Neeraj Suri, Brendan Murphy:
The impact of fault models on software robustness evaluations. 51-60
Refactoring your Lei I
- Fredrik Kjolstad, Danny Dig, Gabriel Acevedo, Marc Snir:
Transformation for class immutability. 61-70 - Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Refactoring Java programs for flexible locking. 71-80 - Kathryn T. Stolee, Sebastian G. Elbaum:
Refactoring pipe-like mashups for end-user programmers. 81-90
Comprehending the drift I
- Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Mining message sequence graphs. 91-100 - Giriprasad Sridhara, Lori L. Pollock, K. Vijay-Shanker:
Automatically detecting and describing high level actions within methods. 101-110 - Collin McMillan, Mark Grechanik, Denys Poshyvanyk, Qing Xie, Chen Fu:
Portfolio: finding relevant functions and their usage. 111-120
Debugging the surf
- Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík:
Angelic debugging. 121-130 - Ariel Rabkin, Randy H. Katz:
Static extraction of program configuration options. 131-140 - Shane McIntosh, Bram Adams, Thanh H. D. Nguyen, Yasutaka Kamei, Ahmed E. Hassan:
An empirical study of build maintenance effort. 141-150
Empirical luau I
- Miryung Kim, Dongxiang Cai, Sunghun Kim:
An empirical investigation into the role of API-level refactorings during software evolution. 151-160 - Marcelo Cataldo, James D. Herbsleb:
Factors leading to integration failures in global feature-oriented development: an empirical analysis. 161-170 - Pamela Bhattacharya, Iulian Neamtiu:
Assessing programming language impact on development and maintenance: a study on c and c++. 171-180
Far-out surfware engineering
- 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. 181-190 - Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer:
Inferring better contracts. 191-200
Riding the design wave I
- Jungju Oh, Christopher J. Hughes, Guru Venkataramani, Milos Prvulovic:
LIME: a framework for debugging load imbalance in multi-threaded execution. 201-210 - Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models for fallible domains. 211-220 - Chao Wang, Mahmoud Said, Aarti Gupta:
Coverage guided systematic concurrency testing. 221-230
Program surfing I
- Fausto Spoto, Michael D. Ernst:
Inference of field initialization. 231-240 - Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini:
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. 241-250 - Fang Yu, Muath Alkhalaf, Tevfik Bultan:
Patching vulnerabilities with sanitization synthesis. 251-260
Developer waves
- Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna Balan, James D. Herbsleb:
Configuring global software teams: a multi-company analysis of project productivity, quality, and profits. 261-270 - Minghui Zhou, Audris Mockus:
Does the initial environment impact the future of developers. 271-280 - Andrew Meneely, Laurie A. Williams:
Socio-technical developer networks: should we trust our measurements? 281-290
Outrigger models and clones
- Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li:
Model projection: simplifying models in response to restricting the environment. 291-300 - Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi:
MeCC: memory comparison-based clone detector. 301-310 - Nils Göde, Rainer Koschke:
Frequency and risks of changes to clones. 311-320
Surfer model checking
- Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. 321-330 - Lucas C. Cordeiro, Bernd Fischer:
Verifying multi-threaded software using smt-based context-bounded model checking. 331-340 - Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
Run-time efficient probabilistic model checking. 341-350
Comprehending the drift II
- David Kawrykow, Martin P. Robillard:
Non-essential changes in version histories. 351-360 - Tung Thanh Nguyen, Hung Viet Nguyen, Hoan Anh Nguyen, Tien N. Nguyen:
Aspect recommendation for evolving software. 361-370 - Reid Holmes, David Notkin:
Identifying program, test, and environmental changes that affect behaviour. 371-380
Testing the waters II
- Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Program abstractions for behaviour validation. 381-390 - Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Programs, tests, and oracles: the foundations of testing revisited. 391-400 - 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. 401-410
Riding the design wave II
- Sunny Wong, Yuanfang Cai, Miryung Kim, Michael Dalton:
Detecting software modularity violations. 411-420 - Sven Apel, Dirk Beyer:
Feature cohesion in software product lines: an exploratory study. 421-430 - Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging software architectures to guide and verify the development of sense/compute/control applications. 431-440
Refactoring your lei II
- Friedrich Steimann, Fabian Urs Stolz:
Refactoring to role objects. 441-450 - Felienne Hermans, Martin Pinzger, Arie van Deursen:
Supporting professional spreadsheet users by generating leveled dataflow diagrams. 451-460 - Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki:
Reverse engineering feature models. 461-470
Empirical luau II
- John Edward Hutchinson, Jon Whittle, Mark Rouncefield, Steinar Kristoffersen:
Empirical assessment of MDE in industry. 471-480 - Sunghun Kim, Hongyu Zhang, Rongxin Wu, Liang Gong:
Dealing with noise in defect prediction. 481-490 - Foyzur Rahman, Premkumar T. Devanbu:
Ownership, experience and defects: a fine-grained study of authorship. 491-500
Program surfing II
- Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface decomposition for service compositions. 501-510 - Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson:
Unifying execution of imperative and declarative code. 511-520 - Michael Bayne, Richard Cook, Michael D. Ernst:
Always-available static and dynamic feedback. 521-530
Comprehending the drift III
- Massila Kamalrudin, John G. Hosking, John C. Grundy:
Improving requirements quality using essential use case interaction patterns. 531-540 - Peter C. Rigby, Margaret-Anne D. Storey:
Understanding broadcast based peer review on open source software projects. 541-550 - Richard Wettel, Michele Lanza, Romain Robbes:
Software systems as cities: a controlled experiment. 551-560
Web surfing
- Ali Mesbah, Mukul R. Prasad:
Automated cross-browser compatibility testing. 561-570 - Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip:
A framework for automated testing of javascript web applications. 571-580 - William N. Sumner, Tao Bao, Xiangyu Zhang, Sunil Prabhakar:
Coalescing executions for fast uncertainty analysis. 581-590
Testing the waters III
- Choonghwan Lee, Feng Chen, Grigore Rosu:
Mining parametric specifications. 591-600 - Cédric Jeanneret, Martin Glinz, Benoit Baudry:
Estimating footprints of model operations. 601-610 - Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. 611-620
Keynotes
- Kumiyo Nakakoji:
Interactivity, continuity, sketching, and experience: (keynote abstract). 621 - Bill Dresselhaus:
Exciting new trends in design thinking. 622
Software Engineering in Practice
Empirical software engineering
- Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz, Karen L. Fisher:
A case study of measuring process risk for early insights into software safety. 623-632 - John Edward Hutchinson, Mark Rouncefield, Jon Whittle:
Model-driven engineering practices in industry. 633-642 - Bradley R. Schmerl, David Garlan, Vishal Dwivedi, Michael W. Bigrigg, Kathleen M. Carley:
SORASCS: a case study in soa-based platform design for socio-cultural analysis. 643-652
Industry software architecture
- Liam O'Brien, James Gibson, Jon Gray:
A method for selecting SOA pilot projects including a pilot metrics framework. 653-662 - Rick Kazman, Len Bass, James Ivers, Gabriel A. Moreno:
Architecture evaluation without an architecture: experience with the smart grid. 663-670 - Jeroen van den Bos, Tijs van der Storm:
Bringing domain-specific languages to digital forensics. 671-680
Software engineering at large
- Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller:
Building and using pluggable type-checkers. 681-690 - Rachel K. E. Bellamy, Bonnie E. John, Sandra Kogan:
Deploying CogTool: integrating quantitative usability assessment into real-world software development. 691-700 - Daniel Port, Allen P. Nikora, Jairus Hihn, LiGuo Huang:
Experiences with text mining large collections of unstructured systems development artifacts at jpl. 701-710
Software metrics
- Bill Curtis, Jay Sappidi, Jitendra Subramanyam:
An evaluation of the internal quality of business applications: does size matter? 711-715 - Paul Luo Li, Ryan Kivett, Zhiyuan Zhan, Sung-eok Jeon, Nachiappan Nagappan, Brendan Murphy, Amy J. Ko:
Characterizing the differences between pre- and post- release versions of software. 716-725 - Jonathan Streit, Markus Pizka:
Why software quality improvement fails: (and how to succeed nevertheless). 726-735
Software testing and analysis
- Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick:
Code coverage analysis in practice for large systems. 736-745 - Mithun Acharya, Brian Robinson:
Practical change impact analysis based on static program slicing for industrial software systems. 746-755 - Yoon-chan Jhi, Xinran Wang, Xiaoqi Jia, Sencun Zhu, Peng Liu, Dinghao Wu:
Value-based program characterization and its application to software plagiarism detection. 756-765
Tools and environments
- Hans Christian Benestad, Jo Erskine Hannay:
A comparison of model-based and judgment-based release planning in incremental software projects. 766-775 - Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek:
An industrial case study on quality impact prediction for evolving service-oriented software. 776-785 - Wladimir Araujo, Lionel C. Briand, Yvan Labiche:
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. 786-795
New Ideas and Emerging Results
Collaboration
- Pierre F. Tiako:
Perspectives of delegation in team-based distributed software development over the GENI infrastructure. 796-799 - Irwin Kwan, Daniela E. Damian:
The hidden experts in software-engineering communication. 800-803 - Christoph Treude, Ohad Barzilay, Margaret-Anne D. Storey:
How do programmers ask and answer questions on the web?. 804-807
Tools
- Rachel K. E. Bellamy, Michael Desmond, Jacquelyn Martino, Paul Matchen, Harold Ossher, John T. Richards, Calvin Swart:
Sketching tools for ideation. 808-811 - John Hardy, Christopher Bull, Gerald Kotonya, Jon Whittle:
Digitally annexing desk space for software development. 812-815 - Nan Niu, Anas Mahmoud, Gary Bradshaw:
Information foraging as a foundation for code navigation. 816-819
Tools & languages
- Rocco Oliveto, Malcom Gethers, Gabriele Bavota, Denys Poshyvanyk, Andrea De Lucia:
Identifying method friendships to remove the feature envy bad smell. 820-823 - Nicolás López, André van der Hoek:
The code orb: supporting contextualized coding via at-a-glance views. 824-827 - Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff:
Permission-based programming languages. 828-831
Process
- Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko:
Toward a better understanding of tool usage. 832-835 - Borislava I. Simidchieva, Leon J. Osterweil:
Characterizing process variation. 836-839 - Nicolas Mangano, Harold Ossher, Ian Simmonds, Matthew Callery, Michael Desmond, Sophia Krasikov:
Blending freeform and managed information in tables. 840-843 - Kenneth Mark Anderson, Aaron Schram:
Design and implementation of a data analytics infrastructure in support of crisis informatics research. 844-847
Requirements
- Yang Li, Nitesh Narayan, Jonas Helming, Maximilian Koegel:
A domain specific requirements model for scientific computing. 848-851 - Felix Bott, Stephan Diehl, Rainer Lutz:
CREWW: collaborative requirements engineering with wii-remotes. 852-855 - Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh:
Learning to adapt requirements specifications of evolving systems. 856-859 - David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, Jeff Holden, Wei-Keat Kong:
Towards overcoming human analyst fallibility in the requirements tracing process. 860-863
Verification 1
- Alexander Nöhrer, Alexander Reder, Alexander Egyed:
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution. 864-867 - Grigore Rosu, Andrei Stefanescu:
Matching logic: a new program verification approach. 868-871
Testing
- Cornel Barna, Marin Litoiu, Hamoun Ghanbari:
Model-based performance testing. 872-875 - Baiqiang Chen, Jian Zhang:
Tuple density: a new metric for combinatorial test suites. 876-879 - Colin Atkinson, Oliver Hummel, Werner Janjic:
Search-enhanced testing. 880-883
Testing & debugging
- Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen:
Fuzzy set-based automatic bug triaging. 884-887 - Mary Lou Soffa, Kristen R. Walcott, Jason Mars:
Exploiting hardware advances for software testing and debugging. 888-891 - Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Better testing through oracle selection. 892-895
Program analysis 1
- Xiao Xiao, Jinguo Zhou, Charles Zhang:
Tracking data structures for postmortem analysis. 896-899 - Xin Peng, Zhenchang Xing, Xi Tan, Yijun Yu, Wenyun Zhao:
Iterative context-aware feature location. 900-903 - Romain Robbes, Mircea Lungu:
A study of ripple effects in software ecosystems. 904-907
Design traceability
- Mehdi Mirakhorli, Jane Cleland-Huang:
Tracing architectural concerns in high assurance systems. 908-911 - Xiaofan Chen, John G. Hosking, John C. Grundy:
A combination approach for enhancing automated traceability. 912-915 - Dan Tofan, Matthias Galster, Paris Avgeriou:
Capturing tacit architectural knowledge using the repertory grid technique. 916-919
Modeling (or not)
- Stan Jarzabek, Ha Duy Trung:
Flexible generators for software reuse and evolution. 920-923 - Fahad Rafique Golra, Fabien Dagnat:
The lazy initialization multilayered modeling framework. 924-927 - Henrik Bærbak Christensen, Klaus Marius Hansen:
Towards architectural information in implementation. 928-931
Empirical SE
- Tung Thanh Nguyen, Tien N. Nguyen, Tu Minh Phuong:
Topic-based defect prediction. 932-935 - Victor Pankratius:
Automated usability evaluation of parallel programming constructs. 936-939 - Kenneth Hullett, Nachiappan Nagappan, Eric Schuh, John Hopson:
Data analytics for game development. 940-943