default search action
14th ESEC / 21st SIGSOFT FSE 2013: Saint Petersburg, Russian Federation
- Bertrand Meyer, Luciano Baresi, Mira Mezini:
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. ACM 2013, ISBN 978-1-4503-2237-9
Keynotes
- Moshe Y. Vardi:
A logical revolution (keynote). 1 - Paola Inverardi, Marco Autili
, Davide Di Ruscio
Producing software by integration: challenges and research directions (keynote). 2-12 - Georges Gonthier:
Software engineering for mathematics (keynote). 13
Panels
- Bertrand Meyer, Harald C. Gall
Empirical answers to fundamental software engineering problems (panel). 14-18 - Steven Fraser
A publication culture in software engineering (panel). 19-23
AEC Summary
- Alexandre Bergel, Lorenzo Bettini
Artifact evaluation (summary). 24-25
Testing I
- Justyna Petke
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. 26-36 - Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Con2colic testing. 37-47 - Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas:
Boosting concolic testing via interpolation. 48-58
Dynamic and Variable Software
- Antonia Bertolino
Adequate monitoring of service compositions. 59-69 - Marin Silic, Goran Delac, Sinisa Srbljic:
Prediction of atomic web services reliability based on k-means clustering. 70-80 - Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer:
Scalable analysis of variable software. 81-91
Formal Reasoning
- Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström:
Bayesian inference using data flow analysis. 92-102 - Kaituo Li, Christoph Reichenbach
Second-order constraints in dynamic invariant inference. 103-113 - Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh
Z3-str: a z3-based string solver for web application analysis. 114-124
Empirical Studies I
- Dong Qiu, Bixin Li, Zhendong Su
An empirical analysis of the co-evolution of schema and code in database applications. 125-135 - Cu D. Nguyen, Alessandro Marchetto
Automated oracles: an empirical study on cost and effectiveness. 136-146 - Foyzur Rahman, Daryl Posnett, Israel Herraiz, Premkumar T. Devanbu
Sample size vs. bias in defect prediction. 147-157
Parallel, Concurrent, and Distributed Systems
- Peng Liu, Julian Dolby, Charles Zhang:
Finding incorrect compositions of atomicity. 158-168 - Omer Tripp, Noam Rinetzky:
Tightfit: adaptive parallelization with foresight. 169-179 - Diptikalyan Saha, Pankaj Dhoolia, Gaurab Paul:
Distributed program tracing. 180-190
Software Development Activities
- Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth:
Will you still compile me tomorrow? static cross-version compiler validation. 191-201 - Peter C. Rigby, Christian Bird:
Convergent contemporary software peer review practices. 202-212 - Kelly Blincoe
Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects. 213-223
Testing II
- Aravind Machiry, Rohan Tahiliani, Mayur Naik:
Dynodroid: an input generation system for Android apps. 224-234 - Paul Dan Marinescu, Cristian Cadar
KATCH: high-coverage testing of software patches. 235-245 - Aditya V. Nori, Rahul Sharma:
Termination proofs from tests. 246-256
Dynamic Analysis
- Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. 257-267 - Khanh Nguyen
Cachetor: detecting cacheable data to remove bloat. 268-278 - Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang:
Effective dynamic detection of alias analysis errors. 279-289
Models and Features
- Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans:
Feature model extraction from large collections of informal product descriptions. 290-300 - Julia Rubin, Marsha Chechik:
N-way model merging. 301-311 - Nishant Sinha, Rezwana Karim:
Compiling mockups to flexible UIs. 312-322
Test and Analysis
- Kivanç Muslu, Yuriy Brun
Making offline analyses continuous. 323-333 - Marcel Böhme
Regression tests to expose change interaction errors. 334-344 - Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel:
Differential assertion checking. 345-355
Maintenance and Evolution
- Mark Grechanik
Preventing database deadlocks in applications. 356-366 - Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, Nenad Medvidovic:
Identifying message flow in distributed event-based systems. 367-377 - Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, Jane Cleland-Huang:
Improving trace accuracy through data-driven configuration and composition of tracing features. 378-388
Formal Verification
- Dirk Beyer
Precision reuse for efficient regression verification. 389-399 - Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein:
Cascading verification: an integrated method for domain-specific model checking. 400-410 - Pietro Braione
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. 411-421
Model Inference and Synthesis
- Matthias Schur, Andreas Roth, Andreas Zeller
Mining behavior models from enterprise web applications. 422-432 - Joel Greenyer
Incrementally synthesizing controllers from scenario-based product line specifications. 433-443 - Shahar Maoz
Synthesis of component and connector models from crosscutting structural views. 444-454
Empirical Studies II
- Tiantian Wang, Mark Harman
Searching for better configurations: a rigorous approach to clone evaluation. 455-465 - Meiyappan Nagappan, Thomas Zimmermann, Christian Bird:
Diversity in software engineering research. 466-476 - Mario Linares Vásquez
API change and fault proneness: a threat to the success of Android apps. 477-487
JavaScript
- Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs:
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript. 488-498 - Magnus Madsen, Benjamin Livshits, Michael Fanning:
Practical static analysis of JavaScript applications in the presence of frameworks and libraries. 499-509 - Casper Svenning Jensen, Anders Møller
Server interface descriptions for automated testing of JavaScript web applications. 510-520
Source Code and Programming
- Martin Schäf
Explaining inconsistent code. 521-531 - Tung Thanh Nguyen
A statistical semantic language model for source code. 532-542 - Alex Gyori, Lyle Franklin, Danny Dig
Crossing the gap from imperative to functional programming through refactoring. 543-553
Bug Detection
- Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan:
Scalable and incremental software bug detection. 554-564 - Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei:
Inferring project-specific bug patterns for detecting sibling bugs. 565-575 - Chengnian Sun, Siau-Cheng Khoo:
Mining succinct predicated bug signatures. 576-586
Tool Demonstrations I
- Fabio Calefato
SocialCDE: a social awareness tool for global software teams. 587-590 - B. M. Mainul Hossain
REDACT: preventing database deadlocks from application-based transactions. 591-594 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
aPET: a test case generation tool for concurrent objects. 595-598
Tool Demonstrations II
- Chetan Arora
RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates. 599-602 - Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
RiTHM: a tool for enabling time-triggered runtime verification for C programs. 603-606 - Fu Song, Tayssir Touili:
PoMMaDe: pushdown model-checking for malware detection. 607-610 - Tuan-Hung Pham, Michael W. Whalen:
RADA: a tool for reasoning about algebraic data types with abstractions. 611-614
Tool Demonstrations III
- Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs:
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript. 615-618 - Andrew Diniz da Costa, Ricardo Venieris, Gustavo Robichez de Carvalho, Carlos José Pereira de Lucena:
RSA-MBT: a test tool for generating test artifacts based on models. 619-622 - Shuang Liu, Yang Liu
USMMC: a self-contained model checker for UML state machines. 623-626
Analysis and Testing
- Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao:
Extracting URLs from JavaScript via program analysis. 627-630 - Kivanç Muslu, Yuriy Brun
Data debugging with continuous testing. 631-634 - Alessio Gambi, Antonio Filieri
Iterative test suites refinement for elastic computing systems. 635-638 - Laura Inozemtseva, Hadi Hemmati, Reid Holmes:
Using fault history to improve mutation reduction. 639-642
Hunting Bugs
- Hongyu Zhang
A cost-effectiveness criterion for applying software defect prediction models. 643-646 - Jiangtao Gong, Hongyu Zhang
BugMap: a topographic map of bugs. 647-650 - Anh Tuan Nguyen, Tung Thanh Nguyen
Lexical statistical machine translation for language migration. 651-654 - Annie T. T. Ying, Martin P. Robillard:
Code fragment summarization. 655-658
Understanding Software Development
- Daniel J. Dubois, Giordano Tamburrelli:
Understanding gamification mechanisms for software development. 659-662 - Ripon K. Saha, Avigit K. Saha, Dewayne E. Perry:
Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow. 663-666 - Yael Dubinsky, Yishai A. Feldman, Maayan Goldstein:
Where is the business logic? 667-670 - Emitza Guzman, Bernd Bruegge:
Towards emotional awareness in software development teams. 671-674
Implementing Sound Software-Engineering Practices in Companies
- Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri:
Precise range analysis on large industry code. 675-678 - Thijmen de Gooijer, Heiko Koziolek:
Agreements for software reuse in corporations. 679-682 - Andrey Terekhov
Good technology makes the difficult task easy. 683-686
Approaches to Quality
- Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, Henry Holtzman:
ShAir: extensible middleware for mobile peer-to-peer resource sharing. 687-690 - Audris Mockus
Risky files: an approach to focus quality improvement effort. 691-694 - Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. 695-698
Effective Industry Use of Software-Engineering Tools
- Clément Escoffier, Philippe Lalanda, Nicolas Rempulsky:
h-ubu: an industrial-strength service-oriented component framework for JavaScript applications. 699-702 - Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design and optimization of multi-clocked embedded systems using formal technique. 703-706 - Rahul Kumar, Aditya V. Nori:
The economics of static analysis tools. 707-710
Doctoral Papers 1
- Nicholas DiGiuseppe:
Automatically describing software faults. 711-714 - Marie Christin Platenius:
Fuzzy service matching in on-the-fly computing. 715-718
Doctoral Papers 2
- Oleg Nenashev:
PHRT: a model and programmable tool for hardware reengineering automation. 719-722 - Nicolas Lopez:
Using topic models to understand the evolution of a software ecosystem. 723-726
Doctoral Papers 3
- Yanja Dajsuren:
Automotive architecture description and its quality. 727-730 - Bahtijar Vogel:
Towards open architecture system. 731-734
Doctoral Papers 4
- Ulyana Tikhonova:
A framework for defining the dynamic semantics of DSLs. 735-738
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: