The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
ISSN: 0098-5589

A Multi-Objective Technique to Prioritize Test Cases (Abstract)

Alessandro Marchetto , A. Marchetto is an Independent researcher.(email:alex.marchetto@gmail.com)

Coverage-Aware Test Database Reduction (Abstract)

Javier Tuya , J. Tuya is with the University of Oviedo, Dept. of Informatica, 33204 Gijon. (email: tuya@uniovi.es)

A Lightweight System for Detecting and Tolerating Concurrency Bugs (Abstract)

Mingxing Zhang , M. Zhang is with the Tsinghua National Laboratory for Information Science and Technology (TNLIST) Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China. Research Institute of Tsinghua University in Shenzhen, Shenzhen 518057, China. Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Ningbo 315000, Zhejiang, China.(email:zhangmx12@mails.tsinghua.edu.cn)

Exploring Mobile End User Development: Existing Use and Design Factors (Abstract)

Abdallah Namoun , Abdallah Namoun is with the Islamic University of Medina, Medina, Saudi Arabia, P.O Box 170.
Athanasia Daskalopoulou , Abdallah Namoun is with the Islamic University of Medina, Medina, Saudi Arabia, P.O Box 170.
Nikolay Mehandjiev , Abdallah Namoun is with the Islamic University of Medina, Medina, Saudi Arabia, P.O Box 170.
Zhang Xun , Abdallah Namoun is with the Islamic University of Medina, Medina, Saudi Arabia, P.O Box 170.

Parallel Algorithms for Testing Finite State Machines: Generating UIO sequences. (Abstract)

Robert M. Hierons , Robert M. Hierons is with the Department of Computer Science, Brunel University London, UK. (e-mail: rob.hierons@brunel.ac.uk).

HYDRA: Massively Compositional Model for Cross-Project Defect Prediction (Abstract)

Xin Xia , Xin Xia is with the College of Computer Science and Technology, Zhejiang University, Hangzhou, China.(email:xxia@zju.edu.cn)

Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) (Abstract)

Wafaa S. El-Kassas , Wafaa S. El-Kassas is with the Ain Shams University - Faculty of Engineering, Computer and Systens Engineering, Cairo Egypt.(email: wafaa.elkassas@gmail.com)

Developer Micro Interaction Metrics for Software Defect Prediction (Abstract)

Taek Lee , Taek Lee is with the Korea University, Seoul, South Korea. (email: comtaek@korea.ac.kr)

An Industrial Survey of Safety Evidence Change Impact Analysis Practice (Abstract)

Jose Luis de la Vara , Jose Luis de la Vara is with the Computer Science Department, Carlos III University of Madrid, Avda. de la Universidad 30, 28911 Leganes, Madrid, Spain.(email: jvara@inf.uc3m.es)

Comments on "Researcher Bias: The Use of Machine Learning in Software Defect Prediction" (Abstract)

Chakkrit Tantithamthavorn , Chakkrit Tantithamthavorn is with the Graduate School of Information Science, Nara Institute of Science and Technology, Japan. (email: kla@chakkrit.com)

Engineering Adaptive Model-Driven User Interfaces (Abstract)

Pierre Akiki , Pierre A. Akiki is with the Department of Computer Science, Notre Dame University-Louaize.(email:pakiki@ndu.edu.lb)

Finding and Evaluating the Performance Impact of Redundant Data Access for Applications that are Developed Using Object-Relational Mapping Frameworks (Abstract)

Tse-Hsun Chen , Tse-Hsun Chen is with the Software Analysis and Intelligence Lab (SAIL) in the School of Computing at Queen’s University, Canada. (email: tsehsun@cs.queensu.ca)

Inner Source in Platform-Based Product Engineering (Abstract)

Dirk Riehle , Dirk Riehle is with the Computer Science Department, Friedrich-Alexander University Erlangen-Nurnberg, 91058 Erlangen, Germany. (email: dirk@riehle.org)

Test Case Prioritization Using Lexicographical Ordering (Abstract)

