by Blanchet, B.
Published in IEEE transactions on dependable and secure computing (01.10.2008)

by Fricker, Samuel, Gorschek, Tony, Byman, Carl, Schmidle, Armin, Fricker, Samuel, Gorschek, Tony, Byman, Carl, Schmidle, Armin
Published in IEEE software (2019)

by Boden, Alexander, Nett, Bernhard, Wulf, Volker, Wulf, Volker, Boden, Alexander, Nett, Bernhard
Published in IEEE software (2019)

by Van Zee, Field, Chan, Ernie, van de Geijn, Robert, Quintana, Enrique, Quintana-Orti, Gregorio
Published in Computing in science & engineering (2019)

by Wu, Harris, Cao, Lan, Wu, Harris, Cao, Lan
Published in IEEE software (2016)

by Wray, Stuart, Wray, Stuart
Published in IEEE software (2009)

by Tomb, Aaron
Published in IEEE security & privacy (16.06.2017)

Published in IEEE software

by Iglesia, Didac Gil De La, Weyns, Danny
Published in ACM transactions on autonomous and adaptive systems (01.10.2015)

by Atig, Mohamed Faouzi
Published in Logical methods in computer science (20.09.2012)

Published in ACM transactions on programming languages and systems

by Power, David, Slaymaker, Mark, Simpson, Andrew
Published in Computer journal (01.05.2009)

by Stulman, Ariel
Published in Journal of computing and information technology (01.03.2011)

by REDON, XAVIER, FEAUTRIER, PAUL
Published in Parallel algorithms and applications (01.12.2000)

by Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

by Gulavani, Bhargav S., Chakraborty, Supratik, Ramalingam, G., Nori, Aditya V.
Published in ACM transactions on programming languages and systems (01.11.2011)

Published in ACM transactions on programming languages and systems (01.05.1999)

by Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Elder, Matt, Lim, Junghee, Sharma, Tushar, Andersen, Tycho, Reps, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

Published in ACM transactions on programming languages and systems (01.05.1999)