Filter your results
- 19
- 15
- 1
- 25
- 4
- 2
- 2
- 1
- 1
- 1
- 34
- 2
- 1
- 5
- 1
- 4
- 3
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 33
- 2
- 33
- 14
- 8
- 7
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 31
- 15
- 10
- 6
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Security Weaknesses Detection by Symbolic Analysis of Scenarios2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Conference papers
hal-01812121v1
|
|||
|
EditorialOther publications cea-04129929v1 |
||
|
An efficient VCGen-based modular verification of relational propertiesISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Oct 2022, Rhodes, Greece. pp.498-516, ⟨10.1007/978-3-031-19849-6_28⟩
Conference papers
cea-04119217v1
|
||
Generation of All-Paths Unit Test with Function CallsFirst International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩
Conference papers
hal-01810199v1
|
|||
Designing Sequence Diagram Models for Robustness to Attacks2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers
hal-01812124v1
|
|||
|
Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine[Research Report] Laboratoire MAS - CentraleSupelec. 2015
Reports
hal-01191890v1
|
||
|
RPP : Preuve automatique de propriétés relationnelles par Self-CompositionApproches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Conference papers
cea-01835491v1
|
||
|
Equivalence of denotational and operational semantics for interaction languagesLecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Journal articles
cea-04060492v1
|
||
Testing web service orchestrators in context : a symbolic approachSEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Conference papers
hal-01306744v1
|
|||
|
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and ContractsThe 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates
Conference papers
cea-01810689v1
|
||
|
Static and Dynamic Verification of Relational Properties on Self-Composed C CodeTests and Proofs - TAP, Jun 2018, Toulouse, France
Conference papers
cea-01835470v1
|
||
A temporal logic for input output symbolic transition systems2005
Other publications
hal-00341981v1
|
|||
|
Methodology for Specification and Verification of High-Level Requirements with MetAcslFormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
Conference papers
cea-03179670v1
|
||
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
An implementation relation and test framework for timed distributed systemsInternational Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey
Conference papers
cea-01810746v1
|
||
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Conference papers
hal-02421125v1
|
|||
|
Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level PropertiesInternational Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Conference papers
cea-02301892v1
|
||
|
Certified verification of relational propertiesiFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩
Conference papers
cea-03714381v1
|
||
Symbolic execution techniques for test purpose definitionProceedings of the 18th international conference on Testing of Communicating Systems (TestCom), 2006, United States. pp.1--18
Conference papers
hal-00342082v1
|
|||
Generating test case from symbolic transition systems based on constrained unfolding2005
Other publications
hal-00342083v1
|
|||
|
MetAcsl: Specification and Verification of High-Level PropertiesTACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩
Conference papers
cea-02019790v1
|
||
|
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Conference papers
hal-01482398v1
|
||
|
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and ContractsTesting Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections
hal-01470156v1
|
||
Feature specification: a logic-independent approach2005
Other publications
hal-00341979v1
|
|||
Automatic generation of symbolic test purposesProceedings of the second MoDeVa (Model Design and Validation) workshop, 2005, Jamaica. pp.n.a
Conference papers
hal-00342173v1
|
|||
|
An efficient VCGen-based modular verification of relational propertiesISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece
Conference papers
cea-03768250v1
|
||
|
Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Conference papers
cea-01302826v1
|
||
|
A Temporal Logic for Input Output Symbolic Transition Systems12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Conference papers
hal-00341980v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books
hal-02526347v1
|
||
|
Coq a dit : fromage tranché ne peut cacher ses trous *Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Conference papers
hal-01333605v1
|
- 1
- 2