Dynamic Human-in-the-Loop Assertion Generation
| Autor: | Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| Zdroj: | IEEE Transactions on Software Engineering. 49:2337-2351 |
| ISSN: | 2326-3881 0098-5589 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|