- 2015
- Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Automated Checking of Conformance to Requirements Templates Using Natural Language Processing. IEEE Trans. Software Eng. 41(10): 944-968 (2015) - Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Sofia Charalampidou, Paris Avgeriou:
The Effect of GoF Design Patterns on Stability: A Case Study. IEEE Trans. Software Eng. 41(8): 781-802 (2015) - Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang:
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. Software Eng. 41(7): 620-638 (2015) - Hamid Bagheri, Alireza Sadeghi, Joshua Garcia, Sam Malek:
COVERT: Compositional Analysis of Android Inter-App Permission Leakage. IEEE Trans. Software Eng. 41(9): 866-886 (2015) - Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo:
The Oracle Problem in Software Testing: A Survey. IEEE Trans. Software Eng. 41(5): 507-525 (2015) - Gabriele Bavota, Mario Linares Vásquez, Carlos Eduardo Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk:
The Impact of API Change- and Fault-Proneness on the User Ratings of Android Apps. IEEE Trans. Software Eng. 41(4): 384-407 (2015) - Fevzi Belli, Mutlu Beyazit:
Exploiting Model Morphology for Event-Based Testing. IEEE Trans. Software Eng. 41(2): 113-134 (2015) - Amel Bennaceur, Valérie Issarny:
Automated Synthesis of Mediators to Support Component Interoperability. IEEE Trans. Software Eng. 41(3): 221-240 (2015) - Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy:
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. 41(4): 408-428 (2015) - Kelly Blincoe, Giuseppe Valetto, Daniela E. Damian:
Facilitating Coordination between Software Developers: A Study and Techniques for Timely and Efficient Recommendations. IEEE Trans. Software Eng. 41(10): 969-985 (2015) - Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Samuel Kounev:
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures. IEEE Trans. Software Eng. 41(2): 157-175 (2015) - Yuriy Brun, Jae Young Bang, George Edwards, Nenad Medvidovic:
Self-Adapting Reliability in Distributed Software Systems. IEEE Trans. Software Eng. 41(8): 764-780 (2015) - Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo:
Static Fault Localization in Model Transformations. IEEE Trans. Software Eng. 41(5): 490-506 (2015) - Theodore Chaikalis, Alexander Chatzigeorgiou:
Forecasting Java Software Evolution Trends Employing Network Models. IEEE Trans. Software Eng. 41(6): 582-602 (2015) - Ning Chen, Sunghun Kim:
STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution. IEEE Trans. Software Eng. 41(2): 198-220 (2015) - Paul M. Clarke, Rory V. O'Connor, Brian Leavy, Murat Yilmaz:
Exploring the Relationship between Software Process Adaptive Capability and Organisational Performance. IEEE Trans. Software Eng. 41(12): 1169-1183 (2015) - Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva:
Embedding, Evolution, and Validation of Model-Driven Spreadsheets. IEEE Trans. Software Eng. 41(3): 241-263 (2015) - Hector A. Duran-Limon, Carlos A. Garcia-Rios, Francisco Edgar Castillo-Barrera, Rafael Capilla:
An Ontology-Based Product Architecture Derivation Approach. IEEE Trans. Software Eng. 41(12): 1153-1168 (2015) - Matthew B. Dwyer:
State of the Journal Editorial. IEEE Trans. Software Eng. 41(1): 1-2 (2015) - Mohamed El-Attar, Hamza Luqman, Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl:
Extending the UML Statecharts Notation to Model Security Aspects. IEEE Trans. Software Eng. 41(7): 661-690 (2015) - Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41(10): 1019-1037 (2015) - Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41(8): 803-819 (2015) - Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41(11): 1119-1137 (2015) - Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer:
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41(12): 1236-1256 (2015) - Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41(10): 986-1000 (2015) - Robert M. Hierons:
Generating Complete Controllable Test Suites for Distributed Testing. IEEE Trans. Software Eng. 41(3): 279-293 (2015) - Yoon-chan Jhi, Xiaoqi Jia, Xinran Wang, Sencun Zhu, Peng Liu, Dinghao Wu:
Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection. IEEE Trans. Software Eng. 41(9): 925-943 (2015) - Zhen Ming Jiang, Ahmed E. Hassan:
A Survey on Load Testing of Large-Scale Software Systems. IEEE Trans. Software Eng. 41(11): 1091-1118 (2015) - Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015) - Joseph Krall, Tim Menzies, Misty D. Davies:
GALE: Geometric Active Learning for Search-Based Software Engineering. IEEE Trans. Software Eng. 41(10): 1001-1018 (2015)