by BIRD, RICHARD S.
Published in Journal of functional programming (01.05.2001)

by Belta, Calin
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)

by Roveri, Marco, Ivankovic, Franc, Palopoli, Luigi, Fontanelli, Daniele
Published in arXiv.org (31.10.2022)

by De Oliveira Nunes, Ivan, Hwang, Seoyeon, Jakkamsetti, Sashidhar, Rattanavipanon, Norrathep, Tsudik, Gene
Published in arXiv.org (23.08.2023)

by Tschaikowski, Max
Published in arXiv.org (01.05.2019)

by Behrend, Jorg, Gruenhage, Alexander, Schroeder, Douglas, Lettnin, Djones, Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)

by Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh
Published in Procedia computer science (2016)

by Mitsch, Stefan, Platzer, André
Year of Publication 15.11.2018

by Dimoulas, Christos, Felleisen, Matthias
Published in ACM transactions on programming languages and systems (01.11.2011)

by Vilihura, V.V.
Published in Radiotekhnika (02.07.2021)

by Jin, Jiwei, Ma, Feifei, Zhang, Jian
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.07.2015)

by Wiśniewski, Zenon
Published in European Research Studies (01.01.2021)

by Paterson, Colin, Wu, Haoze, Grese, John, Calinescu, Radu, Pasareanu, Corina S, Barrett, Clark
Year of Publication 02.03.2021

by Anderson, GN, Hocking, AB, Knight, JC
Published in IET Conference Proceedings (11.10.2016)

by Faried Abu Zaid, Neider, Daniel, Yalçıner, Mustafa
Published in arXiv.org (20.06.2024)

by Coward, Samuel, Morini, Emiliano, Tan, Bryan, Drane, Theo, Constantinides, George
Published in arXiv.org (01.08.2023)

by Feyzabadi, Seyedshams, Carpin, Stefano
Published in 2016 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2016)

by Di Stasio, Antonio, Murano, Aniello, Perelli, Giuseppe, Vardi, Moshe Y
Year of Publication 30.10.2019

by Verginis, Christos
Published in arXiv.org (02.03.2023)

by Mitsch, Stefan, Platzer, André
Published in arXiv.org (24.02.2019)