Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 5446 results
Sort by: relevance publication year
Showing results for ISSN matching 0098-5589

scenoRITA: Generating Diverse, Fully Mutable, Test Scenarios for Autonomous Vehicle Planning

JOURNAL ARTICLE published 1 October 2023 in IEEE Transactions on Software Engineering

Research funded by NSF (1823262,1929771,1932464,2145493)

Authors: Yuqi Huai | Sumaya Almanee | Yuntianyi Chen | Xiafa Wu | Qi Alfred Chen | Joshua Garcia

https://doi.org/10.1109/tse.2023.3309610 Actions

ProXray: Protocol Model Learning and Guided Firmware Analysis

JOURNAL ARTICLE published 2019 in IEEE Transactions on Software Engineering

Research funded by Division of Computer and Network Systems (1815883) | Semiconductor Research Corporation (2018-TS-2846)

Authors: Farhaan Fowze | Dave Jing Tian | Grant Hernandez | Kevin Butler | Tuba Yavuz

https://doi.org/10.1109/tse.2019.2939526 Actions

A Simple and Efficient Randomized Byzantine Agreement Algorithm

JOURNAL ARTICLE published June 1985 in IEEE Transactions on Software Engineering

Authors: B. Chor | B.A. Coan

https://doi.org/10.1109/tse.1985.232245 Actions

Discovering Architectures from Running Systems

JOURNAL ARTICLE published July 2006 in IEEE Transactions on Software Engineering

Authors: B. Schmerl | J. Aldrich | D. Garlan | R. Kazman

https://doi.org/10.1109/tse.2006.66 Actions

A method for design and performance modeling of client/server systems

JOURNAL ARTICLE published 2000 in IEEE Transactions on Software Engineering

Authors: H. Gomaa | D.A. Menasce

https://doi.org/10.1109/32.881718 Actions

Global-Aware Recommendations for Repairing Violations in Exception Handling

JOURNAL ARTICLE published 1 September 2018 in IEEE Transactions on Software Engineering

Authors: Eiji Adachi Barbosa | Alessandro Garcia

https://doi.org/10.1109/tse.2017.2716925 Actions

Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps

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

Research funded by National Basic Research (973) (2014CB340701) | National Natural Science Foundation of China (91418206)

Authors: Tianyong Wu | Jierui Liu | Zhenbo Xu | Chaorong Guo | Yanli Zhang | Jun Yan | Jian Zhang

https://doi.org/10.1109/tse.2016.2547385 Actions

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

JOURNAL ARTICLE published 1 January 2021 in IEEE Transactions on Software Engineering

Authors: Khaled El-Fakih | Gregor V. Bochmann

https://doi.org/10.1109/tse.2018.2878728 Actions

The Effect of Feature Characteristics on the Performance of Feature Location Techniques

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

Research funded by Science Foundation Ireland (13/RC/2094)

Authors: Abdul Razzaq | Anthony Ventresque | Rainer Koschke | Andrea De Lucia | Jim Buckley

https://doi.org/10.1109/tse.2021.3049735 Actions

ADTEST: a test data generation suite for Ada software systems

JOURNAL ARTICLE published 1997 in IEEE Transactions on Software Engineering

Authors: M.J. Gallagher | V. Lakshmi Narasimhan

https://doi.org/10.1109/32.624304 Actions

Using Local Clocks to Reproduce Concurrency Bugs

JOURNAL ARTICLE published 1 November 2018 in IEEE Transactions on Software Engineering

Research funded by National High Technology Research and Development Program of China (2012AA010901) | National Natural Science Foundation of China (NSFC) (61303051,61303052,61332009,60925009,61100011) | Innovation Research Group of NSFC (61221062)

Authors: Zhe Wang | Chenggang Wu | Xiang Yuan | Zhenjiang Wang | Jianjun Li | Pen-Chung Yew | Jeff Huang | Xiaobing Feng | Yanyan Lan | Yunji Chen | Yuanming Lai | Yong Guan

https://doi.org/10.1109/tse.2017.2752158 Actions

TSE Information for authors

JOURNAL ARTICLE published November 2010 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2010.102 Actions

Call for Papers

JOURNAL ARTICLE published September 1980 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.1980.230792 Actions

Program graphs, an algebra, and their implication for programming

JOURNAL ARTICLE published September 1975 in IEEE Transactions on Software Engineering

Authors: Michael R. Paige

https://doi.org/10.1109/tse.1975.6312853 Actions

FutureWare: Designing a Middleware for Anticipatory Mobile Computing

JOURNAL ARTICLE published 1 October 2021 in IEEE Transactions on Software Engineering

Research funded by Engineering and Physical Sciences Research Council (EP/P016278/1)

Authors: Abhinav Mehrotra | Veljko Pejovic | Mirco Musolesi

https://doi.org/10.1109/tse.2019.2943554 Actions

Alloy Meets the Algebra of Programming: A Case Study

JOURNAL ARTICLE published March 2013 in IEEE Transactions on Software Engineering

Authors: Jose N. Oliveira | Miguel A. Ferreira

https://doi.org/10.1109/tse.2012.15 Actions

A cost model for determining the optimal number of software test cases

JOURNAL ARTICLE published 1989 in IEEE Transactions on Software Engineering

Authors: D.B. Brown | S. Maghsoodloo | W.H. Deason

https://doi.org/10.1109/32.21747 Actions

The impact of institutional forces on software metrics programs

JOURNAL ARTICLE published August 2005 in IEEE Transactions on Software Engineering

Authors: A. Gopal | T. Mukhopadhyay | M.S. Krishnan

https://doi.org/10.1109/tse.2005.95 Actions

A Bayesian analysis of the logarithmic-Poisson execution time model based on expert opinion and failure data

JOURNAL ARTICLE published September 1994 in IEEE Transactions on Software Engineering

Authors: S. Campodonico | N.D. Singpurwalla

https://doi.org/10.1109/32.317426 Actions

Dynamic scheduling of hard real-time tasks and real-time threads

JOURNAL ARTICLE published 1992 in IEEE Transactions on Software Engineering

Authors: K. Schwan | H. Zhou

https://doi.org/10.1109/32.153383 Actions
Feedback: support@crossref.org