Contract Programming Checker : A Study for Making an Automated Test Tool Using a Parser
Thanks to computer software development, the communication industry hasevolved a lot during the last few years. Software and hardware integration made itpossible to exploit the best out of available equipments. One of the important issues in software development process is to avoid bugs ordetect the...
Main Author: | Yazdani Najafabadi, HamidReza |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2009
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-108026 |
Similar Items
-
Techniques for Automated Testing of Lola Industrial Robot Language Parser
by: M. M. Lutovac, et al.
Published: (2014-06-01) -
A checker-playing program.
by: Cochran, DeFord Eugene.
Published: (2012) -
Automated Test Generation for Structured Text Language using UPPAAL Model Checker
by: Markovic, Filip
Published: (2015) -
Test and Verification of Concurrent Programs Using the Model Checker SPIN
by: Chu, Liang-Jung, et al.
Published: (1998) -
The design and implementation of a COBOL program syntax parser
by: 謝金美
Published: (1987)