Soha Hussein
发表
Stephen McCamant,
Vaibhav Sharma,
M. Heimdahl,
2022,
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).
Stephen McCamant,
Michael W. Whalen,
Vaibhav Sharma,
2020,
ESEC/SIGSOFT FSE.
Iliano Cervesato,
Thierry Sans,
Soha Hussein,
2013,
NordSec.
Stephen McCamant,
Vaibhav Sharma,
Elena Sherman,
2023,
2023 IEEE/ACM International Conference on Automation of Software Test (AST).
Stephen McCamant,
Vaibhav Sharma,
M. Heimdahl,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Stephen McCamant,
Michael W. Whalen,
Willem Visser,
2020,
TACAS.