Commit 7a208661 authored by Julien Signoles's avatar Julien Signoles Committed by Allan Blanchard
Browse files

more plug-ins

parent 157fed21
......@@ -321,13 +321,6 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
Développement de Logiciels 2009 (AFADL'09), January 2009. In
French.
##### Case studies
- See [this page](/assets/dokuwiki/aorai-security) for a case study
showing the use of Aoraï in generating a threat scenario in a
driver.
# Security Slicing
##### Founding Article
......@@ -357,11 +350,33 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
information *i.e.* confidentiality is guaranteed to be exactly the
same in the original program and in the sliced program.*
# PathCrawler
# Internal Plug-ins at CEA
## Cfp
#### Founding Articles
- Michele Alberti and Julien Signoles.
**Context Generation from Formal Specifications for C Analysis Tools.**
In Logic-based Program Synthesis and Transformation (LOPSTR), October 2017.
<http://julien.signoles.free.fr/publis/2017_lopstr.pdf>
Best paper award.
## MetACSL
#### Founding Articles
- Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, and
Pascale Le Gall.
**MetAcsl: Specification and Verification of High-Level Properties.**
In International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (TACAS), April 2019.
## PathCrawler
##### Manual
* **PathCrawler Automatic Test Generation Tool For C Programs User Manual Version 3.1.**
- **PathCrawler Automatic Test Generation Tool For C Programs User Manual Version 3.1.**
<http://frama-c.com/download/frama-c-pathcrawler.pdf>.
*The user manual of the Frama-C plug-in PathCrawler.*
......@@ -370,147 +385,138 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
- Nicky Williams, Bruno Marre and Patricia Mouy.
**On-the-fly generation of k-paths tests for C functions :
towards the automation of grey-box testing.**
In Proc. 19th IEEE Intl. Conference on Automated Software
Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, IEEE
Computer Society, 2004, ISBN 0-7695-2131-2, pages 290-293.
In International Conference on Automated Software Engineering (ASE),
September 2004.
<http://pathcrawler-online.com/pubs/ase04copy.pdf>
The final publication is available from IEEE
<http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10020>
<!-- end list -->
- Nicky Williams, Bruno Marre, Patricia Mouy and Muriel Roger.
**PathCrawler: automatic generation of path tests by combining
static and dynamic analysis.**
In Proc. 5th European Dependable Computing Conference (EDCC-5),
Budapest, Hungary, April 20-22, 2005, Lecture Notes in Computer
Science 3463 Springer 2005, ISBN 3-540-25723-3, Budapest, Hungary,
April 2005, pages 281-292.
In European Dependable Computing Conference (EDCC-5), April 2005.
<http://pathcrawler-online.com/pubs/edcc05.pdf>
The final publication is available at www.springerlink.com.
<http://dx.doi.org/10.1007/11408901_21>
##### Tutorials
- Nicky Williams and Nikolai Kosmatov.
**Structural Testing with PathCrawler. Tutorial Synopsis.**
In International Conference on Quality Software (QSIC), August 2012.
<http://pathcrawler-online.com/pubs/qsic12copy.pdf>
The final publication will be available from IEEE.
<http://www.ieee.org>
<!-- end list -->
- Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger,
Omar Chebaro.
**A Lesson on Structural Testing with PathCrawler-online.com.**
In International Conference on Tests and Proofs (TAP), May 2012.
<http://pathcrawler-online.com/pubs/tap_2012_pconline_final.pdf>
The final publication is available at www.springerlink.com.
<http://dx.doi.org/10.1007/978-3-642-30473-6_15>
##### Other Articles
- Nicky Williams.
**WCET measurement using modified path testing.**
In Proc. 5th Intl. Workshop on Worst-Case Execution Time (WCET)
Analysis, Palma de Mallorca, Spain, July 2005, Schloss Dagstuhl -
Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2007.
In International Workshop on Worst-Case Execution Time Analysis (WCET),
July 2005.
<http://pathcrawler-online.com/pubs/wcet05.pdf>
The final publication is available at DROPS.
<http://drops.dagstuhl.de/opus/volltexte/2007/809>
<!-- end list -->
- Patricia Mouy, Bruno Marre, Nicky Williams and Pascale Le Gall.
**Generation of all-paths unit test with function calls.**
In Proc. 1st Intl. Conference on Software Testing, Verification, and
Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, IEEE
Computer Society, 2008, pages 32-41.
In International Conference on Software Testing, Verification, and
Validation (ICST), April 2008.
<http://pathcrawler-online.com/pubs/icst08copy.pdf>
The final publication is available from IEEE.
<http://doi.ieeecomputersociety.org/10.1109/ICST.2008.35>
<!-- end list -->
- Nikolai Kosmatov.
**All-paths test generation for programs with internal aliases.**
In Proc. 19th Intl. Symposium on Software Reliability Engineering
(ISSRE 2008), Redmond, Seattle, USA, 11-14 November 2008, IEEE
Computer Society, 2008, pages 147-156.
In International Symposium on Software Reliability Engineering
(ISSRE), November 2008.
<http://pathcrawler-online.com/pubs/issre08copy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/ISSRE.2008.25>
<!-- end list -->
- Bernard Botella, Mickaël Delahaye, Stéphane Hong-Tuan-Ha, Nikolai
Kosmatov, Patricia Mouy, Muriel Roger and Nicky Williams.
**Automating Structural Testing of C Programs: Experience with
PathCrawler.**
In Proc. 4th Intl. Workshop on Automation of Software Test, AST
2009, Vancouver, BC, Canada, May 18-19, 2009, IEEE Computer Society
2009, pages 70-78.
In International Workshop on Automation of Software Test (AST), May 2009.
<http://pathcrawler-online.com/pubs/ast09industrycopy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/IWAST.2009.5069043>
<!-- end list -->
- Nicky Williams and Muriel Roger.
**Test Generation Strategies to Measure Worst-Case Execution
Time.**
In Proc. 4th Intl. Workshop on Automation of Software Test, AST
2009, Vancouver, BC, Canada, May 18-19, 2009, IEEE Computer Society
2009, pages 88-96.
In Internatioanl Workshop on Automation of Software Test (AST), May 2009.
<http://pathcrawler-online.com/pubs/ast09researchcopy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/IWAST.2009.5069045>
<!-- end list -->
- Nikolai Kosmatov.
**On Complexity of All-Paths Test Generation. From Practice to
Theory.**
In Proc. Testing: Academic and Industrial Conference - Practice and
Research Techniques (TAIC PART 2009), Windsor, United Kingdom,
September 2009, IEEE Computer Society Press, 2009, ISBN
978-0-7695-3820-4, pages 144-153.
In Testing: Academic and Industrial Conference - Practice and
Research Techniques (TAIC PART 2009), September 2009.
<http://pathcrawler-online.com/pubs/taic09copy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/TAICPART.2009.26>
<!-- end list -->
- Nicky Williams.
**Abstract path testing with PathCrawler.**
<http://pathcrawler-online.com/pubs/ast10copy.pdf>
©ACM, 2010. This is the author's version of the work. It is posted
here by permission of ACM for your personal use. Not for
redistribution. The definitive version was published in Proc. 5th Workshop on Automation of Software
Test (AST'10), Cape Town, South Africa, May 2-8 2010, ACM New York, NY,
USA, 2010, ISBN 978-1-60558-970-1, pages 35-42.
<http://doi.acm.org/10.1145/1808266.1808272>
<http://doi.acm.org/10.1145/1808266.1808272>
<!-- end list -->
- Nikolai Kosmatov, Bernard Botella, Muriel Roger and Nicky
Williams.
**Online Test Generation with PathCrawler. Tool demo.**
Best demo award.
In Proc. of the 3rd International Workshop on Constraints in
Software Testing, Verification, and Analysis (CSTVA 2011), Berlin,
Germany, March 2011, IEEE Computer Society Press, 2011, ISBN
978-1-4577-0019-4, pages 316-317.
In International Workshop on Constraints in Software Testing, Verification,
and Analysis (CSTVA 2011), March 2011.
<http://pathcrawler-online.com/pubs/kosmatov_brw_cstva_2011copy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/ICSTW.2011.85>
<!-- end list -->
## SecureFlow
- Nicky Williams and Nikolai Kosmatov.
**Structural Testing with PathCrawler. Tutorial Synopsis.**
In Proc. 12th International Conference on Quality Software (QSIC
2012), Xi'an, China, August 27-29, 2012, IEEE Computer Society,
2012, ISBN 978-0-7695-4833-3, pages 289-292.
<http://pathcrawler-online.com/pubs/qsic12copy.pdf>
The final publication will be available from IEEE.
<http://www.ieee.org>
##### Thesis
<!-- end list -->
- Mounir Assaf.
**From qualitative to quantitative program analysis: permissive enforcement
of secure information flow.**
PhD Thesis, University of Rennes 1, May 2015.
<http://http://www.theses.fr/2015REN1S003>
##### Founding Articles
- Gergö Barany and Julien Signoles.
**Hybrid Information Flow Analysis for Real-World C Code.**
In International Conference on Tests and Proofs (TAP), July 2017.
<http://julien.signoles.free.fr/publis/2017_tap.pdf>
- Mounir Assaf, Julien Signoles, Éric Totel, and Frédéric Tronel.
**Program transformation for non-interference verification on programs with
pointers.**
In International Information Security and Privacy Conference (SEC), July 2013.
<http://julien.signoles.free.fr/publis/2013_sec.pdf>
Best student paper award.
- Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger,
Omar Chebaro.
**A Lesson on Structural Testing with PathCrawler-online.com.**
In Proc. Tests and Proofs - 6th International Conference, TAP 2012,
Prague, Czech Republic, May 31 - June 1, 2012, Springer, Lecture
Notes in Computer Science, vol. 7305, 2012, ISBN 978-3-642-30472-9,
pages 169-175.
<http://pathcrawler-online.com/pubs/tap_2012_pconline_final.pdf>
The final publication is available at www.springerlink.com.
<http://dx.doi.org/10.1007/978-3-642-30473-6_15>
# External Plug-ins
These publications are related to Frama-C plug-ins which are not
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment