Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userProceedings Ninth Workshop on Model-Based Testing
135
0
0.0
(
0
)
Added by
EPTCS
Publication date
2014
fields
Informatics Engineering
and research's language is
English
Authors
Holger Schlingloff
Ask ChatGPT about the research
No Arabic abstract
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014).
rate research
Read More
This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves. The first MBT workshop was held in 2004, in Barcelona. At that time MBT already had become a hot topic, but the MBT workshop was the first event devoted mostly to this domain. Since that time the area has generated enormous scientific interest, and today there are several specialized workshops and more broad conferences on software and hardware design and quality assurance covering model based testing. MBT has become one of the most powerful system analysis tools, one of the latest cutting-edge topics related is applying MBT in security analysis and testing. MBT workshop tries to keep up with current trends.
Methods for Modalities is a series aimed at bringing together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term modal logics is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc. The first workshop was held in May 1999 in Amsterdam, and since then it has travelled the world. Please see https://cs.famaf.unc.edu.ar/~careces/M4M for information on past editions of M4M. The 9th Methods for Modalities Workshop is being held at the Indian Institute of Technology (IIT) Kanpur, from January 8 to 10, 2017, co-located with the Indian Conference on Logic and its Applications (ICLA), January 5 to 7, 2017. For details, see https://www.cse.iitk.ac.in/users/icla/M4M/ This volume constitutes the proceedings of the workshop and given the substantial instructional content, should be of interest especially to young researchers and students looking for tools and techniques as well as exciting problems related to logics and computation.
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM19, the 3rd World Congress on Formal Methods. High levels of safety, security and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods easier for both specialists and non-specialists.
This volume contains the proceedings of the first workshop on Advances in Systems of Systems (AISOS13), held in Roma, Italy, March 16. System-of-Systems describes the large scale integration of many independent self-contained systems to satisfy global needs or multi-system requests. Examples are smart grid, intelligent buildings, smart cities, transport systems, etc. There is a need for new modeling formalisms, analysis methods and tools to help make trade-off decisions during design and evolution avoiding leading to sub-optimal design and rework during integration and in service. The workshop should focus on the modeling and analysis of System of Systems. AISOS13 aims to gather people from different communities in order to encourage exchange of methods and views.
This volume contains five papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2019 and TFPIE 2020 that took places in Vancouver, Canada and Krakow, Poland respectively. TFPIE stands for Trends in Functional Programming in Education, where authors present research and experiences in teaching concepts of functional programming at any level.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
