SlideShare a Scribd company logo
Submit Search
Upload
Slides for a talk on search-based testing for Event-B models
Report
Share
Alin Stefanescu
Professor at University of Bucharest
Follow
•
0 likes
•
728 views
1
of
30
Slides for a talk on search-based testing for Event-B models
•
0 likes
•
728 views
Report
Share
Download Now
Download to read offline
Education
This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/
Read more
Alin Stefanescu
Professor at University of Bucharest
Follow
Recommended
Functional programming-advantages by
Functional programming-advantages
Sergei Winitzki
127 views
•
18 slides
Classification model for predicting student's knowledge by
Classification model for predicting student's knowledge
Ashish Ranjan
805 views
•
11 slides
130321 zephyrin soh - on the effect of exploration strategies on maintenanc... by
130321 zephyrin soh - on the effect of exploration strategies on maintenanc...
Ptidej Team
295 views
•
82 slides
Experiments with Machine Learning - GDG Lviv by
Experiments with Machine Learning - GDG Lviv
Yuriy Guts
4.1K views
•
22 slides
Speeding-up Software Testing With Computational Intelligence by
Speeding-up Software Testing With Computational Intelligence
Annibale Panichella
269 views
•
29 slides
Validation and Verification of SYSML Activity Diagrams Using HOARE Logic by
Validation and Verification of SYSML Activity Diagrams Using HOARE Logic
ijseajournal
17 views
•
17 slides
More Related Content
Similar to Slides for a talk on search-based testing for Event-B models
Variation response method CAE simulation suite by
Variation response method CAE simulation suite
WMG centre High Value Manufacturing Catapult
97 views
•
53 slides
Model-based Regression Testing of Autonomous Robots by
Model-based Regression Testing of Autonomous Robots
Zoltan Micskei
651 views
•
16 slides
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012. by
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Wolfgang Grieskamp
2.5K views
•
30 slides
MEME – An Integrated Tool For Advanced Computational Experiments by
MEME – An Integrated Tool For Advanced Computational Experiments
GIScRG
913 views
•
43 slides
A framework and approaches to develop an in-house CAT with freeware and open ... by
A framework and approaches to develop an in-house CAT with freeware and open ...
Tetsuo Kimura
1.9K views
•
36 slides
Testing survey by_directions by
Testing survey by_directions
Tao He
670 views
•
47 slides
Similar to Slides for a talk on search-based testing for Event-B models
(20)
Variation response method CAE simulation suite by WMG centre High Value Manufacturing Catapult
Variation response method CAE simulation suite
WMG centre High Value Manufacturing Catapult
•
97 views
Model-based Regression Testing of Autonomous Robots by Zoltan Micskei
Model-based Regression Testing of Autonomous Robots
Zoltan Micskei
•
651 views
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012. by Wolfgang Grieskamp
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Wolfgang Grieskamp
•
2.5K views
MEME – An Integrated Tool For Advanced Computational Experiments by GIScRG
MEME – An Integrated Tool For Advanced Computational Experiments
GIScRG
•
913 views
A framework and approaches to develop an in-house CAT with freeware and open ... by Tetsuo Kimura
A framework and approaches to develop an in-house CAT with freeware and open ...
Tetsuo Kimura
•
1.9K views
Testing survey by_directions by Tao He
Testing survey by_directions
Tao He
•
670 views
On the application of SAT solvers for Search Based Software Testing by jfrchicanog
On the application of SAT solvers for Search Based Software Testing
jfrchicanog
•
475 views
Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,... by Sebastiano Panichella
Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,...
Sebastiano Panichella
•
402 views
White-box Unit Test Generation with Microsoft IntelliTest by Dávid Honfi
White-box Unit Test Generation with Microsoft IntelliTest
Dávid Honfi
•
407 views
Executable Metamodeling for Model V&V (May 25th, 2010) by Benoit Combemale
Executable Metamodeling for Model V&V (May 25th, 2010)
Benoit Combemale
•
589 views
Next level of test automation with Model-based Testing (MBT): Experience and ... by Vahid Garousi
Next level of test automation with Model-based Testing (MBT): Experience and ...
Vahid Garousi
•
129 views
Using AI Planning to Automate the Performance Analysis of Simulators by Roland Ewald
Using AI Planning to Automate the Performance Analysis of Simulators
Roland Ewald
•
491 views
The Gap Between Academic Research and Industrial Practice in Software Testing by Zoltan Micskei
The Gap Between Academic Research and Industrial Practice in Software Testing
Zoltan Micskei
•
1K views
Eclipse Meets Systems Biology by Richard Adams
Eclipse Meets Systems Biology
Richard Adams
•
967 views
Towards Software Sustainability Guides for Industrial Software Systems by Heiko Koziolek
Towards Software Sustainability Guides for Industrial Software Systems
Heiko Koziolek
•
1.1K views
Testware Hierarchy for Test Automation by Gregory Solovey
Testware Hierarchy for Test Automation
Gregory Solovey
•
1.5K views
Dynamic Symbolic Database Application Testing by The Innovative Data Intelligence Research (IDIR) Laboratory, University of Texas at Arlington
Dynamic Symbolic Database Application Testing
The Innovative Data Intelligence Research (IDIR) Laboratory, University of Texas at Arlington
•
41 views
Generation of Random EMF Models for Benchmarks by Markus Scheidgen
Generation of Random EMF Models for Benchmarks
Markus Scheidgen
•
868 views
Icsm05.ppt by Yann-Gaël Guéhéneuc
Icsm05.ppt
Yann-Gaël Guéhéneuc
•
15 views
Boolean matrix factorisation for collaborative filtering by Dmitrii Ignatov
Boolean matrix factorisation for collaborative filtering
Dmitrii Ignatov
•
987 views
Recently uploaded
Ch. 7 Political Participation and Elections.pptx by
Ch. 7 Political Participation and Elections.pptx
Rommel Regala
111 views
•
11 slides
Classification of crude drugs.pptx by
Classification of crude drugs.pptx
GayatriPatra14
101 views
•
13 slides
CUNY IT Picciano.pptx by
CUNY IT Picciano.pptx
apicciano
54 views
•
17 slides
unidad 3.pdf by
unidad 3.pdf
MarcosRodriguezUcedo
117 views
•
38 slides
The Value and Role of Media and Information Literacy in the Information Age a... by
The Value and Role of Media and Information Literacy in the Information Age a...
Naseej Academy أكاديمية نسيج
58 views
•
42 slides
Ch. 8 Political Party and Party System.pptx by
Ch. 8 Political Party and Party System.pptx
Rommel Regala
54 views
•
11 slides
Recently uploaded
(20)
Ch. 7 Political Participation and Elections.pptx by Rommel Regala
Ch. 7 Political Participation and Elections.pptx
Rommel Regala
•
111 views
Classification of crude drugs.pptx by GayatriPatra14
Classification of crude drugs.pptx
GayatriPatra14
•
101 views
CUNY IT Picciano.pptx by apicciano
CUNY IT Picciano.pptx
apicciano
•
54 views
unidad 3.pdf by MarcosRodriguezUcedo
unidad 3.pdf
MarcosRodriguezUcedo
•
117 views
The Value and Role of Media and Information Literacy in the Information Age a... by Naseej Academy أكاديمية نسيج
The Value and Role of Media and Information Literacy in the Information Age a...
Naseej Academy أكاديمية نسيج
•
58 views
Ch. 8 Political Party and Party System.pptx by Rommel Regala
Ch. 8 Political Party and Party System.pptx
Rommel Regala
•
54 views
Class 9 lesson plans by TARIQ KHAN
Class 9 lesson plans
TARIQ KHAN
•
51 views
Structure and Functions of Cell.pdf by Nithya Murugan
Structure and Functions of Cell.pdf
Nithya Murugan
•
719 views
Collective Bargaining and Understanding a Teacher Contract(16793704.1).pptx by Center for Integrated Training & Education
Collective Bargaining and Understanding a Teacher Contract(16793704.1).pptx
Center for Integrated Training & Education
•
95 views
The basics - information, data, technology and systems.pdf by JonathanCovena1
The basics - information, data, technology and systems.pdf
JonathanCovena1
•
146 views
S1_SD_Resources Walkthrough.pptx by LAZAROAREVALO1
S1_SD_Resources Walkthrough.pptx
LAZAROAREVALO1
•
64 views
Relationship of psychology with other subjects. by palswagata2003
Relationship of psychology with other subjects.
palswagata2003
•
52 views
Psychology KS5 by WestHatch
Psychology KS5
WestHatch
•
119 views
Gopal Chakraborty Memorial Quiz 2.0 Prelims.pptx by Debapriya Chakraborty
Gopal Chakraborty Memorial Quiz 2.0 Prelims.pptx
Debapriya Chakraborty
•
695 views
Solar System and Galaxies.pptx by DrHafizKosar
Solar System and Galaxies.pptx
DrHafizKosar
•
106 views
Google solution challenge..pptx by ChitreshGyanani1
Google solution challenge..pptx
ChitreshGyanani1
•
148 views
Use of Probiotics in Aquaculture.pptx by AKSHAY MANDAL
Use of Probiotics in Aquaculture.pptx
AKSHAY MANDAL
•
119 views
11.28.23 Social Capital and Social Exclusion.pptx by mary850239
11.28.23 Social Capital and Social Exclusion.pptx
mary850239
•
312 views
Create a Structure in VBNet.pptx by Breach_P
Create a Structure in VBNet.pptx
Breach_P
•
78 views
Thanksgiving!.pdf by EnglishCEIPdeSigeiro
Thanksgiving!.pdf
EnglishCEIPdeSigeiro
•
264 views
Slides for a talk on search-based testing for Event-B models
1.
2.
3.
4.
Inventor of the Z and B formal
methods.
5.
Z – developed
in the 70s
6.
B – developed
in the 90s, successfully deployed in industry
7.
Event-B – born
with the 21st century
8.
Evolution of B
for system level specification
9.
10.
11.
Bosch, Siemens, SAP,
SSF
12.
3 industrial service
providers
13.
Systerel, ClearSy, Cetic
14.
7 academic partners
15.
Newcastle, Aabo, Düsseldorf,
ETH Zurich,
16.
17.
18.
Theorem proving as
core technology
19.
Many other Rodin
Plug-ins
20.
ProB:animation, consistency and
model-checking
21.
Animators (AnimB)
22.
Decomposition
23.
Modularisation
24.
Team-work
25.
Code generation
26.
UML-B
27.
28.
set theory as
mathematical language
29.
refinement as basic
modeling approach
30.
Contexts
31.
carrier sets (domains)
32.
constants
33.
axioms
34.
Machines
35.
global variables
36.
invariants
37.
events that update
the variables
38.
Events
39.
local parameters
40.
guards
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
Random Testing
(RT)
62.
on 18 paths
covering 5 Event-B models
63.
64.
65.
66.
67.
68.
69.
Test data generation
for one path with search-based algorithms
70.
Construct finite models
with evolutionary algorithms
71.
Combine ProB model-checker
with meta-heuristics
72.
Combine ProB constraint-solver
with meta-heuristics
73.