Browse by Journal

A

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, 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)

M

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, 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: https://orcid.org/0000-0002-6314-3725 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)

S

Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, 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: https://orcid.org/0000-0002-9508-7713 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)