Folgen
Marcelo Frias
Titel
Zitiert von
Zitiert von
Jahr
DynAlloy: upgrading alloy with actions
MF Frias, JP Galeotti, CG López Pombo, NM Aguirre
Proceedings of the 27th international conference on Software engineering …, 2005
1582005
Analysis of invariants for efficient bounded verification
JP Galeotti, N Rosner, CG López Pombo, MF Frias
Proceedings of the 19th international symposium on Software testing and …, 2010
1132010
TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013
792013
Fork algebras in algebra, logic and computer science
MF Frias
World Scientific, 2002
612002
BLISS: improved symbolic execution by bounded lazy initialization with SAT support
N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias
IEEE Transactions on Software Engineering 41 (7), 639-660, 2015
492015
A finite axiomatization for fork algebras
MF Frias, AM Haeberer, PAS Veloso
Logic Journal of IGPL 5 (3), 1-10, 1997
491997
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
452013
Fork algebras in algebra, logic and computer science
MF Frias, GA Baum, AM Haeberer
Fundamenta Informaticae 32 (1), 1-25, 1997
421997
Bounded exhaustive search of alloy specification repairs
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
392021
Fork algebras are representable
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Bulletin of the Section of Logic 24 (2), 64-75, 1995
381995
Reasoning about static and dynamic properties in alloy: A purely relational approach
MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005
332005
On faults and faulty programs
A Mili, MF Frias, A Jaoua
International Conference on Relational and Algebraic Methods in Computer …, 2014
322014
Equational reasoning in non-classical logics
M Frias, E Orlowska
Journal of Applied Non-classical Logics 8 (1-2), 27-66, 1998
321998
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007
312007
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
292016
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
MF Frias, E Orlowska
Logique et Analyse, 239-284, 1995
291995
Evospex: An evolutionary algorithm for learning postconditions
F Molina, P Ponzio, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
282021
Dynalloy as a formal method for the analysis of java programs
JP Galeotti, MF Frias
Software engineering techniques: Design for quality, 249-260, 2006
282006
Model counting for complex data structures
A Filieri, MF Frias, CS Păsăreanu, W Visser
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
272015
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
272013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20