Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: A | M | S
Number of items: 6.


Androutsopoulos, Kelly ORCID logoORCID:, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2012.72)


Menéndez, Héctor D. ORCID logoORCID:, Boreale, Michele, Gorla, Daniele and Clark, David (2020) Output sampling for output diversity in automatic unit test generation. IEEE Transactions on Software Engineering . ISSN 0098-5589 [Article] (Published online first) (doi:10.1109/TSE.2020.2987377)

Menéndez, Héctor D. ORCID logoORCID: and Clark, David (2022) Hashing fuzzing: introducing input diversity to improve crash detection. IEEE Transactions on Software Engineering, 48 (9) . pp. 3540-3553. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2021.3100858)


Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID logoORCID:, Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5) . pp. 644-661. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2010.35)

Skene, James, Raimondi, Franco ORCID logoORCID: and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2) . pp. 288-304. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2009.55)

Su, Guoxin, Feng, Yuan, Chen, Taolue and Rosenblum, David S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering, 42 (7) . pp. 623-639. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2015.2508444)

This list was generated on Tue May 30 04:59:23 2023 BST.