Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bernard Botella
@article{DBLP:journals/fac/PetiotKBGJ18,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Bernard Botella and
Alain Giorgetti and
Jacques Julliand},
title = {How testing helps to diagnose proof failures},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {629--657},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0456-4},
doi = {10.1007/S00165-018-0456-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PetiotKBGJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PetiotKBGJ16,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Bernard Botella and
Alain Giorgetti and
Jacques Julliand},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Your Proof Fails? Testing Helps to Find the Reason},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {130--150},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_8},
doi = {10.1007/978-3-319-41135-4\_8},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/PetiotKBGJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DelahayeBG15,
author = {Micka{\"{e}}l Delahaye and
Bernard Botella and
Arnaud Gotlieb},
title = {Infeasible path generalization in dynamic symbolic execution},
journal = {Inf. Softw. Technol.},
volume = {58},
pages = {403--418},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.07.012},
doi = {10.1016/J.INFSOF.2014.07.012},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/DelahayeBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PetiotKBGJ15,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Bernard Botella and
Alain Giorgetti and
Jacques Julliand},
title = {Your Proof Fails? Testing Helps to Find the Reason},
journal = {CoRR},
volume = {abs/1508.01691},
year = {2015},
url = {http://arxiv.org/abs/1508.01691},
eprinttype = {arXiv},
eprint = {1508.01691},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PetiotKBGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PetiotBJKS14,
author = {Guillaume Petiot and
Bernard Botella and
Jacques Julliand and
Nikolai Kosmatov and
Julien Signoles},
title = {Instrumentation of Annotated {C} Programs for Test Generation},
booktitle = {14th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
2014},
pages = {105--114},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCAM.2014.19},
doi = {10.1109/SCAM.2014.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/PetiotBJKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/KosmatovWBR13,
author = {Nikolai Kosmatov and
Nicky Williams and
Bernard Botella and
Muriel Roger},
title = {Structural Unit Testing as a Service with PathCrawler-online.com},
booktitle = {Seventh {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2013, San Francisco, CA, USA, March 25-28, 2013},
pages = {435--440},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SOSE.2013.78},
doi = {10.1109/SOSE.2013.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/KosmatovWBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovWBRC12,
author = {Nikolai Kosmatov and
Nicky Williams and
Bernard Botella and
Muriel Roger and
Omar Chebaro},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {A Lesson on Structural Testing with PathCrawler-online.com},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {169--175},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_15},
doi = {10.1007/978-3-642-30473-6\_15},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/KosmatovWBRC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KosmatovBRW11,
author = {Nikolai Kosmatov and
Bernard Botella and
Muriel Roger and
Nicky Williams},
title = {Online Test Generation with PathCrawler: Tool Demo},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {316--317},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.85},
doi = {10.1109/ICSTW.2011.85},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KosmatovBRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DelahayeBG10,
author = {Micka{\"{e}}l Delahaye and
Bernard Botella and
Arnaud Gotlieb},
title = {Explanation-Based Generalization of Infeasible Path},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.13},
doi = {10.1109/ICST.2010.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DelahayeBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CharreteurBG09,
author = {Florence Charreteur and
Bernard Botella and
Arnaud Gotlieb},
title = {Modelling dynamic memory management in constraint-based testing},
journal = {J. Syst. Softw.},
volume = {82},
number = {11},
pages = {1755--1766},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2009.06.029},
doi = {10.1016/J.JSS.2009.06.029},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CharreteurBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BotellaDHKMRW09,
author = {Bernard Botella and
Micka{\"{e}}l Delahaye and
St{\'{e}}phane Hong Tuan Ha and
Nikolai Kosmatov and
Patricia Mouy and
Muriel Roger and
Nicky Williams},
editor = {Dimitris Dranidis and
Stephen P. Masticola and
Paul A. Strooper},
title = {Automating Structural Testing of {C} Programs: Experience with PathCrawler},
booktitle = {Proceedings of the 4th International Workshop on Automation of Software
Test, {AST} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {70--78},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/IWAST.2009.5069043},
doi = {10.1109/IWAST.2009.5069043},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/BotellaDHKMRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GotliebDB07,
author = {Arnaud Gotlieb and
Tristan Denmat and
Bernard Botella},
title = {Goal-oriented test data generation for pointer programs},
journal = {Inf. Softw. Technol.},
volume = {49},
number = {9-10},
pages = {1030--1044},
year = {2007},
url = {https://doi.org/10.1016/j.infsof.2006.10.016},
doi = {10.1016/J.INFSOF.2006.10.016},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/GotliebDB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BotellaGM06,
author = {Bernard Botella and
Arnaud Gotlieb and
Claude Michel},
title = {Symbolic execution of floating-point computations},
journal = {Softw. Test. Verification Reliab.},
volume = {16},
number = {2},
pages = {97--121},
year = {2006},
url = {https://doi.org/10.1002/stvr.333},
doi = {10.1002/STVR.333},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BotellaGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GotliebDB05,
author = {Arnaud Gotlieb and
Tristan Denmat and
Bernard Botella},
title = {Goal-Oriented Test Data Generation for Programs with Pointer Variables},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
1},
pages = {449--454},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.81},
doi = {10.1109/COMPSAC.2005.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GotliebDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GotliebDB05,
author = {Arnaud Gotlieb and
Tristan Denmat and
Bernard Botella},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Constraint-based test data generation in the presence of stack-directed
pointers},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {313--316},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101958},
doi = {10.1145/1101908.1101958},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GotliebDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GotliebB03,
author = {Arnaud Gotlieb and
Bernard Botella},
title = {Automated Metamorphic Testing},
booktitle = {27th International Computer Software and Applications Conference {(COMPSAC}
2003): Design and Assessment of Trustworthy Software-Based Systems,
3-6 November 2003, Dallas, TX, USA, Proceedings},
pages = {34--40},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CMPSAC.2003.1245319},
doi = {10.1109/CMPSAC.2003.1245319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GotliebB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BotellaGMRT02,
author = {Bernard Botella and
Arnaud Gotlieb and
Claude Michel and
Michel Rueher and
Patrick Taillibert},
title = {Utilisation des contraintes pour la g{\'{e}}n{\'{e}}ration
automatique de cas de test structurels},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {9},
pages = {1163--1187},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3817},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BotellaGMRT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/GotliebBR00,
author = {Arnaud Gotlieb and
Bernard Botella and
Michel Rueher},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A {CLP} Framework for Computing Structural Test Data},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {399--413},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_27},
doi = {10.1007/3-540-44957-4\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/GotliebBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GotliebBR98,
author = {Arnaud Gotlieb and
Bernard Botella and
Michel Rueher},
editor = {Mary Lou Soffa and
Michal Young and
Will Tracz},
title = {Automatic Test Data Generation Using Constraint Solving Techniques},
booktitle = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
March 2-5, 1998},
pages = {53--62},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/271771.271790},
doi = {10.1145/271771.271790},
timestamp = {Mon, 31 Jan 2022 15:15:10 +0100},
biburl = {https://dblp.org/rec/conf/issta/GotliebBR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BosBV97,
author = {Corinne Bos and
Bernard Botella and
Philippe Vanheeghe},
editor = {Dickson Lukose and
Harry S. Delugach and
Mary Keeler and
Leroy Searle and
John F. Sowa},
title = {Modelling and Simulating Human Behaviours with Conceptual Graphs},
booktitle = {Conceptual Structures: Fulfilling Peirce's Dream, Fifth International
Conference on Conceptual Structures, {ICCS} '97, Seattle, Washington,
USA, August 3-8, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1257},
pages = {275--289},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027876},
doi = {10.1007/BFB0027876},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/BosBV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
