Found: 5
Select item for more details and to access through your institution.
Static Specification Mining Using Automata-Based Abstractions.
- Published in:
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 5, p. 651, doi. 10.1109/TSE.2008.63
- By:
- Publication type:
- Article
Programming by predicates: a formal model for interactive synthesis.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 165, doi. 10.1007/s00236-019-00340-y
- By:
- Publication type:
- Article
Symbolic automata for representing big code.
- Published in:
- Acta Informatica, 2016, v. 53, n. 4, p. 327, doi. 10.1007/s00236-015-0234-1
- By:
- Publication type:
- Article
Extracting automata from recurrent neural networks using queries and counterexamples (extended version).
- Published in:
- Machine Learning, 2024, v. 113, n. 5, p. 2877, doi. 10.1007/s10994-022-06163-2
- By:
- Publication type:
- Article
Abstraction-guided synthesis of synchronization.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 413, doi. 10.1007/s10009-012-0232-3
- By:
- Publication type:
- Article