Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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, Patrizio Pelliccione, Massimo Tivoli:
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, Mark Harman, Giancarlo Succi:
Empirical answers to fundamental software engineering problems (panel). 14-18 - Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). 19-23
AEC Summary
- Alexandre Bergel, Lorenzo Bettini:
Artifact evaluation (summary). 24-25
Testing I
- Justyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman:
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, Eda Marchetti, Andrea Morichetta:
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, Yannis Smaragdakis, Michal Young:
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, Paolo Tonella:
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, Giuseppe Valetto, Daniela E. Damian:
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, Guoqing Xu:
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, Michael D. Ernst, David Notkin:
Making offline analyses continuous. 323-333 - Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury:
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, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang:
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, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
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, Giovanni Denaro, Mauro Pezzè:
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, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally synthesizing controllers from scenario-based product line specifications. 433-443 - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of component and connector models from crosscutting structural views. 444-454
Empirical Studies II
- Tiantian Wang, Mark Harman, Yue Jia, Jens Krinke:
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, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk:
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, Zhendong Su:
Server interface descriptions for automated testing of JavaScript web applications. 510-520
Source Code and Programming
- Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Explaining inconsistent code. 521-531 - Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, Tien N. Nguyen:
A statistical semantic language model for source code. 532-542 - Alex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda:
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, Filippo Lanubile:
SocialCDE: a social awareness tool for global software teams. 587-590 - B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang:
REDACT: preventing database deadlocks from application-based transactions. 591-594 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong:
aPET: a test case generation tool for concurrent objects. 595-598
Tool Demonstrations II
- Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer, Raul Gnaga:
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, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong:
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, Alexandra Meliou:
Data debugging with continuous testing. 631-634 - Alessio Gambi, Antonio Filieri, Schahram Dustdar:
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, S. C. Cheung:
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, Tien N. 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, Randy L. Hackbarth, John Douglas Palframan:
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
a service of 
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-06-10 21:37 CEST 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:
