ASE A*

101 papers

YearTitle / Authors
2015"What Parts of Your Apps are Loved by Users?" (T).
Xiaodong Gu, Sunghun Kim
201530th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015
Myra B. Cohen, Lars Grunske, Michael Whalen
2015A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data.
Gillian J. Greene
2015A Message-Passing Architecture without Public Ids Using Send-to-Behavior.
Eric Shing-Suan Wang, Zhe Dang
2015Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).
Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini
2015ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs.
Lingfeng Bao, Deheng Ye, Zhenchang Xing, Xin Xia, Xinyu Wang
2015An Automated Framework for Recommending Program Elements to Novices (N).
Kurtis Zimmerman, Chandan Raj Rupakheti
2015Array Shadow State Compression for Precise Dynamic Race Detection (T).
James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund
2015Automated Tagging of Software Projects Using Bytecode and Dependencies (N).
Santiago Vargas-Baldrich, Mario Linares Vásquez, Denys Poshyvanyk
2015Automated Test Input Generation for Android: Are We There Yet? (E).
Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso
2015Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N).
Thomas A. Walsh, Phil McMinn, Gregory M. Kapfhammer
2015Automatically Generating Test Templates from Test Names (N).
Benwen Zhang, Emily Hill, James Clause
2015Automating the Extraction of Model-Based Software Product Lines from Model Variants (T).
Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2015CIVL: Formal Verification of Parallel Programs.
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
2015CLAMI: Defect Prediction on Unlabeled Datasets (T).
Jaechang Nam, Sunghun Kim
2015Clone Merge - An Eclipse Plugin to Abstract Near-Clone C++ Methods.
Krishna Narasimhan
2015CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T).
Lee Martie, Thomas D. LaToza, André van der Hoek
2015CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E).
Fei Lv, Hongyu Zhang, Jian-Guang Lou, Shaowei Wang, Dongmei Zhang, Jianjun Zhao
2015Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports (N).
An Ngoc Lam, Anh Tuan Nguyen, Hoan Anh Nguyen, Tien N. Nguyen
2015Configuration-Aware Change Impact Analysis (T).
Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher
2015Copy and Paste Redeemed (T).
Krishna Narasimhan, Christoph Reichenbach
2015Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T).
Atrisha Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel, Krzysztof Czarnecki
2015Covert Communication in Mobile Applications (T).
Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard
2015Crust: A Bounded Verifier for Rust (N).
John Toman, Stuart Pernsteiner, Emina Torlak
2015DRIVER - A Platform for Collaborative Framework Understanding.
Nuno Flores, Ademar Aguiar
2015Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N).
Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, Takuya Watanabe
2015Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E).
Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Alexander Egyed
2015Development Emails Content Analyzer: Intention Mining in Developer Discussions (T).
Andrea Di Sorbo, Sebastiano Panichella, Corrado Aaron Visaggio, Massimiliano Di Penta, Gerardo Canfora, Harald C. Gall
2015Development History Granularity Transformations (N).
Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst
2015Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T).
Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen
2015Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T).
Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri
2015Dynamically Testing GUIs Using Ant Colony Optimization (T).
Santo Carino, James H. Andrews
2015Efficient Data Model Verification with Many-Sorted Logic (T).
Ivan Bocic, Tevfik Bultan
2015Ensemble Methods for App Review Classification: An Approach for Software Evolution (N).
Emitza Guzman, Muhammad El-Haliby, Bernd Bruegge
2015Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T).
Daniel Di Nardo, Fabrizio Pastore, Andrea Arcuri, Lionel C. Briand
2015Executing Model-Based Tests on Platform-Specific Implementations (T).
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015Experiences from Designing and Validating a Software Modernization Transformation (E).
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
2015Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T).
Elena Sherman, Matthew B. Dwyer
2015Extracting Visual Contracts from Java Programs (T).
Abdullah M. Alshanqiti, Reiko Heckel
2015FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters.
Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli
2015Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).
Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
2015Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T).
Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei
2015Fuzzing the Rust Typechecker Using CLP (T).
Kyle Dewey, Jared Roesch, Ben Hardekopf
2015GRT: An Automated Test Generator Using Orchestrated Program Analysis.
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
2015GRT: Program-Analysis-Guided Random Testing (T).
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
2015General LTL Specification Mining (T).
Caroline Lemieux, Dennis Park, Ivan Beschastnikh
2015Generating Fixtures for JavaScript Unit Testing (T).
Amin Milani Fard, Ali Mesbah, Eric Wohlstadter
2015Generating Qualifiable Avionics Software: An Experience Report (E).
Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina
2015Have We Seen Enough Traces? (T).
Hila Cohen, Shahar Maoz
2015How Verified is My Code? Falsification-Driven Verification (T).
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney
2015How do Developers Document Database Usages in Source Code? (N).
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
2015Interpolation Guided Compositional Verification (T).
Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong
2015Investigating Program Behavior Using the Texada LTL Specifications Miner.
Caroline Lemieux, Ivan Beschastnikh
2015JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao
2015LED: Tool for Synthesizing Web Element Locators.
Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
2015Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.
Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T).
Yusuke Oda, Hiroyuki Fudaba, Graham Neubig, Hideaki Hata, Sakriani Sakti, Tomoki Toda, Satoshi Nakamura
2015Learning to Rank for Question-Oriented Software Text Retrieval (T).
Yanzhen Zou, Ting Ye, Yangyang Lu, John Mylopoulos, Lu Zhang
2015Measuring Object-Oriented Design Principles.
Johannes Bräuer
2015MetaMod: A Modeling Formalism with Modularity at Its Core.
Ana-Maria Sutîi
2015Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T).
Phong Minh Vu, Tam The Nguyen, Hung Viet Pham, Tung Thanh Nguyen
2015Model Checking Task Parallel Programs Using Gradual Permissions (N).
Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar
2015Model-Based Testing of Stateful APIs with Modbat.
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2015Model-Driven Allocation Engineering (T).
Uwe Pohlmann, Marcus Hüwe
2015Mutation-Based Fault Localization for Real-World Multilingual Programs (T).
Shin Hong, ByeongCheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim
2015Optimistic Shared Memory Dependence Tracing (T).
Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu
2015Performance Prediction of Configurable Software Systems by Fourier Learning (T).
Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki
2015Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T).
Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu
2015Predicting Delays in Software Projects Using Networked Classification (T).
Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Aditya Ghose
2015Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code.
Hiroyuki Fudaba, Yusuke Oda, Koichi Akabe, Graham Neubig, Hideaki Hata, Sakriani Sakti, Tomoki Toda, Satoshi Nakamura
2015Quantification of Software Changes through Probabilistic Symbolic Execution (N).
Antonio Filieri, Corina S. Pasareanu, Guowei Yang
2015Recommending API Usages for Mobile Apps with Hidden Markov Model.
Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen
2015Refactorings for Android Asynchronous Programming.
Yu Lin, Danny Dig
2015Region and Effect Inference for Safe Parallelism (T).
Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han
2015Repairing Programs with Semantic Code Search (T).
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
2015Reverse Engineering Mobile Application User Interfaces with REMAUI (T).
Tuan Anh Nguyen, Christoph Csallner
2015Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T).
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2015Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T).
Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu
2015Semantic Slicing of Software Version Histories (T).
Yi Li, Julia Rubin, Marsha Chechik
2015SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering.
Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling, Manuel Ohrndorf
2015SpyREST in Action: An Automated RESTful API Documentation Tool.
S. M. Sohan, Craig Anslow, Frank Maurer
2015SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N).
S. M. Sohan, Craig Anslow, Frank Maurer
2015Stability of Self-Adaptive Software Architectures.
Maria Salama
2015Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
2015Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T).
Changhee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu
2015Static Window Transition Graphs for Android (T).
Shengqian Yang, Hailong Zhang, Haowei Wu, Yan Wang, Dacong Yan, Atanas Rountev
2015String Analysis of Android Applications (N).
Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek
2015Study and Refactoring of Android Asynchronous Programming (T).
Yu Lin, Semih Okur, Danny Dig
2015Synergizing Specification Miners through Model Fissions and Fusions (T).
Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo, Ivan Beschastnikh
2015Synthesising Interprocedural Bit-Precise Termination Proofs (T).
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
2015Synthesizing Web Element Locators (T).
Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
2015TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).
Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang
2015Test Analysis: Searching for Faults in Tests (N).
Matias Waterloo, Suzette Person, Sebastian G. Elbaum
2015Testing Cross-Platform Mobile App Development Frameworks (T).
Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, Liviu Iftode
2015The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems.
Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Jürgen Thanhofer-Pilisch
2015The iMPAcT Tool: Testing UI Patterns on Mobile Applications.
Ines Coimbra Morgado, Ana C. R. Paiva
2015Tool Support for Analyzing Mobile App Reviews.
Phong Minh Vu, Hung Viet Pham, Tam The Nguyen, Tung Thanh Nguyen
2015Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work (N).
Lingfeng Bao, Zhenchang Xing, Xinyu Wang, Bo Zhou
2015Tracking the Software Quality of Android Applications Along Their Evolution (T).
Geoffrey Hecht, Omar Benomar, Romain Rouvoy, Naouel Moha, Laurence Duchien
2015Understanding, Refactoring, and Fixing Concurrency in C#.
Semih Okur
2015Variable Feature Usage Patterns in PHP (T).
Mark Hills