From 7a2086617fa631850b1bd486819271320ee47bd4 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Nov 2019 16:40:35 +0100
Subject: [PATCH] more plug-ins
---
dokuwiki/publications.md | 156 ++++++++++++++++++++-------------------
1 file changed, 81 insertions(+), 75 deletions(-)
diff --git a/dokuwiki/publications.md b/dokuwiki/publications.md
index d2b35f80..0f08d1a1 100644
--- a/dokuwiki/publications.md
+++ b/dokuwiki/publications.md
@@ -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
--
GitLab