Sepehr Eghbali , S. Eghbali is with the Department of Electrical and Computer Engineering, 200 University Ave West, University of Waterloo, Waterloo, Ontario N2L 3G1.(email:s2eghbal@uwaterloo.ca)

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources (Abstract)

Valentin Ruiz , Valentın Valero is with the the Department of Computer Science, University of Castilla-La Mancha, Albacete 02071, Spain. (e-mail: valentin.valero@uclm.es).

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs (Abstract)

Jifeng Xuan , Jifeng Xuan is with the State Key Lab of Software Engineering, School of Computer, Wuhan University, Wuhan, China (e-mail: jxuan@whu.edu.cn).

Interaction Models and Automated Control under Partial Observable Environments (Abstract)

Daniel Ciolek , Daniel Ciolek is with Departamento de Computacion, Universidad de Buenos Aires, Argentina.

Improving Automated Bug Triaging with Specialized Topic Model (Abstract)

Xin Xia , Xin Xia is with the College of Computer Science and Technology, Zhejiang University, Hangzhou, China. (e-mail: xxia@zju.edu.cn).

Process Aspects and Social Dynamics of Contemporary Code Review: Insights from Open Source Development as well as Industrial Practice at Microsoft (Abstract)

Amiangshu Bosu , Amiangshu Bosu is with the Department of Computer Science, Southern Illinois University, Carbondale, IL. (e-mail: abosu@cs.siu.edu).

Automating Live Update for Generic Server Programs (Abstract)

Cristiano Giuffrida , Cristiano Giuffrida is with the Vrije Universiteit Amsterdam, De Boelelaan 1081, 1081HV Amsterdam, The Netherlands. (e-mail: giuffrida@cs.vu.nl).

Dependence Guided Symbolic Execution (Abstract)

Haijun Wang , Haijun Wang is with MOEKLINNS, School of Electronic and Information Engineering, Xi’an Jiaotong University, Xi’an, 710049, China. (e-mail: hjwang@sei.xjtu.edu.cn).

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets (Abstract)

Wensheng Dou , Wensheng Dou is with the State Key Laboratory of Computer Science, the Institute of Software, Chinese Academy of Sciences, Beijing, China (email: wsdou@otcaix.iscas.ac.cn).

A Study of Causes and Consequences of Client-Side JavaScript Bugs (Abstract)

Frolin Ocariza , F. Ocariza is with the Department of Electrical and Computer Engineering, University of British Columbia, 2332 Main Mall, Vancouver, BC, Canada, V6T 1Z4.(email:frolino@ece.ubc.ca)

An Empirical Comparison of Model Validation Techniques for Defect Prediction Models (Abstract)

Chakkrit Tantithamthavorn , C. Tantithamthavorn is with the Graduate School of Information Science, Nara Institute of Science and Technology, Japan.(email: kla@chakkrit.com)

An Enhanced Bailout Protocol for Mixed Criticality Embedded Software (Abstract)

Iain Bate , Iain Bate is with Department of Computer Science, University of York, York, UK.

Mining Sequences of Developer Interactions in Visual Studio for Usage Smells (Abstract)

Kostadin Damevski , Kostadin Damevski is with the Department of Computer Science, Virginia Commonwealth University, Richmond, VA, 23284, U.S.A. (e-mail: damevski@acm.org).
David Shepherd , Kostadin Damevski is with the Department of Computer Science, Virginia Commonwealth University, Richmond, VA, 23284, U.S.A. (e-mail: damevski@acm.org).
Johannes Schneider , Kostadin Damevski is with the Department of Computer Science, Virginia Commonwealth University, Richmond, VA, 23284, U.S.A. (e-mail: damevski@acm.org).
Lori Pollock , Kostadin Damevski is with the Department of Computer Science, Virginia Commonwealth University, Richmond, VA, 23284, U.S.A. (e-mail: damevski@acm.org).

Efficient Dynamic Updates of Distributed Components through Version Consistency (Abstract)

Luciano Baresi , L. Baresi is with the Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, 20133 Milano, Italy.(email:fluciano.baresijcarlo.ghezzig@polimi.it)

