Write in a clean editor, then format for IEEE Transactions on Software Engineering in one click — DocuGuru applies the official IEEE template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
IEEE Transactions on Software Engineering is a peer-reviewed journal published by IEEE, covering Software Engineering Research, Software Reliability and Analysis Research, Software Testing and Debugging Techniques. Over its lifetime it has published 6,177 papers, which have received 419,052 citations.
| Publisher | IEEE |
|---|---|
| Reference style | Numbered (IEEE) Numbered — [1], [2] in the text [1] A. Smith, B. Jones, and C. Lee, "A representative article title," IEEE Transactions on Software Engineering, vol. 12, no. 3, pp. 45–58, 2023.
Formats any DOI in IEEE Transactions on Software Engineering style. No sign-up. |
| Publishes research in | Software Engineering Research Software Reliability and Analysis Research Software Testing and Debugging Techniques Advanced Software Engineering Methodologies Software Engineering Techniques and Practices |
| ISSN | 0098-5589 |
| Citation impact (2-yr) | 5.62 |
| h-index | 293 |
| i10-index | 3,623 |
| Top institutions publishing here | University of Maryland, College Park |
| Journal website | www.computer.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program complexity. The paper first explains how the graph-theory concepts apply and gives an intuitive explanation of the graph concepts in programming terms. The control graphs of several actual Fortran programs are then presented to illustrate the…
Given the central role that software development plays in the delivery and application of information technology, managers are increasingly focusing on process improvement in the software development area. This demand has spurred the provision of a number of new and/or improved approaches to software development, with perhaps the most prominent being object-orientation (OO). In addition,…
SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. The paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives…
A model of a real-time intrusion-detection expert system capable of detecting break-ins, penetrations, and other forms of computer abuse is described. The model is based on the hypothesis that security violations can be detected by monitoring a system's audit records for abnormal patterns of system usage. The model includes profiles for representing the behavior of…
Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a ``slice,'' is an independent program guaranteed to represent faithfully the original program…
IEEE Open Journal of Control Systems
IEEE Open Journal of Instrumentation & Measurement
IEEE Open Journal of Power Electronics
IEEE Open Journal of the Communications Society
IEEE Open Journal of the Solid-State Circuits Society
IEEE Open Journal on Immersive Displays
ICLR - International Conference on Learning Representations
NeurIPS - Neural Information Processing Systems
