Model-based Software Testing and Analysis with C?by Jonathan JackyComputer software, quality controlC sharp (computer program language)Writing a summary for young readers…For young readersBook data: Open Library