Concepedia
Statistics
Publications
2
Citations
32
H-Index
Active since
1992
Patrick Maigron is an author specializing in software analysis, software testing, and design for testing.
Top concepts
EngineeringVerificationSoftware TestingSoftware AnalysisDesign For TestingFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSystems Engineering
Publications per year
1992–1993
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications
Ana Cavalli, Patrick Maigron, Sung Un Kim · 1992 · 22 citations
Formal Specification, Engineering, Runtime Verification +13
Improving Conformance Testing for LOTOS
Ana R. Cavalli, Sung Un Kim, Patrick Maigron · Formal Techniques for (Networked and) Distributed Systems · 1993 · 10 citations
Engineering, Conformance Testing, Software Testing +4
1–2 of 2