Test Oracle Strategies for Model-based Testing (Abstract)

Nan Li , N. Li is with research and development division at Medidata solutions, New York, NY, USA.(email:nli@mdsol.com)

An Improved SDA based Defect Prediction Framework for both Within-project and Cross-project Class-imbalance Problems (Abstract)

Xiao-Yuan Jing , Xiao-Yuan Jing is with the State Key Laboratory of Software Engineering, School of Computer, Wuhan University, and the College of Automation, Nanjing University of Posts and Telecommunications. (email: jingxy_2000@126.com)

A System for Profiling and Monitoring Database Access Patterns by Application Programs for Anomaly Detection (Abstract)

Lorenzo Bossi , Lorenzo Bossi is with the Department of Computer Science, Purdue University, West Lafayette, IN, 47907, USA. (email: lbossi@purdue.edu)

The Use of Summation to Aggregate Software Metrics Hinders the Performance of Defect Prediction Models (Abstract)

Feng Zhang , F. Zhang is with the School of Computing at Queen’s University, Kingston, Canada.(email:feng@cs.queensu.ca)

Approaches to Co-Evolution of Metamodels and Models: A Survey (Abstract)

Regina Hebig , Regina Hebig is with the Chalmers j University of Gothenburg, Computer Science and Engineering Goteborg, Vastra Gotaland County, Sweden. (email: rhebig@acm.org)

Self-Adaptive and Online QoS Modeling for Cloud-Based Software Services (PDF)

Tao Chen , T. Chen is with CERCIA, School of Computer Science, University of Birmingham, Birmingham, UK, B15 2TT.(email:t.chen@cs.bham.ac.uk)

Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language (Abstract)

Simon Spinner , Chair of Software Engineering, Department of Computer Science, University of Wurzburg, Wurzburg, Germany.(Email: simon.spinner@uni-wuerzburg.de)
Papers

Vulnerability Discovery with Attack Injection (Abstract)

Miguel Correia , University of Lisboa, Portugal
Paulo Verissimo , University of Lisboa, Portugal
Nuno Neves , University of Lisboa, Portugal
João Antunes , University of Lisboa, Portugal
Rui Neves , Universidade Técnica de Lisboa, Portugal

How Effectively does Metamorphic Testing Alleviate the Oracle Problem? (Abstract)

Huai Liu , RMIT University, Melbourne
Fei-Ching Kuo , Swinburne University of Technology, Melbourne
Dave Towey , The University of Nottingham Ningbo China, Ningbo
Tsong Yueh Chen , Swinburne University of Technology, Melbourne

Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation (PDF)

Lech Madeyski , Wroclaw University of Technology, Wroclaw
Wojciech Orzeszyna , Wroclaw University of Technology, Wroclaw and Blekinge Institute of Technology, Karlskrona
Richard Torkar , Blekinge Institute of Technology, Karlskrona and Chalmers University of Technology | University of Gothenburg, Göteborg
Mariusz Józala , Wroclaw University of Technology, Wroclaw

Variability Mining: Consistent Semiautomatic Detection of Product-Line Features (Abstract)

Christian Kästner , Carnegie Mellon University, Pittsburgh
Alexander Dreiling , University of Magdeburg and Deutsche Bank, Frankfurt
Klaus Ostermann , Philipps University Marburg, Marburg

Formulating Cost-Effective Monitoring Strategies for Service-based Systems (Abstract)

Qiang He , Swinburne University of Technology, Melbourne
Jun Han , Swinburne University of Technology, Melbourne
Yun Yang , Swinburne University of Technology, Melbourne
Hai Jin , Huazhong University of Science and Technology, Wuhan
Jean-Guy Schneider , Swinburne University of Technology, Melbourne
Steve Versteeg , CA Labs, Melbourne

Modular Software Model Checking for Distributed Systems (Abstract)

