default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering, Volume 37
Volume 37, Number 1, January - February 2011
- Bashar Nuseibeh:
Editorial: State of the Journal. 1-3 - Brian Demsky, Sivaji Sundaramurthy:
Bristlecone: Language Support for Robust Software Applications. 4-23 - Martin P. Ward
, Hussein Zedan:
Deriving a Slicing Algorithm via FermaT Transformations. 24-47 - Renée C. Bryce, Sreedevi Sampath, Atif M. Memon:
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. 48-64 - Salvatore Distefano, Marco Scarpa, Antonio Puliafito:
From UML to Petri Nets: The PCM-Based Methodology. 65-79 - James H. Andrews, Tim Menzies, Felix Chun Hang Li:
Genetic Algorithms for Randomized Unit Testing. 80-94 - Lutz Prechelt:
Plat_Forms: A Web Development Platform Comparison by an Exploratory Experiment Searching for Emergent Platform Properties. 95-108 - Tsong Yueh Chen, T. H. Tse, Zhi Quan Zhou:
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging. 109-125 - YoungMin Kwon, Gul A. Agha:
Verifying the Evolution of Probability Distributions Governed by a DTMC. 126-141
Volume 37, Number 2, March - April 2011
- Bashar Nuseibeh:
Editorial: What Makes a Publication Archival? 145 - Moonzoo Kim, Yunho Kim, Hotae Kim:
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. 146-160 - Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta:
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments. 161-187 - Alexander Egyed:
Automatically Detecting and Tracking Inconsistencies in Software Design Models. 188-204 - Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto:
Improving Source Code Lexicon via Traceability and Information Retrieval. 205-227 - Luciano Baresi, Carlo Ghezzi, Luca Mottola:
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. 228-246 - Luciano Baresi, Sam Guinea:
Self-Supervising BPEL Processes. 247-263 - Kata Praditwong, Mark Harman, Xin Yao:
Software Module Clustering as a Multi-Objective Search Problem. 264-282 - Oscar Dieste, Natalia Juristo Juzgado:
Systematic Review and Aggregation of Empirical Studies on Elicitation Techniques. 283-304
Volume 37, Number 3, May - June 2011
- Marcelo Cataldo, Kate Ehrlich, Audris Mockus:
Guest Editors' Introduction: Special Section on the Socio-Technical Environment of Software Development Projects. 305-306 - Irwin Kwan, Adrian Schröter, Daniela E. Damian:
Does Socio-Technical Congruence Have an Effect on Software Build Success? A Study of Coordination in a Software Project. 307-324 - Cleidson R. B. de Souza, David F. Redmiles:
The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor? 325-340 - Bas Cornelissen, Andy Zaidman, Arie van Deursen:
A Controlled Experiment for Program Comprehension through Trace Visualization. 341-355 - Qinbao Song, Zihan Jia, Martin J. Shepperd, Shi Ying, Jin Liu:
A General Software Defect-Proneness Prediction Framework. 356-370 - Pratyusa K. Manadhata, Jeannette M. Wing:
An Attack Surface Metric. 371-386 - Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli:
Dynamic QoS Management and Optimization in Service-Based Systems. 387-409 - Matthias Weidlich, Jan Mendling, Mathias Weske:
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models. 410-429 - Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park:
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts. 430-447
Volume 37, Number 4, July - August 2011
- Mikhail Perepletchikov, Caspar Ryan:
A Controlled Experiment for Evaluating the Impact of Coupling on the Maintainability of Service-Oriented Software. 449-465 - Mingsheng Ying, Yuan Feng:
A Flowchart Language for Quantum Programming. 466-485 - Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
Dynamic Analysis for Diagnosing Integration Faults. 486-508 - Norsaremah Salleh, Emilia Mendes, John C. Grundy:
Empirical Studies of Pair Programming for CS/SE Teaching in Higher Education: A Systematic Literature Review. 509-525 - Alexandre Bergel, William Harrison, Vinny Cahill, Siobhán Clarke:
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices. 526-543 - Xavier Amatriain, Pau Arumí:
Frameworks Generate Domain-Specific Languages: A Case Study in the Multimedia Domain. 544-558 - Xun Yuan, Myra B. Cohen, Atif M. Memon:
GUI Interaction Testing: Incorporating Event Context. 559-574 - Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
Zebu: A Language-Based Approach for Network Protocol Message Processing. 575-591
Volume 37, Number 5, September - October 2011
- Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, Michel R. V. Chaudron:
A Classification Framework for Software Component Models. 593-615 - Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan:
A Comparison of Tabular Expression-Based Testing Strategies. 616-634 - Tak Wah Kwan, Hareton K. N. Leung:
A Risk Management Methodology for Project Risk Dependencies. 635-648 - Yue Jia, Mark Harman:
An Analysis and Survey of the Development of Mutation Testing. 649-678 - Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen-Chung Yew:
Dynamic Software Updating Using a Relaxed Consistency Model. 679-694 - Magne Jørgensen, Stein Grimstad:
The Impact of Irrelevant and Misleading Information on Software Development Effort Estimates: A Randomized Controlled Field Experiment. 695-707 - Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright:
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. 708-717 - Diwakar Krishnamurthy, Jerry Rolia, Min Xu:
WAM - The Weighted Average Method for Predicting the Performance of Systems with Bursts of Customer Sessions. 718-735
Volume 37, Number 6, November - December 2011
- Jaiprakash T. Lallchandani, Rajib Mall:
A Dynamic Slicing Technique for UML Architectural Models. 737-771 - Yonghee Shin, Andrew Meneely, Laurie A. Williams, Jason A. Osborne:
Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities. 772-787 - Jehad Al-Dallal:
Measuring the Discriminative Power of Object-Oriented Class Cohesion Metrics. 788-804 - Xiao Liu, Yun Yang, Yuan-Chun Jiang, Jinjun Chen:
Preventing Temporal Violations in Scientific Workflows: Where and How. 805-825 - Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. 826-844 - Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. 845-857 - Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Tuning Temporal Features within the Stochastic π-Calculus. 858-871 - Giulio Concas, Michele Marchesi, Alessandro Murgia, Roberto Tonelli, Ivana Turnu:
On the Distribution of Bugs in the Eclipse System. 872-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 2026-03-04 23:39 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:
