Navegar

Colección

Datos Estadísticas

Lista de

SAT-solving
7
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674
"Parallel bounded verification of alloy models by tranScoping" (2014) Rosner, N.;Pombo, C.G.L.;Aguirre, N. (...)Cohen E. 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013. 8164:88-107
"Alloy+HotCore: A fast approximation to unsat core" (2010) D'Ippolito, N.;Frias, M.F.;Galeotti, J.P. (...)Mera, S. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:160-173
"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35
"ParAlloy: Towards a framework for efficient parallel analysis of alloy models" (2010) Rosner, N.; Galeotti, J.P.; Lopez Pombo, C.G.; Frias, M.F. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:396-397
"Describing and analyzing behaviours over tabular specifications using (Dyn)alloy" (2009) Aguirre, N.M.;Frias, M.F.;Moscato, M.M. (...)Wassyng, A. 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009. 5503:155-170