Volume 36,
Number 1,
January 2010
- Jeff Kramer:
Editorial: A New Editor in Chief and the State of the Journal.
1-2
- Bashar Nuseibeh:
Editorial: A New Decade of TSE.
3-6
- Susan Horwitz, Ben Liblit, Marina Polishchuk:
Better Debugging via Output Tracing and Callstack-Sensitive Slicing.
7-19
- Naouel Moha, Yann-Gaël Guéhéneuc, Laurence Duchien, Anne-Françoise Le Meur:
DECOR: A Method for the Specification and Detection of Code and Design Smells.
20-36
- Husain Aljazzar, Stefan Leue:
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.
37-60
- Jo Erskine Hannay, Erik Arisholm, Harald Engvik, Dag I. K. Sjøberg:
Effects of Personality on Pair Programming.
61-80
- Xun Yuan, Atif M. Memon:
Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback.
81-95
- Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato:
How Developers' Experience and Ability Influence Web Application Comprehension Tasks Supported by UML Stereotypes: A Series of Four Experiments.
96-118
- Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri:
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies.
119-140
Volume 36,
Number 2,
March-April 2010
- Bashar Nuseibeh:
Editorial: Readers, Writers, Reviewers, and Editors.
145-156
- Alessandro Garcia, Alexander Romanovsky, Valérie Issarny:
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance.
147-149
- Hina Shah, Carsten Görg, Mary Jean Harrold:
Understanding Exception Handling: Viewpoints of Novices and Experts.
150-161
- Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander E. Wise:
Exception Handling Patterns for Process Modeling.
162-183
- Devdatta Kulkarni, Anand R. Tripathi:
A Framework for Programming Robust Context-Aware Applications.
184-197
- Gerhard Friedrich, Mariagrazia Fugini, Enrico Mussi, Barbara Pernici, Gaston Tagni:
Exception Handling for Repair in Service-Based Processes.
198-215
- Raed Shatnawi:
A Quantitative Investigation of the Acceptable Risk Levels of Object-Oriented Metrics in Open-Source Systems.
216-225
- Mark Harman, Phil McMinn:
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.
226-247
- Doug Kimelman, Marsha Kimelman, David Mandelin, Daniel M. Yellin:
Bayesian Approaches to Matching Architectural Diagrams.
248-274
- Patrice Chalin:
Engineering a Sound Assertion Semantics for the Verifying Compiler.
275-287
- James Skene, Franco Raimondi, Wolfgang Emmerich:
Service-Level Agreements for Electronic Services.
288-304
Volume 36,
Number 3,
May-June 2010
- Bashar Nuseibeh:
In Memoriam: Robin Milner and Amir Pnueli.
305
- Katerina Goseva-Popstojanova, Karama Kanoun:
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability.
306-308
- Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory:
Incremental Test Generation for Software Product Lines.
309-322
- Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
Software Reliability and Testing Time Allocation: An Architecture-Based Approach.
323-337
- Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee:
Verification and Trade-Off Analysis of Security Properties in UML System Models.
338-356
- João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves:
Vulnerability Discovery with Attack Injection.
357-370
- George Spanoudakis, Andrea Zisman:
Discovering Services during Service-Based System Design Using UML.
371-389
- Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
Learning Communicating Automata from MSCs.
390-408
- René Meier, Vinny Cahill:
On Event-Based Middleware for Location-Aware Mobile Applications.
409-430
- Chunying Zhao, Jun Kong, Kang Zhang:
Program Behavior Discovery and Verification: A Graph Grammar Approach.
431-448
Volume 36,
Number 4,
July-August 2010
- Bashar Nuseibeh:
Editorial: How Special Should Issues Be?
449-450
- Barbara G. Ryder, Andreas Zeller:
Introduction: The Best Papers of ISSTA.
451-452
- Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna:
An Experience in Testing the Security of Real-World Electronic Voting Systems.
453-473
- Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
474-494
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur:
Proofs from Tests.
495-508
- Eric Bodden, Klaus Havelund:
Aspect-Oriented Race Detection in Java.
509-527
- George K. Baah, Andy Podgurski, Mary Jean Harrold:
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis.
528-545
- Raymond P. L. Buse, Westley Weimer:
Learning a Metric for Code Readability.
546-558
- Noura Limam, Raouf Boutaba:
Assessing Software Service Quality and Trustworthiness at Selection Time.
559-574
- Niklas Pettersson, Welf Löwe, Joakim Nivre:
Evaluation of Accuracy in Design Pattern Occurrence Detection.
575-590
Volume 36,
Number 5,
September - October 2010
- Gail C. Murphy, Wilhelm Schäfer:
Guest Editors' Introduction: 2008 Conference on the Foundations of Software Engineering.
591-592
- Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, Gregg Rothermel:
The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments.
593-617
- Thomas Zimmermann, Rahul Premraj, Nicolas Bettenburg, Sascha Just, Adrian Schröter, Cathrin Weiss:
What Makes a Good Bug Report?
618-643
- Michele Sama, Sebastian G. Elbaum, Franco Raimondi, David S. Rosenblum, Zhimin Wang:
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification.
644-661
- Reda Bendraou, Jean-Marc Jézéquel, Marie-Pierre Gervais, Xavier Blanc:
A Comparison of Six UML-Based Languages for Software Process Modeling.
662-675
- Stephen G. MacDonell, Martin J. Shepperd, Barbara A. Kitchenham, Emilia Mendes:
How Reliable Are Systematic Reviews in Empirical Software Engineering?
676-687
- Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications.
688-703
- Paul Emberson, Iain Bate:
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems.
704-718
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Time and Probability-Based Information Flow Analysis.
719-734
Volume 36,
Number 6,
November - December 2010
- Bashar Nuseibeh:
Editorial.
735-736
- Mark Harman, S. Afshin Mansouri:
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering.
737-741
- Shaukat Ali, Lionel C. Briand, Hadi Hemmati, Rajwinder Kaur Panesar-Walawege:
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation.
742-762
- Simon M. Poulding, John A. Clark:
Efficient Software Verification: Statistical Testing Using Automated Search.
763-777
- Vahid Garousi:
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation.
778-797
- Christopher L. Simons, Ian C. Parmee, Rhys Gwynllyw:
Interactive, Evolutionary Search in Upstream Object-Oriented Class Design.
798-816
- Michael Bowman, Lionel C. Briand, Yvan Labiche:
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.
817-837
- Jules White, Brian Doughtery, Douglas C. Schmidt:
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem.
838-851
- Yi Liu, Taghi M. Khoshgoftaar, Naeem Seliya:
Evolutionary Optimization of Software Quality Modeling with Multiple Repositories.
852-864
- Klaus Krogmann, Michael Kuperberg, Ralf Reussner:
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction.
865-877
Last update Fri May 25 09:48:42 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
