default search action
IEEE Transactions on Software Engineering, Volume 43
Volume 43, Number 1, January 2017
- Chakkrit Tantithamthavorn
, Shane McIntosh, Ahmed E. Hassan, Kenichi Matsumoto:
An Empirical Comparison of Model Validation Techniques for Defect Prediction Models. 1-18 - Daniel Alfredo Ciolek
Interaction Models and Automated Control under Partial Observable Environments. 19-33 - Jifeng Xuan
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs. 34-55 - Amiangshu Bosu
Process Aspects and Social Dynamics of Contemporary Code Review: Insights from Open Source Development and Industrial Practice at Microsoft. 56-75 - Valentín Valero
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. 76-99
Volume 43, Number 2, February 2017
- Laura Moreno, Gabriele Bavota
ARENA: An Approach for the Automated Generation of Release Notes. 106-127 - Frolin S. Ocariza Jr.
A Study of Causes and Consequences of Client-Side JavaScript Bugs. 128-144 - Hamid Bagheri
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping. 145-163 - Andrew Henderson, Lok-Kwong Yan, Xunchao Hu, Aravind Prakash, Heng Yin
DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform. 164-184 - Margaret-Anne D. Storey
How Social and Communication Channels Shape and Challenge a Participatory Culture in Software Development. 185-204
Volume 43, Number 3, March 2017
- Matthew B. Dwyer
Improving Timeliness and Visibility in Publishing Software Engineering Research. 205-206 - Cristiano Giuffrida
Automating Live Update for Generic Server Programs. 207-225 - Wensheng Dou
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. 226-251 - Haijun Wang, Ting Liu
Dependence Guided Symbolic Execution. 252-271 - Xin Xia
Improving Automated Bug Triaging with Specialized Topic Model. 272-297
Volume 43, Number 4, April 2017
- Iain Bate, Alan Burns, Robert I. Davis:
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. 298-320 - Xiao-Yuan Jing, Fei Wu
An Improved SDA Based Defect Prediction Framework for Both Within-Project and Cross-Project Class-Imbalance Problems. 321-339 - Luciano Baresi
Efficient Dynamic Updates of Distributed Components Through Version Consistency. 340-358 - Kostadin Damevski
Mining Sequences of Developer Interactions in Visual Studio for Usage Smells. 359-371 - Nan Li, Jeff Offutt:
Test Oracle Strategies for Model-Based Testing. 372-395
Volume 43, Number 5, May 2017
- Regina Hebig
Approaches to Co-Evolution of Metamodels and Models: A Survey. 396-414 - Lorenzo Bossi, Elisa Bertino, Syed Rafiul Hussain:
A System for Profiling and Monitoring Database Access Patterns by Application Programs for Anomaly Detection. 415-431 - Nikolaus Huber, Fabian Brosig, Simon Spinner, Samuel Kounev, Manuel Bähr:
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language. 432-452 - Tao Chen
Self-Adaptive and Online QoS Modeling for Cloud-Based Software Services. 453-475 - Feng Zhang
The Use of Summation to Aggregate Software Metrics Hinders the Performance of Defect Prediction Models. 476-491
Volume 43, Number 6, June 2017
- Alireza Sadeghi
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software. 492-530 - Gregory Gay
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. 531-555 - Hongbing Wang, Lei Wang
Online Reliability Prediction via Motifs-Based Dynamic Bayesian Networks for Service-Oriented Systems. 556-579 - Lingbo Li, Mark Harman, Fan Wu
The Value of Exact Analysis in Requirements Selection. 580-596
Volume 43, Number 7, July 2017
- Davide Fucci
A Dissection of the Test-Driven Development Process: Does It Really Matter to Test-First or to Test-Last? 597-614 - Nuno Macedo
A Feature-Based Classification of Model Repair Approaches. 615-640 - Daniel Alencar da Costa, Shane McIntosh, Weiyi Shang, Uirá Kulesza, Roberta Coelho, Ahmed E. Hassan:
A Framework for Evaluating the Results of the SZZ Approach for Identifying Bug-Introducing Changes. 641-657 - Qiang He, Rui Zhou
Keyword Search for Building Service-Based Systems. 658-674 - Markus Borg
Supporting Change Impact Analysis Using a Recommendation System: An Industrial Case Study in a Safety-Critical Context. 675-700
Volume 43, Number 8, August 2017
- Scott A. Carr, Francesco Logozzo, Mathias Payer:
Automatic Contract Insertion with CCBot. 701-714 - Leonardo Mariani
GK-Tail+ An Efficient Approach to Learn Software Models. 715-738 - Marie Christin Platenius, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, Wilhelm Schäfer:
Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. 739-759 - Feng Li, Zhiyuan Li, Wei Huo, Xiaobing Feng:
Locating Software Faults Based on Minimum Debugging Frontier Set. 760-776 - Patrick Rempel, Patrick Mäder:
Preventing Defects: The Impact of Requirements Traceability Completeness on Software Quality. 777-797
Volume 43, Number 9, September 2017
- Jhonny Mertz
A Qualitative Study of Application-Level Caching. 798-816 - William J. Martin, Federica Sarro
A Survey of App Store Analysis for Software Engineering. 817-847 - Nor Shahida Mohamad Yusop, John Grundy
Reporting Usability Defects: A Systematic Literature Review. 848-867 - Jesús Sánchez Cuadrado
Static Analysis of Model Transformations. 868-897
Volume 43, Number 10, October 2017
- Federica Sarro
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects. 898-917 - Chetan Arora
Automated Extraction and Clustering of Requirements Glossary Terms. 918-945 - Kunal Banerjee
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. 946-953 - Sofia Charalampidou, Apostolos Ampatzoglou
Identifying Extract Method Refactoring Opportunities Based on Functional Relevance. 954-974 - Enyi Tang
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. 975-994
Volume 43, Number 11, November 2017
- Xinyu Wang, Jun Sun
Language Inclusion Checking of Timed Automata with Non-Zenoness. 995-1008 - Martin Fleck
Model Transformation Modularization as a Many-Objective Optimization Problem. 1009-1032 - Robert M. Hierons
Testing from Partial Finite State Machines without Harmonised Traces. 1033-1043 - Everton da S. Maldonado, Emad Shihab
Using Natural Language Processing to Automatically Detect Self-Admitted Technical Debt. 1044-1062 - Michele Tufano
When and Why Your Code Starts to Smell Bad (and Whether the Smells Go Away). 1063-1088 - Claire Le Goues
Clarifications on the Construction and Use of the ManyBugs Benchmark. 1089-1090 - Steffen Herbold
Comments on ScottKnottESD in Response to "An Empirical Comparison of Model Validation Techniques for Defect Prediction Models". 1091-1094
Volume 43, Number 12, December 2017
- Jaroslav M. Fowkes
Autofolding for Source Code Summarization. 1095-1109 - Bernard Nongpoh, Rajarshi Ray
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. 1110-1124 - Guido Salvaneschi
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. 1125-1143 - Pamela Zave
Reasoning About Identifier Spaces: How to Make Chord Correct. 1144-1156 - Lannan Luo, Jiang Ming, Dinghao Wu
Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software and Algorithm Plagiarism Detection. 1157-1177 - André N. Meyer
The Work Life of Developers: Activities, Switches and Perceived Productivity. 1178-1193
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-12-18 18:17 CET 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: