TLV: Abstraction through testing, learning, and validation

• 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
• Institution: Singapore Management University

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...