Zobrazeno 1 - 10
of 143
pro vyhledávání: '"Alex Groce"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 16-21 (2010)
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but ha
Externí odkaz:
https://doaj.org/article/0402bab0e19d472dab74149baebb933d
Autor:
Alex Groce
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 48:9-9
Seymour Papert's Mindstorms: Children, Computers, and Powerful Ideas is many things, though most strikingly, seen in the right light, a tragedy: it showed a world on the cusp of a revolution in how we learn and how we live, brought about by the compu
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice.
Autor:
Alex Groce
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 46:9-12
Henry Petroski's The Pencil is one of Henry Petroski's many, always both scholarly and literary, and, most importantly, always engaging, books on engineering theory, practice, and history. For the software engineer, the pencil has a special place; wh
Publikováno v:
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction.
Autor:
Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen
Publikováno v:
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS).
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Autor:
Alex Groce
Publikováno v:
Onward!
Software testing is hard, and a testing problem is composed of many sub-problems with different, often conflicting, solutions. Like many real-world problems, it admits no single optimal solution, but requires dexterity, and the opportunistic combinat
Publikováno v:
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE).
Autor:
Gustavo Grieco, Alex Groce
Publikováno v:
ISSTA
Echidna is a widely used fuzzer for Ethereum Virtual Machine (EVM) compatible blockchain smart contracts that generates transaction sequences of calls to smart contracts. While Echidna is an essentially single-threaded tool, it is possible for multip