Affan Rauf

According to our database¹, Affan Rauf authored at least 3 papers between 2018 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Effective State Encoding for Breadth-First Generation of Complex Structures.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

2018

Chapter Two - Advances in Software Model Checking.

[BibT_eX]

[DOI]

Adv. Comput., 2018

Efficient iterative deepening for bounded exhaustive generation of complex structures.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018