المؤلفون: Zahan, Nusrat, Zimmermann, Thomas, Godefroid, Patrice, Murphy, Brendan, Maddila, Chandra, Williams, Laurie

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Computers and Society, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2112.10165

المؤلفون: Gonzalez, Danielle, Zimmermann, Thomas, Godefroid, Patrice, Schaefer, Max

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2103.03846

المؤلفون: Selsam, Daniel, Han, Jesse Michael, de Moura, Leonardo, Godefroid, Patrice

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2012.11401

المؤلفون: Atlidakis, Vaggelis, Geambasu, Roxana, Godefroid, Patrice, Polishchuk, Marina, Ray, Baishakhi

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2005.11498

المؤلفون: Atlidakis, Vaggelis, Godefroid, Patrice, Polishchuk, Marina

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1806.09739

المؤلفون: Böttinger, Konstantin, Godefroid, Patrice, Singh, Rishabh

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1801.04589

المؤلفون: Godefroid, Patrice, Peleg, Hila, Singh, Rishabh

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security, Computer Science - Learning, Computer Science - Programming Languages, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1701.07232

المؤلفون: Boigelot, Bernard, Godefroid, Patrice

المصدر: Lecture Notes in Computer Science, 1217, 321-333 (1997); Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop (TACAS '97), Enschede, Netherlands [NL]

مصطلحات موضوعية: Automatic Synthesis, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0302-9743; urn:issn:1611-3349

URL الوصول: https://orbi.uliege.be/handle/2268/74869

المؤلفون: Boigelot, Bernard, Godefroid, Patrice, Willems, Bernard, Wolper, Pierre

المصدر: Lecture Notes in Computer Science, 1302, 172-186 (1997); Static Analysis, 4th International Symposium (SAS '97), Paris, France [FR]

مصطلحات موضوعية: symbolic state-space exploration, FIFO channels, QDDs, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0302-9743; urn:issn:1611-3349

URL الوصول: https://orbi.uliege.be/handle/2268/74879

المؤلفون: Boigelot, Bernard, Godefroid, Patrice

المصدر: Lecture Notes in Computer Science, 1102, 1-12 (1996); Computer Aided Verification, 8th International Conference (CAV '96), New Brunswick, NJ, United States [US]

مصطلحات موضوعية: symbolic state-space exploration, fifo channels, QDDs, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0302-9743; urn:issn:1611-3349

URL الوصول: https://orbi.uliege.be/handle/2268/74870

المؤلفون: Boigelot, Bernard, Godefroid, Patrice

المصدر: Lecture Notes in Computer Science, 1051, 465-478 (1996); Third International Symposium of Formal Methods Europe, Oxford, United Kingdom [GB]

مصطلحات موضوعية: model checking, spin, access.bus, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0302-9743; urn:issn:1611-3349

URL الوصول: https://orbi.uliege.be/handle/2268/74871

المؤلفون: Candea, George, Godefroid, Patrice

المصدر: Lecture Notes in Computer Science ; Computing and Software Science ; page 505-531 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319919072 9783319919089

الاتاحة: http://dx.doi.org/10.1007/978-3-319-91908-9_24
http://link.springer.com/content/pdf/10.1007/978-3-319-91908-9_24

المؤلفون: Godefroid, Patrice, Wolper, Pierre

المصدر: Proceedings 6th IEEE Symposium on Logic in Computer Science, 406-415 (1991); 6th Annual IEEE Symposium on Logic in Computer Science, Amsterdam, Netherlands [NL], July 15-18 1991

مصطلحات موضوعية: model-checking, partial-order, automata, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

URL الوصول: https://orbi.uliege.be/handle/2268/174850

المؤلفون: Zahan, Nusrat, Zimmermann, Thomas, Godefroid, Patrice, Murphy, Brendan, Maddila, Chandra, Williams, Laurie

المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

الاتاحة: http://dx.doi.org/10.1109/icse-seip55303.2022.9794068
http://xplorestaging.ieee.org/ielx7/9793838/9793543/09794068.pdf?arnumber=9794068

المؤلفون: GODEFROID, PATRICE¹ pg@microsoft.compartner

المصدر: Communications of the ACM. Feb2020, Vol. 63 Issue 2, p70-76. 7p. 2 Color Photographs, 2 Diagrams, 1 Graph.

مصطلحات موضوعية: *COMPUTER security, *COMPUTER software development, COMPUTER software security

المؤلفون: Ge, Xinyang, Niu, Ben, Brotzman, Robert, Chen, Yaohui, Han, HyungSeok, Godefroid, Patrice, Cui, Weidong

المصدر: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security

الاتاحة: http://dx.doi.org/10.1145/3460120.3484748
https://dl.acm.org/doi/pdf/10.1145/3460120.3484748

المؤلفون: Godefroid, Patrice

المساهمون: Patrice Godefroid

مصطلحات موضوعية: Testing, Symbolic Execution, Verification, Test Generation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 18, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.24

الاتاحة: https://doi.org/10.4230/LIPIcs.FSTTCS.2012.24
https://nbn-resolving.org/urn:nbn:de:0030-drops-38456
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.24

المؤلفون: Godefroid, Patrice

المصدر: Tests and Proofs ; Lecture Notes in Computer Science ; page 14-14 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642217678 9783642217685

الاتاحة: http://dx.doi.org/10.1007/978-3-642-21768-5_2
http://link.springer.com/content/pdf/10.1007/978-3-642-21768-5_2

المؤلفون: Godefroid, Patrice, Kinder, Johannes

المصدر: 978-1-60558-823-0 ; Godefroid, Patrice; Kinder, Johannes: Proving memory safety of floating-point computations by combining static and dynamic program analysis. In: ISSTA '10 Proceedings of the 19th international symposium on Software testing and analysis : Trento, Italy — July 12 - 16, 2010 . New York, NY : ACM, 2010, S. 1-12, DOI:10.1145/1831708.1831710. ISBN 978-1-60558-823-0.

وصف الملف: application/pdf

Relation: http://athene-forschung.unibw.de/node?id=127206; https://athene-forschung.unibw.de/doc/127206/document.pdf; https://doi.org/10.1145/1831708.1831710; http://doi.acm.org/10.1145/1831708.1831710

الاتاحة: http://athene-forschung.unibw.de/node?id=127206
https://athene-forschung.unibw.de/doc/127206/document.pdf
https://doi.org/10.1145/1831708.1831710

المؤلفون: Godefroid, Patrice, Mariani, Leonardo, Polini, Andrea, Tillmann, Nikolai, Visser, Willem, Whalen, Michael W.

المساهمون: Patrice Godefroid and Leonardo Mariani and Andrea Polini and Nikolai Tillmann and Willem Visser and Michael W. Whalen

مصطلحات موضوعية: Incremental analysis, incremental testing, human factors, static analysis, model checking

وصف الملف: application/pdf

Relation: Is Part Of Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010); https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.5

الاتاحة: https://doi.org/10.4230/DagSemProc.10111.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-26191
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.5