default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering, Volume 41
Volume 41, Number 1, January 2015
- Matthew B. Dwyer
:
State of the Journal Editorial. 1-2 - Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li:
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. 3-18 - Binny M. Samuel, Linwood Watkins, Andrew Ehle, Vijay Khatri:
Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments. 19-39 - Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden:
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. 40-64 - Emerson R. Murphy-Hill, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan:
The Design Space of Bug Fixes and How Developers Navigate It. 65-81 - Minghui Zhou, Audris Mockus:
Who Will Stay in the FLOSS Community? Modeling Participant's Initial Behavior. 82-99
Volume 41, Number 2, February 2015
- Fevzi Belli, Mutlu Beyazit:
Exploiting Model Morphology for Event-Based Testing. 113-134 - Nicolas Mangano, Thomas D. LaToza, Marian Petre, André van der Hoek:
How Software Designers Interact with Sketches at the Whiteboard. 135-156 - 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. 157-175 - Mark D. Syer, Meiyappan Nagappan, Bram Adams, Ahmed E. Hassan:
Replicating and Re-Evaluating the Theory of Relative Defect-Proneness. 176-197 - Ning Chen, Sunghun Kim:
STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution. 198-220
Volume 41, Number 3, March 2015
- Amel Bennaceur, Valérie Issarny:
Automated Synthesis of Mediators to Support Component Interoperability. 221-240 - Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva:
Embedding, Evolution, and Validation of Model-Driven Spreadsheets. 241-263 - Juan F. Pérez, Giuliano Casale, Sergio Pacheco-Sanchez:
Estimating Computational Requirements in Multi-Threaded Applications. 264-278 - Robert M. Hierons:
Generating Complete Controllable Test Suites for Distributed Testing. 279-293 - Abdelilah Sakti, Gilles Pesant, Yann-Gaël Guéhéneuc:
Instance Generator and Problem Representation to Improve Object Oriented Code Coverage. 294-313 - Seonah Lee, Sungwon Kang, Sunghun Kim, Matthew Staats:
The Impact of View Histories on Edit Recommendations. 314-330
Volume 41, Number 4, April 2015
- Yibiao Yang, Yuming Zhou, Hongmin Lu, Lin Chen, Zhenyu Chen, Baowen Xu, Hareton K. N. Leung, Zhenyu Zhang:
Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study. 331-357 - Annibale Panichella, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia:
Improving Multi-Objective Test Case Selection by Injecting Diversity in Genetic Algorithms. 358-383 - 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. 384-407 - 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. 408-428
Volume 41, Number 5, May 2015
- Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman:
Guided Mutation Testing for JavaScript Web Applications. 429-444 - Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Integer Parameter Synthesis for Real-Time Systems. 445-461 - Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk, Andrea De Lucia:
Mining Version Histories for Detecting Code Smells. 462-489 - Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo:
Static Fault Localization in Model Transformations. 490-506 - Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo:
The Oracle Problem in Software Testing: A Survey. 507-525
Volume 41, Number 6, June 2015
- Fabian Pittke, Henrik Leopold, Jan Mendling:
Automatic Detection and Resolution of Lexical Ambiguity in Process Models. 526-544 - Aaron K. Massey, Paul N. Otto, Annie I. Antón:
Evaluating Legal Implementation Readiness Decision-Making. 545-564 - Christoph Treude, Martin P. Robillard, Barthélémy Dagenais:
Extracting Development Tasks to Navigate Software Documentation. 565-581 - Theodore Chaikalis, Alexander Chatzigeorgiou:
Forecasting Java Software Evolution Trends Employing Network Models. 582-602 - Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki:
Range Fixes: Interactive Error Resolution for Software Configuration. 603-619
Volume 41, Number 7, July 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. 620-638 - Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias:
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. 639-660 - Mohamed El-Attar, Hamza Luqman, Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl:
Extending the UML Statecharts Notation to Model Security Aspects. 661-690 - David Maplesden, Ewan D. Tempero, John G. Hosking, John C. Grundy:
Performance Analysis for Object-Oriented Software: A Systematic Mapping. 691-710 - Harold Thimbleby:
Safer User Interfaces: A Case Study in Improving Number Entry. 711-729
Volume 41, Number 8, August 2015
- Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang:
An I/O Efficient Approach for Detecting All Accepting Cycles. 730-744 - Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin:
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. 745-763 - Yuriy Brun, Jae Young Bang, George Edwards, Nenad Medvidovic:
Self-Adapting Reliability in Distributed Software Systems. 764-780 - Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Sofia Charalampidou, Paris Avgeriou:
The Effect of GoF Design Patterns on Stability: A Case Study. 781-802 - Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Risks of Coverage-Directed Test Case Generation. 803-819 - Sarah Nadi, Thorsten Berger, Christian Kästner, Krzysztof Czarnecki:
Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study. 820-841
Volume 41, Number 9, September 2015
- Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu:
Cina: Suppressing the Detection of Unstable Context Inconsistency. 842-865 - Hamid Bagheri, Alireza Sadeghi, Joshua Garcia, Sam Malek:
COVERT: Compositional Analysis of Android Inter-App Permission Leakage. 866-886 - Hui Liu, Qiurong Liu, Yang Liu, Zhouding Wang:
Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings. 887-900 - Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo:
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. 901-924 - 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. 925-943
Volume 41, Number 10, October 2015
- Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Automated Checking of Conformance to Requirements Templates Using Natural Language Processing. 944-968 - Kelly Blincoe, Giuseppe Valetto, Daniela E. Damian:
Facilitating Coordination between Software Developers: A Study and Techniques for Timely and Efficient Recommendations. 969-985 - Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. 986-1000 - Joseph Krall, Tim Menzies, Misty D. Davies:
GALE: Geometric Active Learning for Search-Based Software Engineering. 1001-1018 - Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. 1019-1037
Volume 41, Number 11, November 2015
- Paige Rodeghero, Cheng Liu, Paul W. McBurney, Collin McMillan:
An Eye-Tracking Study of Java Programmers and Application to Source Code Summarization. 1038-1054 - Nikolaos Tsantalis, Davood Mazinanian, Giri Panamoottil Krishnan:
Assessing the Refactorability of Software Clones. 1055-1090 - Zhen Ming Jiang, Ahmed E. Hassan:
A Survey on Load Testing of Large-Scale Software Systems. 1091-1118 - Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Automated Oracle Data Selection Support. 1119-1137 - Hong Zhu, Ian Bayley:
On the Composability of Design Patterns. 1138-1152
Volume 41, Number 12, December 2015
- Hector A. Duran-Limon, Carlos A. Garcia-Rios, Francisco Edgar Castillo-Barrera, Rafael Capilla:
An Ontology-Based Product Architecture Derivation Approach. 1153-1168 - Paul M. Clarke, Rory V. O'Connor, Brian Leavy, Murat Yilmaz:
Exploring the Relationship between Software Process Adaptive Capability and Organisational Performance. 1169-1183 - Matthias Schur, Andreas Roth, Andreas Zeller:
Mining Workflow Models from Web Applications. 1184-1201 - Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. 1202-1216 - Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang, Zijiang Yang:
Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences. 1217-1235 - 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. 1236-1256
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 2025-04-25 17:48 CEST 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:
