default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering, Volume 39
Volume 39, Number 1, January 2013
- Wei-neng Chen, Jun Zhang
:
Ant Colony Optimization for Software Project Scheduling and Staffing with an Event-Based Scheduler. 1-17 - Davide Falessi, Giovanni Cantone, Gerardo Canfora:
Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques. 18-44 - Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.:
Identifying and Summarizing Systematic Code Changes via Rule Inference. 45-62 - Sven Apel, Christian Kästner, Christian Lengauer:
Language-Independent and Automated Software Composition: The FeatureHouse Experience. 63-79 - Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira:
On Fault Representativeness of Software Fault Injection. 80-96 - Richard A. Hayden, Jeremy T. Bradley, Allan Clark:
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. 97-118 - Leticia Duboc, Emmanuel Letier, David S. Rosenblum:
Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis. 119-140
Volume 39, Number 2, February 2013
- Bashar Nuseibeh:
Editorial: State of the Journal. 145-146 - Gustavo Soares, Rohit Gheyi, Tiago Massoni:
Automated Behavioral Testing of Refactoring Engines. 147-162 - Ali Shahbazi, Andrew F. Tappenden, James Miller:
Centroidal Voronoi Tessellations - A New Approach to Random Testing. 163-183 - Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. 184-196 - Joseph Lawrance, Christopher Bogart, Margaret M. Burnett, Rachel K. E. Bellamy, Kyle Rector, Scott D. Fleming:
How Programmers Debug, Revisited: An Information Foraging Theory Perspective. 197-215 - Stefan Leue, Wei Wei:
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. 216-236 - Karel Dejaeger, Thomas Verbraken, Bart Baesens:
Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers. 237-257 - Shifa-e-Zehra Haidry, Tim Miller:
Using Dependency Structures for Prioritization of Functional Test Suites. 258-275 - Gordon Fraser, Andrea Arcuri:
Whole Test Suite Generation. 276-291
Volume 39, Number 3, 2013
- Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. 292-304 - José Nuno Oliveira, Miguel Alexandre Ferreira:
Alloy Meets the Algebra of Programming: A Case Study. 305-326 - Silvia Abrahão, Carmine Gravino, Emilio Insfrán, Giuseppe Scanniello, Genoveffa Tortora:
Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments. 327-342 - Marcelo Cataldo, James D. Herbsleb:
Coordination Breakdowns and Their Impact on Development Productivity and Software Failures. 343-360 - Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Elaborating Requirements Using Model Checking and Inductive Learning. 361-383 - M. S. Raunak, Leon J. Osterweil:
Resource Management for Complex, Dynamic Environments. 384-402 - Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting:
Self-Management of Adaptable Component-Based Applications. 403-421 - Rashina Hoda, James Noble, Stuart Marshall:
Self-Organizing Roles on Agile Software Development Teams. 422-444
Volume 39, Number 4, April 2013
- Anna Perini, Angelo Susi, Paolo Avesani:
A Machine Learning Approach to Software Requirements Prioritization. 445-461 - Tihana Galinac Grbac, Per Runeson, Darko Huljenic:
A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems. 462-476 - Satoshi Ikeda, Masahiro Jibiki, Yasushi Kuno:
Coverage Estimation in Model Checking with Bitstate Hashing. 477-486 - John C. Grundy, John G. Hosking, Karen Na-Liu Li, Norhayati Mohd. Ali, Jun Huh, Richard Lei Li:
Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications. 487-515 - Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis. 516-536 - Nikolaos Mittas, Lefteris Angelis:
Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm. 537-551 - Shivkumar Shivaji, E. James Whitehead Jr., Ram Akella, Sunghun Kim:
Reducing Features to Improve Code Change-Based Bug Prediction. 552-569 - Pedro Reales Mateo, Macario Polo Usaola, José Luis Fernández-Alemán:
Validating Second-Order Mutation at System Level. 570-587
Volume 39, Number 5, May 2013
- Bashar Nuseibeh:
Editorial [new associate editors]. 588-590 - Vivek Nallur, Rami Bahsoon:
A Decentralized Self-Adaptation Mechanism for Service-Based Applications in the Cloud. 591-612 - Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford:
Automated API Property Inference Techniques. 613-637 - Laura Carnevali, Alessandro Pinzuti, Enrico Vicario:
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. 638-657 - Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. 658-683 - Cemal Yilmaz:
Test Case-Aware Combinatorial Interaction Testing. 684-706 - Juha Itkonen, Mika Mäntylä, Casper Lassenius:
The Role of the Tester's Knowledge in Exploratory Software Testing. 707-724 - Nasir Ali, Yann-Gaël Guéhéneuc, Giuliano Antoniol:
Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links. 725-741
Volume 39, Number 6, June 2013
- Bashar Nuseibeh:
In Memoriam - David Notkin (1953-2013). 742-743 - Mirco Tribastone:
A Fluid Model for Layered Queueing Networks. 744-756 - Yasutaka Kamei, Emad Shihab, Bram Adams, Ahmed E. Hassan, Audris Mockus, Anand Sinha, Naoyasu Ubayashi:
A Large-Scale Empirical Study of Just-in-Time Quality Assurance. 757-773 - Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. 774-786 - Richard Baker, Ibrahim Habli:
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. 787-805 - Marcello Cinque, Domenico Cotroneo, Antonio Pecchia:
Event Logs for the Analysis of Software Failures: A Rule-Based Approach. 806-821 - Tim Menzies, Andrew Butcher, David R. Cok, Andrian Marcus, Lucas Layman, Forrest Shull, Burak Turhan, Thomas Zimmermann:
Local versus Global Lessons for Defect Prediction and Effort Estimation. 822-834 - Yahya Rafique, Vojislav B. Misic:
The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis. 835-856 - Guillermo Rodríguez-Navas, Julián Proenza:
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. 857-868 - Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang:
What Industry Needs from Architectural Languages: A Survey. 869-891
Volume 39, Number 7, July 2013
- Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt:
Amorphous Slicing of Extended Finite State Machines. 892-909 - Jinkyu Lee, Insik Shin:
EDZL Schedulability Analysis in Real-Time Multicore Scheduling. 910-916 - Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. 917-929 - Enrico di Bella, Ilenia Fronza, Nattakarn Phaphoom, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko:
Pair Programming and Software Defects-A Large, Industrial Case Study. 930-953 - Andrea Zisman, George Spanoudakis, James Dooley, Igor Siveroni:
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation. 954-974 - German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer:
Synthesizing Modal Transition Systems from Triggered Scenarios. 975-1001 - Barbara A. Kitchenham, Dag I. K. Sjøberg, Tore Dybå, O. Pearl Brereton, David Budgen, Martin Höst, Per Runeson:
Trends in the Quality of Human-Centric Software Engineering Experiments-A Quasi-Experiment. 1002-1017 - Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong:
Verifying Linearizability via Optimized Refinement Checking. 1018-1039
Volume 39, Number 8, August 2013
- Ekrem Kocaguneli, Tim Menzies, Jacky Keung, David R. Cok, Raymond J. Madachy:
Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data. 1040-1053 - Fayola Peters, Tim Menzies, Liang Gong, Hongyu Zhang:
Balancing Privacy and Utility in Cross-Company Defect Prediction. 1054-1068 - Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. 1069-1089 - Segla Kpodjedo, Filippo Ricca, Philippe Galinier, Giuliano Antoniol, Yann-Gaël Guéhéneuc:
MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison. 1090-1111 - Hui Liu, Xue Guo, Weizhong Shao:
Monitor-Based Instant Software Refactoring. 1112-1126 - Michael Pradel, Thomas R. Gross:
Name-Based Analysis of Equally Typed Method Arguments. 1127-1143 - Dag I. K. Sjøberg, Aiko Fallas Yamashita, Bente Cecilie Dahlum Anda, Audris Mockus, Tore Dybå:
Quantifying the Effect of Code Smells on Maintenance Effort. 1144-1156 - Nikola Janevski, Katerina Goseva-Popstojanova:
Session Reliability of Web Systems under Heavy-Tailed Workloads: An Approach Based on Design and Analysis of Experiments. 1157-1178 - Nuria Torrado, Michael P. Wiper, Rosa E. Lillo:
Software Reliability Modeling with Software Metrics Data via Gaussian Processes. 1179-1186
Volume 39, Number 9, September 2013
- Bashar Nuseibeh:
Editorial. 1187-1189 - Dragan Milicev, Zarko Mijailovic:
Capsule-Based User Interface Modeling for Large-Scale Applications. 1190-1207 - Martin J. Shepperd, Qinbao Song, Zhongbin Sun, Carolyn Mair:
Data Quality: Some Comments on the NASA Software Defect Datasets. 1208-1215 - Wilkerson de L. Andrade, Patrícia D. L. Machado:
Generating Test Cases for Real-Time Systems Based on Symbolic Models. 1216-1229 - Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller:
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. 1230-1244 - Hewijin Christine Jiau, Lee Wei Mar, Jinghong Cox Chen:
OBEY: Optimal Batched Refactoring Plan Execution for Class Responsibility Redistribution. 1245-1263 - Walid Maalej, Martin P. Robillard:
Patterns of Knowledge in API Reference Documentation. 1264-1282 - Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias:
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. 1283-1307 - Yann Moffett, Jürgen Dingel, Alain Beaulieu:
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. 1307-1325
Volume 39, Number 10, October 2013
- Sreedevi Sampath, Renée C. Bryce, Atif M. Memon:
A Uniform Representation of Hybrid Criteria for Regression Testing. 1326-1344 - Akito Monden, Takuma Hayashi, Shoji Shinoda, Kumiko Shirai, Junichi Yoshida, Mike Barker, Ken-ichi Matsumoto:
Assessing the Cost Effectiveness of Fault Prediction in Acceptance Testing. 1345-1357 - Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Early Detection of Collaboration Conflicts and Risks. 1358-1375 - Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Generating Test Data from OCL Constraints with Search Techniques. 1376-1402 - David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
Monitoring Data Usage in Distributed Systems. 1403-1426 - Stephen W. Thomas, Meiyappan Nagappan, Dorothea Blostein, Ahmed E. Hassan:
The Impact of Classifier Configuration and Classifier Combination on Bug Localization. 1427-1443 - Chunyang Ye, Hans-Arno Jacobsen:
Whitening SOA Testing via Event Exposure. 1444-1465
Volume 39, Number 11, November 2013
- Bashar Nuseibeh:
In Memoriam: Mary Jean Harrold (1947-2013). 1466 - Naeem Esfahani, Ahmed M. Elkhodary, Sam Malek:
A Learning-Based Framework for Engineering Feature-Oriented Self-Adaptive Software Systems. 1467-1493 - Norhayati Mohd. Ali, John G. Hosking, John Grundy:
A Taxonomy and Mapping of Computer-Based Critiquing Tools. 1494-1520 - Bev Littlewood, Andrey Povyakalo:
Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect". 1521-1530 - Alexander Reder, Alexander Egyed:
Determining the Cause of a Design Model Inconsistency. 1531-1548 - Huo Yan Chen, T. H. Tse:
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software. 1549-1563 - Sriram Kailasam, Nathan Gnanasambandam, Dharanipragada Janakiram, Naveen Sharma:
Optimizing Ordered Throughput Using Autonomic Cloud Bursting Schedulers. 1564-1581 - Laura Carvajal, Ana María Moreno, María Isabel Sánchez Segura, Ahmed Seffah:
Usability through Software Design. 1582-1596 - Dongsun Kim, Yida Tao, Sunghun Kim, Andreas Zeller:
Where Should We Fix This Bug? A Two-Phase Recommendation Model. 1597-1610
Volume 39, Number 12, December 2013
- Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki:
A Study of Variability Models and Languages in the Systems Software Domain. 1611-1640 - Bev Littlewood, Andrey Povyakalo:
Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence". 1641-1653 - Kathryn T. Stolee, Sebastian G. Elbaum:
Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups. 1654-1679 - Josip Maras, Maja Stula, Jan Carlson, Ivica Crnkovic:
Identifying Code of Individual Features in Client-Side Web Applications. 1680-1697 - Tim Menzies, Adam Brady, Jacky Keung, Jairus Hihn, Steve Williams, Oussama El-Rawas, Phillip Green II, Barry W. Boehm:
Learning Project Management Decisions: A Case Study with Case-Based Reasoning versus Data Farming. 1698-1713 - Deshan Cooray, Ehsan Kouroshfar, Sam Malek, Roshanak Roshandel:
Proactive Self-Adaptation for Improving the Reliability of Mission-Critical, Embedded, and Mobile Software. 1714-1735 - Negar Hariri, Carlos Castro-Herrera, Mehdi Mirakhorli, Jane Cleland-Huang, Bamshad Mobasher:
Supporting Domain Analysis through Mining and Recommending Features from Online Product Listings. 1736-1752 - Gwanhoo Lee, J. Alberto Espinosa, William H. DeLone:
Task Environment Complexity, Global Team Dispersion, Process Capabilities, and Coordination in Software Development. 1753-1771
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-12-05 22:38 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:
