TLV: Abstraction through testing, learning, and validation

TLV: Abstraction through testing, learning, and validation

A (Java) class provides a service to its clients (i.e., programs which use the class). The service must satisfy certain specifications. Different specifications might be expected at different levels of abstraction depending on the client's objective. In order to effectively contrast the class a...

Full description

Saved in:
Bibliographic Details
Main Authors: SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2015
Subjects:
Program Abstraction
Automata Learning
Behavior Models
Symbolic Execution
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4975
https://ink.library.smu.edu.sg/context/sis_research/article/5978/viewcontent/tlv.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4975
https://ink.library.smu.edu.sg/context/sis_research/article/5978/viewcontent/tlv.pdf

Similar Items