NDLI: Behavior-based model construction

Content Provider	Springer Nature Link
Author	Hungar, Hardi Steffen, Bernhard
Copyright Year	2004
Abstract	In this paper, we review behavior-based model construction from a point of view characterized by verification, model checking, and abstraction. It turns out that abstract interpretation is the key to scaling known learning techniques for practical applications, that model checking may serve as a teaching aid in the learning process underlying the model construction, and that there are various synergies with other validation and verification techniques. We will illustrate our discussion by means of a realistic telecommunications scenario, where the underlying system has grown over the last two decades, the available system documentation consists of not much more than user manuals and protocol standards, and the revision cycle times are extremely short. In this situation, behavior-based model construction provides a sound basis, e.g., for test-suite design and maintenance, test organization, and test evaluation.
Starting Page	4
Ending Page	14
Page Count	11
File Format	PDF
ISSN	14332779
Journal	International Journal on Software Tools for Technology Transfer
Volume Number	6
Issue Number	1
e-ISSN	14332787
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2004-07-01
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Automata learning Model checking Abstraction Testing Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation
Content Type	Text
Resource Type	Article
Subject	Information Systems Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A formal framework for verifying distributed embedded systems based on abstraction methods

Statistical abstraction and model-checking of large heterogeneous systems

Analyzing program behavior through active automata learning

Extrapolating (omega-)regular model checking

A lightweight regular model checking approach for parameterized systems

LTL generalized model checking revisited

Combining predicate and numeric abstraction for software model checking

αSPIN: A tool for abstract model checking

Widening techniques for regular tree model checking

Behavior-based model construction

Similar Documents

A formal framework for verifying distributed embedded systems based on abstraction methods

Statistical abstraction and model-checking of large heterogeneous systems

Analyzing program behavior through active automata learning

Extrapolating (omega-)regular model checking

A lightweight regular model checking approach for parameterized systems

LTL generalized model checking revisited

Combining predicate and numeric abstraction for software model checking

αSPIN: A tool for abstract model checking

Widening techniques for regular tree model checking

Behavior-based model construction