34. ICSE 2012:
Zurich, Switzerland Martin Glinz , Gail C. Murphy , Mauro Pezzè (Eds.):
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland.
IEEE 2012, ISBN 978-1-4673-1067-3 Technical Research
Fault Handling
export record as
dblp key:
export record as
dblp key:
Jian Zhou ,
Hongyu Zhang ,
David Lo :
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports.
14-24
export record as
dblp key:
export record as
dblp key:
Code Generation and Recovery
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Empirical Studies of Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Performance Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/SiegmundKKABRS12
Defect Prediction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Refactoring
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/VakilianCNRBJ12
Human Aspects of Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bug Detection
export record as
dblp key:
export record as
dblp key:
Michael Pradel ,
Thomas R. Gross :
Leveraging test generation and specification mining for automated bug detection without false positives.
288-298
export record as
dblp key:
Peng Liu ,
Charles Zhang :
Axis: Automatically fixing atomicity violations through solving control constraints.
299-309
export record as
dblp key:
Multiversion Software
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Similarity and Classification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Analysis for Evolution
export record as
dblp key:
export record as
dblp key:
conf/icse/BhattacharyaINF12 export record as
dblp key:
export record as
dblp key:
Debugging
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Human Aspects of Process
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency and Exceptions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yan Cai ,
W. K. Chan :
MagicFuzzer: Scalable deadlock detection for large-scale applications.
606-616
Software Architecture
export record as
dblp key:
export record as
dblp key:
Yongjie Zheng ,
Richard N. Taylor :
Enhancing architecture-implementation conformance with change management and support for behavioral mapping.
628-638
export record as
dblp key:
conf/icse/MirakhorliSCC12
Formal Verification
export record as
dblp key:
export record as
dblp key:
conf/icse/BalasubramaniamJKMN12 export record as
dblp key:
Invariant Generation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regression Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Vulnerability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
API Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Code Recommenders
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test Automation
export record as
dblp key:
export record as
dblp key:
conf/icse/ThummalapentaSSC12 export record as
dblp key:
export record as
dblp key:
Validation of Specification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynotes
export record as
dblp key:
Saskia Sassen :
Digital formations of the powerful and the powerless (Keynote).
961
export record as
dblp key:
Frank-Dieter Clesle :
Supporting sustainability with software - An industrial perspective (Keynote).
962
export record as
dblp key:
Jeff Kramer :
Whither software architecture? (Keynote).
963
Software Engineering in Practice
Services and Analytics
export record as
dblp key:
Clovis Chapman :
Towards a federated cloud ecosystem (Invited industrial talk).
967
export record as
dblp key:
export record as
dblp key:
Tarmo Ploom ,
Stefan Scheit ,
Axel Glaser :
Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscape.
977-986
export record as
dblp key:
Mini-Tutorial:
Software Analytics
export record as
dblp key:
Invited Industrial Experts
export record as
dblp key:
Keith Braithwaite :
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk).
998
export record as
dblp key:
Eberhard Wolff :
Software architecture - What does it mean in industry? (Invited industrial talk).
999
export record as
dblp key:
Tom Sprenger :
How software engineering can benefit from traditional industries - A practical experience report (Invited industrial talk).
1000
Formal Methods
export record as
dblp key:
Wolfram Schulte :
Ten years of automated code analysis at Microsoft (Invited industrial talk).
1001
export record as
dblp key:
conf/icse/AndronickJKKSZZ12 export record as
dblp key:
export record as
dblp key:
Goldfish Bowl Panel:
Software Development Analytics
export record as
dblp key:
Re-engineering
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Debugging
export record as
dblp key:
export record as
dblp key:
conf/icse/ZimmermannNGM12 export record as
dblp key:
Case Studies
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Emilia Mendes :
Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies.
1112-1121
Testing
export record as
dblp key:
John Penix :
Large-scale test automation in the cloud (Invited industrial talk).
1122
export record as
dblp key:
export record as
dblp key:
conf/icse/WagnerLHKTPSGS12 export record as
dblp key:
Software Engineering Education
The Role of Software Projects in Software Engineering Education
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Aspects of Teaching Software Engineering
export record as
dblp key:
Tony Cowling :
Stages in teaching software testing.
1185-1194
export record as
dblp key:
export record as
dblp key:
Software Engineering Education in Industry
export record as
dblp key:
conf/icse/SamarthyamSGN12
Teaching Distributed Software Engineering
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
New Ideas and Emerging Results
NIER in Support of Software Engineers
export record as
dblp key:
Tobias Roehm ,
Walid Maalej :
Automatically detecting developer activities and problems in software development work.
1261-1264
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
James M. Corrigan :
Augmented intelligence - The new AI - Unleashing human capabilities in knowledge work.
1285-1288
NIER for Mining Product and Process Data
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Abram Hindle :
Green mining: Investigating power consumption across versions.
1301-1304
export record as
dblp key:
export record as
dblp key:
conf/icse/ChatzigeorgiouM12 export record as
dblp key:
NIER for Verification and Evolution
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/Cleland-HuangSKCLMGPHL12 Jane Cleland-Huang ,
Yonghee Shin ,
Ed Keenan ,
Adam Czauderna ,
Greg Leach ,
Evan Moritz ,
Malcom Gethers ,
Denys Poshyvanyk ,
Jane Huffman Hayes ,
Wenbin Li :
Toward actionable, broadly accessible contests in Software Engineering.
1329-1332
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/PerrouinMCFKTBJ12 export record as
dblp key:
conf/icse/CasatiDDEFKMMOPQRSTV12 Fabio Casati ,
Florian Daniel ,
Guenadi Dantchev ,
Joakim Eriksson ,
Niclas Finne ,
Stamatis Karnouskos ,
Patricio Moreno Montera ,
Luca Mottola ,
Felix Jonathan Oppermann ,
Gian Pietro Picco ,
Antonio Quartulli ,
Kay Römer ,
Patrik Spiess ,
Stefano Tranquillini ,
Thiemo Voigt :
Towards business processes orchestrating the physical enterprise with wireless sensor networks.
1357-1360
export record as
dblp key:
Formal Research Demonstrations
Formal Demos 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/KeenanCLCSMGPMHDMHH12 Ed Keenan ,
Adam Czauderna ,
Greg Leach ,
Jane Cleland-Huang ,
Yonghee Shin ,
Evan Moritz ,
Malcom Gethers ,
Denys Poshyvanyk ,
Jonathan I. Maletic ,
Jane Huffman Hayes ,
Alex Dekhtyar ,
Daria Manukian ,
Shervin Hossein ,
Derek Hearn :
TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions.
1375-1378
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Demos 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Posters and Informal Demonstrations
Posters
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Informal Demonstrations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Doctoral Symposium
Posters 1-12
export record as
dblp key:
export record as
dblp key:
Gabriele Bavota :
Using structural and semantic information to support software refactoring.
1479-1482
export record as
dblp key:
Sedigheh Khoshnevis :
An approach to variability management in service-oriented product lines.
1483-1486
export record as
dblp key:
Erol-Valeriu Chioasca :
Using machine learning to enhance automated requirements model transformation.
1487-1490
export record as
dblp key:
Andrea Avancini :
Security testing of web applications: A research plan.
1491-1494
export record as
dblp key:
Christopher Bailey :
Application of Self-Adaptive techniques to federated authorization models.
1495-1498
export record as
dblp key:
Tezcan Dilshener :
Improving information retrieval-based concept location using contextual relationships.
1499-1502
export record as
dblp key:
Monde Kalumbilo :
Effective specification of decision rights and accountabilities for better performing software engineering projects.
1503-1506
export record as
dblp key:
export record as
dblp key:
Wanzhi Wen :
Software fault localization based on program slicing spectrum.
1511-1514
export record as
dblp key:
Salma Imtiaz :
Architectural task allocation in distributed environment: A traceability perspective.
1515-1518
export record as
dblp key:
Wided Ghardallou :
Using invariant relations in the termination analysis of while loops.
1519-1522
Presentations 1-4
export record as
dblp key:
Marcel Böhme :
Software regression as change of input partitioning.
1523-1526
export record as
dblp key:
Dennis Westermann :
A generic methodology to derive domain-specific performance feedback for developers.
1527-1530
export record as
dblp key:
Alfredo Motta :
Towards the verification of multi-diagram UML models.
1531-1534
export record as
dblp key:
Anja Guzzi :
Documenting and sharing knowledge about code.
1535-1538
Presentations 5-6
export record as
dblp key:
Kelly Blincoe :
Timely and efficient facilitation of coordination of software developers' activities.
1539-1542
export record as
dblp key:
Benjamin Rodes :
Stack layout transformation: Towards diversity for securing binary programs.
1543-1546
Posters 13-25
export record as
dblp key:
Nicolás D'Ippolito :
Synthesis of event-based controllers: A software engineering challenge.
1547-1550
export record as
dblp key:
Malte Ressin :
Empirically researching development of international software.
1551-1554
export record as
dblp key:
Fathiyeh Faghih :
Model translations among big-step modeling languages.
1555-1558
export record as
dblp key:
Pedro Monteiro :
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors.
1559-1562
export record as
dblp key:
Fehmi Jaafar :
On the analysis of evolution of software artefacts and programs.
1563-1566
export record as
dblp key:
export record as
dblp key:
Kathryn T. Stolee :
Finding suitable programs: Semantic search with incomplete and lightweight specifications.
1571-1574
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Weiyi Shang :
Bridging the divide between software developers and operators using logs.
1583-1586
export record as
dblp key:
Marcelo Serrano Zanetti :
The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities.
1587-1590
export record as
dblp key:
export record as
dblp key:
Volker Schuchardt :
Moving mobile applications between mobile devices seamlessly.
1595-1598
ACM Student Research Competition
export record as
dblp key:
Kelly Blincoe :
Timely detection of Coordination Requirements to support collaboration among software developers.
1601-1603
export record as
dblp key:
Kai Yu :
Improving failure-inducing changes identification using coverage analysis.
1604-1606
export record as
dblp key:
Brittany Johnson :
A study on improving static analysis tools: Why are we not using them?
1607-1609
export record as
dblp key:
Nupul Kukreja :
Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations.
1610-1612
export record as
dblp key:
Antonio Vetro :
Using automatic static analysis to identify technical debt.
1613-1615
export record as
dblp key:
Jorge Mendes :
Coupled evolution of model-driven spreadsheets.
1616-1618
export record as
dblp key:
Cheng Thao :
Managing evolution of software product line.
1619-1621
export record as
dblp key:
Andreas Demuth :
Enabling dynamic metamodels through constraint-driven modeling.
1622-1624
export record as
dblp key:
export record as
dblp key:
Niko Schwarz :
Hot clones: Combining search-driven development, clone management, and code provenance.
1628-1629
export record as
dblp key:
Zhongxian Gu :
Capturing and exploiting fine-grained IDE interactions.
1630-1631
export record as
dblp key:
Pablo Estefo :
Restructuring unit tests with TestSurgeon.
1632-1634
export record as
dblp key:
export record as
dblp key:
Matteo Camilli :
Petri nets state space analysis in the cloud.
1638-1640
export record as
dblp key:
Simon Butler :
Mining Java class identifier naming conventions.
1641-1643
export record as
dblp key:
Iman Keivanloo :
Online sharing and integration of results from mining software repositories.
1644-1646
Invited Summaries
export record as
dblp key:
conf/icse/Kajko-MattssonSGJSHMMEBS12 Mira Kajko-Mattsson ,
Michael Striewe ,
Michael Goedicke ,
Ivar Jacobson ,
Ian Spence ,
Shihong Huang ,
Paul McMahon ,
Bruce MacIsaac ,
Brian Elvesater ,
Arne J. Berre ,
Ed Seymour :
Refounding software engineering: The Semat initiative (Invited presentation).
1649-1650
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
