Abstract is missing.
- Learning to Rank for Question-Oriented Software Text Retrieval (T)Yanzhen Zou, Ting Ye, Yangyang Lu, John Mylopoulos, Lu Zhang 0023. 1-11 [doi]
- Development 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. 12-23 [doi]
- CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T)Lee Martie, Thomas D. LaToza, André van der Hoek. 24-35 [doi]
- How do Developers Document Database Usages in Source Code? (N)Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk. 36-41 [doi]
- Efficient Data Model Verification with Many-Sorted Logic (T)Ivan Bocic, Tevfik Bultan. 42-52 [doi]
- Synthesising Interprocedural Bit-Precise Termination Proofs (T)Hong Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter. 53-64 [doi]
- Interpolation Guided Compositional Verification (T)Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong. 65-74 [doi]
- Crust: A Bounded Verifier for Rust (N)John Toman, Stuart Pernsteiner, Emina Torlak. 75-80 [doi]
- General LTL Specification Mining (T)Caroline Lemieux, Dennis Park, Ivan Beschastnikh. 81-92 [doi]
- Have We Seen Enough Traces? (T)Hila Cohen, Shahar Maoz. 93-103 [doi]
- Extracting Visual Contracts from Java Programs (T)Abdullah M. Alshanqiti, Reiko Heckel. 104-114 [doi]
- Synergizing Specification Miners through Model Fissions and Fusions (T)Tien-Duy B. Le, Xuan-Bach D. Le, David Lo, Ivan Beschastnikh. 115-125 [doi]
- Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T)Daniel Di Nardo, Fabrizio Pastore, Andrea Arcuri, Lionel C. Briand. 126-137 [doi]
- Dynamically Testing GUIs Using Ant Colony Optimization (T)Santo Carino, James H. Andrews. 138-148 [doi]
- Test Analysis: Searching for Faults in Tests (N)Matias Waterloo, Suzette Person, Sebastian G. Elbaum. 149-154 [doi]
- Array Shadow State Compression for Precise Dynamic Race Detection (T)James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund. 155-165 [doi]
- Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric. 166-177 [doi]
- JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao. 178-189 [doi]
- Generating Fixtures for JavaScript Unit Testing (T)Amin Milani Fard, Ali Mesbah 0001, Eric Wohlstadter. 190-200 [doi]
- Do 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. 201-211 [doi]
- GRT: Program-Analysis-Guided Random Testing (T)Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler. 212-223 [doi]
- Study and Refactoring of Android Asynchronous Programming (T)Yu Lin, Semih Okur, Danny Dig. 224-235 [doi]
- Tracking the Software Quality of Android Applications Along Their Evolution (T)Geoffrey Hecht, Omar Benomar, Romain Rouvoy, Naouel Moha, Laurence Duchien. 236-247 [doi]
- Reverse Engineering Mobile Application User Interfaces with REMAUI (T)Tuan-Anh Nguyen, Christoph Csallner. 248-259 [doi]
- CodeHow: 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. 260-270 [doi]
- SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N)S. M. Sohan, Craig Anslow, Frank Maurer. 271-276 [doi]
- Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work (N)Lingfeng Bao, Zhenchang Xing, Xinyu Wang, Bo Zhou. 277-282 [doi]
- An Automated Framework for Recommending Program Elements to Novices (N)Kurtis Zimmerman, Chandan Raj Rupakheti. 283-288 [doi]
- Automated Tagging of Software Projects Using Bytecode and Dependencies (N)Santiago Vargas-Baldrich, Mario Linares Vásquez, Denys Poshyvanyk. 289-294 [doi]
- Repairing Programs with Semantic Code Search (T)Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun. 295-306 [doi]
- Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang 0023, Hong Mei. 307-318 [doi]
- Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T)Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu. 319-330 [doi]
- Synthesizing Web Element Locators (T)Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah 0001. 331-341 [doi]
- Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T)Atri Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel, Krzysztof Czarnecki. 342-352 [doi]
- Predicting Delays in Software Projects Using Networked Classification (T)Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Aditya Ghose. 353-364 [doi]
- Performance Prediction of Configurable Software Systems by Fourier Learning (T)Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki. 365-373 [doi]
- Model-Driven Allocation Engineering (T)Uwe Pohlmann, Marcus Huwe. 374-384 [doi]
- Configuration-Aware Change Impact Analysis (T)Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher. 385-395 [doi]
- Automating the Extraction of Model-Based Software Product Lines from Model Variants (T)Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. 396-406 [doi]
- Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer. 407-417 [doi]
- Executing Model-Based Tests on Platform-Specific Implementations (T)Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky. 418-428 [doi]
- Automated Test Input Generation for Android: Are We There Yet? (E)Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso. 429-440 [doi]
- Testing Cross-Platform Mobile App Development Frameworks (T)Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, Liviu Iftode. 441-451 [doi]
- CLAMI: Defect Prediction on Unlabeled Datasets (T)Jaechang Nam, Sunghun Kim. 452-463 [doi]
- Mutation-Based Fault Localization for Real-World Multilingual Programs (T)Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim. 464-475 [doi]
- Combining 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. 476-481 [doi]
- Fuzzing the Rust Typechecker Using CLP (T)Kyle Dewey, Jared Roesch, Ben Hardekopf. 482-493 [doi]
- TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang 0023. 494-505 [doi]
- Automatically Generating Test Templates from Test Names (N)Benwen Zhang, Emily Hill, James Clause. 506-511 [doi]
- Region and Effect Inference for Safe Parallelism (T)Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han. 512-523 [doi]
- Optimistic Shared Memory Dependence Tracing (T)Yanyan Jiang 0001, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu. 524-534 [doi]
- Model Checking Task Parallel Programs Using Gradual Permissions (N)Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar. 535-540 [doi]
- Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)Yoonseok Ko, HongKi Lee, Julian Dolby, Sukyoung Ryu. 541-551 [doi]
- Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T)ChangHee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu. 552-562 [doi]
- Variable Feature Usage Patterns in PHP (T)Mark Hills. 563-573 [doi]
- Learning 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. 574-584 [doi]
- Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T)Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 585-596 [doi]
- Experiences 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. 597-607 [doi]
- Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)Elena Sherman, Matthew B. Dwyer. 608-618 [doi]
- Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)Johannes Lerch, Johannes Spath, Eric Bodden, Mira Mezini. 619-629 [doi]
- Copy and Paste Redeemed (T)Krishna Narasimhan, Christoph Reichenbach. 630-640 [doi]
- Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N)Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, Takuya Watanabe. 641-646 [doi]
- Covert Communication in Mobile Applications (T)Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard. 647-657 [doi]
- Static Window Transition Graphs for Android (T)Shengqian Yang, Hailong Zhang, Haowei Wu, Yan Wang, Dacong Yan, Atanas Rountev. 658-668 [doi]
- Static 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. 669-679 [doi]
- String Analysis of Android Applications (N)Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek. 680-685 [doi]
- Semantic Slicing of Software Version Histories (T)Yi Li, Julia Rubin, Marsha Chechik. 686-696 [doi]
- Development History Granularity Transformations (N)Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst. 697-702 [doi]
- Quantification of Software Changes through Probabilistic Symbolic Execution (N)Antonio Filieri, Corina S. Pasareanu, Guowei Yang. 703-708 [doi]
- Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N)Thomas A. Walsh, Phil McMinn, Gregory M. Kapfhammer. 709-714 [doi]
- Developing 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. 715-725 [doi]
- Generating Qualifiable Avionics Software: An Experience Report (E)Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina. 726-736 [doi]
- How Verified is My Code? Falsification-Driven Verification (T)Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney. 737-748 [doi]
- Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T)Phong Minh Vu, Tam The Nguyen, Hung Viet Pham, Tung Thanh Nguyen. 749-759 [doi]
- "What Parts of Your Apps are Loved by Users?" (T)Xiaodong Gu, Sunghun Kim. 760-770 [doi]
- Ensemble Methods for App Review Classification: An Approach for Software Evolution (N)Emitza Guzman, Muhammad El-Haliby, Bernd Bruegge. 771-776 [doi]
- The ReMinds Tool Suite for Runtime Monitoring of Systems of SystemsMichael Vierhauser, Rick Rabiser, Paul Grünbacher, Jurgen Thanhofer-Pilisch. 777-782 [doi]
- DRIVER - A Platform for Collaborative Framework UnderstandingNuno Flores, Ademar Aguiar. 783-788 [doi]
- Tool Support for Analyzing Mobile App ReviewsPhong Minh Vu, Hung Viet Pham, Tam The Nguyen, Tung Thanh Nguyen. 789-794 [doi]
- Recommending API Usages for Mobile Apps with Hidden Markov ModelTam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen. 795-800 [doi]
- FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous MulticoptersDarko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli. 801-806 [doi]
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-ProgramsOmar Inverso, Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. 807-812 [doi]
- SpyREST in Action: An Automated RESTful API Documentation ToolS. M. Sohan, Craig Anslow, Frank Maurer. 813-818 [doi]
- Clone Merge - An Eclipse Plugin to Abstract Near-Clone C++ MethodsKrishna Narasimhan. 819-823 [doi]
- Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source CodeHiroyuki Fudaba, Yusuke Oda, Koichi Akabe, Graham Neubig, Hideaki Hata, Sakriani Sakti, Tomoki Toda, Satoshi Nakamura. 824-829 [doi]
- CIVL: Formal Verification of Parallel ProgramsManchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel. 830-835 [doi]
- Refactorings for Android Asynchronous ProgrammingYu Lin, Danny Dig. 836-841 [doi]
- GRT: An Automated Test Generator Using Orchestrated Program AnalysisLei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler. 842-847 [doi]
- LED: Tool for Synthesizing Web Element LocatorsKartik Bajaj, Karthik Pattabiraman, Ali Mesbah 0001. 848-851 [doi]
- SiPL - A Delta-Based Modeling Framework for Software Product Line EngineeringChristopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling, Manuel Ohrndorf. 852-857 [doi]
- Model-Based Testing of Stateful APIs with ModbatCyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata. 858-863 [doi]
- ActivitySpace: A Remembrance Framework to Support Interapplication Information NeedsLingfeng Bao, Deheng Ye, Zhenchang Xing, Xin Xia, Xinyu Wang. 864-869 [doi]
- Investigating Program Behavior Using the Texada LTL Specifications MinerCaroline Lemieux, Ivan Beschastnikh. 870-875 [doi]
- The iMPAcT Tool: Testing UI Patterns on Mobile ApplicationsInes Coimbra Morgado, Ana C. R. Paiva. 876-881 [doi]
- Measuring Object-Oriented Design PrinciplesJohannes Braeuer. 882-885 [doi]
- Stability of Self-Adaptive Software ArchitecturesMaria Salama. 886-889 [doi]
- MetaMod: A Modeling Formalism with Modularity at Its CoreAna-Maria Sutii. 890-893 [doi]
- A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering DataGillian J. Greene. 894-897 [doi]
- Understanding, Refactoring, and Fixing Concurrency in C#Semih Okur. 898-901 [doi]
- A Message-Passing Architecture without Public Ids Using Send-to-BehaviorEric Shing-Suan Wang, Zhe Dang. 902-905 [doi]