ICSE (1)

Keyphrases

Publications

2015

Claudio Silenzi
Software Engineering in Ferrari F1. ICSE (1) (2015)
Fabrizio Pastore, Leonardo Mariani
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ICSE (1) (2015)
Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. ICSE (1) (2015)
Paul Ralph
Developing and Evaluating Software Engineering Process Theories. ICSE (1) (2015)
Janet Siegmund, Norbert Siegmund, Sven Apel
Views on Internal and External Validity in Empirical Software Engineering. ICSE (1) (2015)
Rahulkrishna Yandrapally, Giriprasad Sridhara, Saurabh Sinha
Automated Modularization of GUI Test Cases. ICSE (1) (2015)
Markus Kusano, Arijit Chattopadhyay, Chao Wang
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) (2015)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) (2015)
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 ICSE (1) (2015)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) (2015)
Sebastian Nanz, Carlo A. Furia
A Comparative Study of Programming Languages in Rosetta Code. ICSE (1) (2015)
Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden
Mining Apps for Abnormal Usage of Sensitive Data. ICSE (1) (2015)
Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble
Tracking Static Analysis Violations over Time to Capture Developer Characteristics. ICSE (1) (2015)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) (2015)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. ICSE (1) (2015)
Mohsen Vakilian, Raluca Sauciuc, J. David Morgenthaler, Vahab S. Mirrokni
Automated Decomposition of Build Targets. ICSE (1) (2015)
Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè
Measuring Software Redundancy. ICSE (1) (2015)
Antonio Filieri, Lars Grunske, Alberto Leva
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) (2015)
Jeff Huang, Qingzhou Luo, Grigore Rosu
GPredict: Generic Predictive Concurrency Analysis. ICSE (1) (2015)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) (2015)
Eirini Kalliamvakou, Daniela E. Damian, Kelly Blincoe, Leif Singer, Daniel M. Germán
Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub. ICSE (1) (2015)
Gayane Petrosyan, Martin P. Robillard, Renato De Mori
Discovering Information Explaining API Types Using Text Classification. ICSE (1) (2015)
Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes. ICSE (1) (2015)
Yun Young Lee, Darko Marinov, Ralph E. Johnson
Tempura: Temporal Dimension for IDEs. ICSE (1) (2015)
Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
The Art of Testing Less without Sacrificing Quality. ICSE (1) (2015)
Paul Luo Li, Amy J. Ko, Jiamin Zhu
What Makes a Great Software Engineer? ICSE (1) (2015)
Sebastian C. Müller, Thomas Fritz
Stuck and Frustrated or in Flow and Happy: Sensing Developers' Emotions and Progress. ICSE (1) (2015)
Damien Octeau, Daniel Luchaup, Matthew Dering, Somesh Jha, Patrick D. McDaniel
Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. ICSE (1) (2015)
Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev
Static Control-Flow Analysis of User-Driven Callbacks in Android Applications. ICSE (1) (2015)
Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
Detecting Inconsistencies in JavaScript MVC Applications. ICSE (1) (2015)
Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, Akinori Ihara, Ken-ichi Matsumoto
The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models. ICSE (1) (2015)
Yue Jia, Myra B. Cohen, Mark Harman, Justyna Petke
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. ICSE (1) (2015)
Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo
No PAIN, No Gain? The Utility of PArallel Fault INjections. ICSE (1) (2015)
Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) (2015)
Edward K. Smith, Christian Bird, Thomas Zimmermann
Build It Yourself! Homegrown Tools in a Large Software Company. ICSE (1) (2015)
Fayola Peters, Tim Menzies, Lucas Layman
LACE2: Better Privacy-Preserving Data Sharing for Cross Project Defect Prediction. ICSE (1) (2015)
Baljinder Ghotra, Shane McIntosh, Ahmed E. Hassan
Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models. ICSE (1) (2015)
Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests. ICSE (1) (2015)
Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim
Interactive Code Review for Systematic Changes. ICSE (1) (2015)
Valerio Terragni, Shing-Chi Cheung, Charles Zhang
RECONTEST: Effective Regression Testing of Concurrent Programs. ICSE (1) (2015)
Michele Tufano, Fabio Palomba, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia, Denys Poshyvanyk
When and Why Your Code Starts to Smell Bad. ICSE (1) (2015)
Anh Tuan Nguyen, Tien N. Nguyen
Graph-Based Statistical Language Model for Code. ICSE (1) (2015)
Michael Pradel, Parker Schuh, Koushik Sen
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. ICSE (1) (2015)
Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. ICSE (1) (2015)
Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. ICSE (1) (2015)
Ivan Bocic, Tevfik Bultan
Coexecutability for Efficient Verification of Data Model Updates. ICSE (1) (2015)
Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. ICSE (1) (2015)
Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
Compositional Symbolic Execution with Memoized Replay. ICSE (1) (2015)
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
DirectFix: Looking for Simple Program Repairs. ICSE (1) (2015)
Yao Pan, Jules White, Yu Sun, Jeff Gray
Gray Computing: An Analysis of Computing with Background JavaScript Tasks. ICSE (1) (2015)