Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarIEEE Transactions on Software Engineering (TSE), Volume 36
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 B. 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 Ferreira 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 H. Reussner:
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction. 865-877
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 2020-07-11 19:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
