Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 5446 results
Sort by: relevance publication year

The COLUMBUS approach

JOURNAL ARTICLE published December 1975 in IEEE Transactions on Software Engineering

Authors: Jan Witt

IEEE Computer Society CSDP [advertisement]

JOURNAL ARTICLE published November 2010 in IEEE Transactions on Software Engineering

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

JOURNAL ARTICLE published 1 July 2016 in IEEE Transactions on Software Engineering

Research funded by ISF (126/12) | Engineering and Physical Science Research Council (EPSRC) (EP/H046623/1) | MOST (103-2221-E-002-150-MY3)

Authors: Chung-Hao Huang | Doron A. Peled | Sven Schewe | Farn Wang

On "A framework for source code search using program patterns"

JOURNAL ARTICLE published 1995 in IEEE Transactions on Software Engineering

Authors: P. Devanbu

Categorization of common coupling and its application to the maintainability of the Linux kernel

JOURNAL ARTICLE published October 2004 in IEEE Transactions on Software Engineering

Authors: L. Yu | S.R. Schach | K. Chen | J. Offutt

Interface compilation: steps toward compiling program interfaces as languages

JOURNAL ARTICLE published 1999 in IEEE Transactions on Software Engineering

Authors: D.R. Engler

Dynamic verification of C++ generic algorithms

JOURNAL ARTICLE published May 1997 in IEEE Transactions on Software Engineering

Authors: D.R. Musser

On the Distribution of Bugs in the Eclipse System

JOURNAL ARTICLE published November 2011 in IEEE Transactions on Software Engineering

Authors: Giulio Concas | Michele Marchesi | Alessandro Murgia | Roberto Tonelli | Ivana Turnu

Reasoning About Identifier Spaces: How to Make Chord Correct

JOURNAL ARTICLE published 1 December 2017 in IEEE Transactions on Software Engineering

Authors: Pamela Zave

Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation

JOURNAL ARTICLE published March 2012 in IEEE Transactions on Software Engineering

Authors: Phil McMinn | Mark Harman | Kiran Lakhotia | Youssef Hassoun | Joachim Wegener

Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition

JOURNAL ARTICLE published 1 March 2022 in IEEE Transactions on Software Engineering

Research funded by National Natural Science Foundation of China (61772055,61872169) | Technical Foundation Project of Ministry of Industry and Information Technology of China (JSZL2016601B003) | Equipment Preliminary R&D Project of China (41402020102)

Authors: Kun Qiu | Zheng Zheng | Tsong Yueh Chen | Pak-Lok Poon

Guest Editorial. Introduction to the Special Section

JOURNAL ARTICLE published July 1998 in IEEE Transactions on Software Engineering

Authors: D. Garlan

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems

JOURNAL ARTICLE published September 2009 in IEEE Transactions on Software Engineering

Authors: E. Vicario | L. Sassoli | L. Carnevali

Selecting Software Test Data Using Data Flow Information

JOURNAL ARTICLE published April 1985 in IEEE Transactions on Software Engineering

Authors: S. Rapps | E.J. Weyuker

A domain-specific language for regular sets of strings and trees

JOURNAL ARTICLE published 1999 in IEEE Transactions on Software Engineering

Authors: N. Klarlund | M.I. Schwartzbach

The use of proof in diversity arguments

JOURNAL ARTICLE published 2000 in IEEE Transactions on Software Engineering

Authors: B. Littlewood

Language design for program manipulation

JOURNAL ARTICLE published 1992 in IEEE Transactions on Software Engineering

Authors: E.A.T. Merks | J.M. Dyck | R.D. Cameron

2006 Annual Index

JOURNAL ARTICLE published January 2007 in IEEE Transactions on Software Engineering

2006 Reviewers List

JOURNAL ARTICLE published January 2007 in IEEE Transactions on Software Engineering

Join the IEEE Computer Society

JOURNAL ARTICLE published December 2006 in IEEE Transactions on Software Engineering