Watcharin Leungwattanakit , Chiba University, Chiba
Cyrille Artho , National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba
Masami Hagiya , University of Tokyo, Tokyo
Yoshinori Tanabe , National Institute of Informatics (NII), Tokyo
Mitsuharu Yamamoto , Chiba University, Chiba
Koichi Takahashi , National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba

GossipKit: A Unified Component Framework for Gossip (Abstract)

François Taïani , University of Rennes 1 / IRISA, Rennes
Shen Lin , SAP Labs, Shanghai
Gordon S. Blair , University of Lancaster, Lancaster

Improved Evolutionary Algorithm Design for the Project Scheduling Problem Based on Runtime Analysis (PDF)

Leandro L. Minku , The University of Birmingham, Birmingham
Dirk Sudholt , The University of Sheffield, Sheffield
Xin Yao , The University of Birmingham, Birmingham

Reducing Masking Effects in Combinatorial Interaction Testing: A Feedback Driven Adaptive Approach (Abstract)

Cemal Yilmaz , Sabanci University, Istanbul
Emine Dumlu , Sabanci University, Istanbul
Myra B. Cohen , University of Nebraska-Lincoln, Lincoln
Adam A. Porter , University of Maryland, College Park

Specification and Verification of Normative Texts using C-O Diagrams (Abstract)

Gregorio Diaz , University of Castilla-La Mancha, Albacete
María Emilia Cambronero , University of Castilla-La Mancha, Albacete
Enrique Martínez , University of Castilla-La Mancha, Albacete
Gerardo Schneider , Chalmers | University of Gothenburg, Gothenburg

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees (Abstract)

Charles Song , Fraunhofer USA Center for Experimental Software Engineering, College Park,
Adam A. Porter , University of Maryland, College Park
Jeffrey S. Foster , University of Maryland, College Park

You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems (Abstract)

Alex Groce , Oregon State University, Corvallis
Todd Kulesza , Oregon State University, Corvallis
Chaoqiang Zhang , Oregon State University, Corvallis
Shalini Shamasunder , Oregon State University, Corvallis
Margaret Burnett , Oregon State University, Corvallis
Weng-Keen Wong , Oregon State University, Corvallis
Simone Stumpf , City University London, London
Shubhomoy Das , Oregon State University, Corvallis
Amber Shinsel , Oregon State University, Corvallis
Forrest Bice , Oregon State University, Corvallis
Kevin McIntosh , Oregon State University, Corvallis

Variability in Software Systems - A Systematic Literature Review (Abstract)

Matthias Galster , University of Canterbury, Christchurch
Danny Weyns , Linnaeus University, Växjö
Dan Tofan , University of Groningen, Groningen
Bartosz Michalik , Katholieke Universiteit Leuven, Leuven
Paris Avgeriou , University of Groningen, Groningen

Learning Assumptions for Compositional Verification of Timed Systems (Abstract)

Shang-Wei Lin , National University of Singapore, Singapore
Étienne André , Université Paris, LIPN, CNRS, Paris
Yang Liu , Nanyang Technological University, Singapore
Jun Sun , Singapore University of Technology and Design, Singapore
Jin Song Dong , National University of Singapore, Singapore

Methodbook: Recommending Move Method Refactorings via Relational Topic Models (Abstract)

Gabriele Bavota , University of Sannio, Benevento
Rocco Oliveto , University of Molise, Pesche
Malcom Gethers , University of Maryland, Baltimore County, Baltimore
Denys Poshyvanyk , The College of William and Mary, Williamsburg
Andrea De Lucia , University of Salerno, Fisciano

Multi-Objective Quality-Driven Service Selection--A Fully Polynomial Time Approximation Scheme (Abstract)

Immanuel Trummer , École Polytechnique Fédérale de Lausanne, Lausanne
Boi Faltings , École Polytechnique Fédérale de Lausanne, Lausanne, Lausanne
Walter Binder , University of Lugano, Lugano

Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs (Abstract)

Yan Cai , Y. Cai is with the Department of Computer Science, University of Hong Kong, Hong Kong (e-mail: yancai2-c@my.cityu.edu.hk).
111 ms
(Ver )