Rana Farid Mikhail

According to our database¹, Rana Farid Mikhail authored at least 2 papers between 2006 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Automated Database Applications Testing - Specification Representation for Automated Reasoning

[BibT_eX]

[DOI]

Series in Machine Perception and Artificial Intelligence 76, WorldScientific, ISBN: 978-981-4469-13-5, 2010

2006

Unit testing database applications using SpecDB: A database of software specifications.

[BibT_eX]

[DOI]

PhD thesis, 2006