default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Software Engineering and Methodology, Volume 24
Volume 24, Number 1, September 2014
- Filippo Ricca, Giuseppe Scanniello
, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. 1:1-1:38 - Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
A Continuous ASM Modelling Approach to Pacemaker Sensing. 2:1-2:40 - Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid:
Directed Incremental Symbolic Execution. 3:1-3:42 - Anirudh Santhiar, Omesh Pandita, Aditya Kanade:
Mining Unit Tests for Discovery and Migration of Math APIs. 4:1-4:33 - Robert M. Hierons:
Combining Centralised and Distributed Testing. 5:1-5:29 - Dilan Sahin, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb:
Code-Smell Detection as a Bilevel Problem. 6:1-6:44
Volume 24, Number 2, December 2014
- Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual Investigation: Predictive and Precise Bug Detection. 7:1-7:32 - Gordon Fraser, Andrea Arcuri:
A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite. 8:1-8:42 - Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Conditional Commitments: Reasoning and Model Checking. 9:1-9:49 - Dan Hao, Lingming Zhang, Lu Zhang, Gregg Rothermel, Hong Mei:
A Unified Test Case Prioritization Approach. 10:1-10:31 - Hassan Eldib, Chao Wang, Patrick Schaumont:
Formal Verification of Software Countermeasures against Side-Channel Attacks. 11:1-11:24 - Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado:
When and How to Use Multilevel Modelling. 12:1-12:46
Volume 24, Number 3, May 2015
- Tao Yue, Lionel C. Briand, Yvan Labiche:
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. 13:1-13:52 - Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero:
Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility. 14:1-14:35 - Elena Sherman, Brady J. Garvin, Matthew B. Dwyer:
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. 15:1-15:33 - Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications. 16:1-16:42 - Wiem Mkaouer, Marouane Kessentini, Adnan Shaout, Patrice Koligheu, Slim Bechikh, Kalyanmoy Deb, Ali Ouni:
Many-Objective Software Remodularization Using NSGA-III. 17:1-17:45 - Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Software Change Contracts. 18:1-18:43 - Pradeep K. Murukannaiah, Munindar P. Singh:
Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation. 19:1-19:32 - Peter A. Whigham, Caitlin A. Owen, Stephen G. MacDonell:
A Baseline Model for Software Effort Estimation. 20:1-20:11
Volume 24, Number 4, August 2015
- Mark Harman, Mauro Pezzè:
Introduction to the Special Issue on ISSTA 2013. 21:1-21:3 - Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. 22:1-22:33 - Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. 23:1-23:49 - Cosmin Radoi, Danny Dig:
Effective Techniques for Static Race Detection in Java Parallel Loops. 24:1-24:30 - Jaideep Nijjar, Ivan Bocic, Tevfik Bultan:
Data Model Property Inference, Verification, and Repair for Web Applications. 25:1-25:27 - Wei Jin, Alessandro Orso:
Automated Support for Reproducing and Debugging Field Failures. 26:1-26:35
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-01-16 22:12 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:
