logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Augusto Sampaio

Universidade Federal de Pernambuco

23H指数
165论文数
1.9K被引数
收录论文 5
发表时间
logo
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language从受控自然语言编写的需求中推导出可靠的测试脚本
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errArruda, Filipe; Barros, Flavia; Sampaio, Augusto
err分享
err收藏
Combining sequential feature test cases to generate sound tests for concurrent features将顺序特征测试用例结合以生成并发特征的安全测试
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-11-01
err0
PREAI
errAlmeida, Rafaela; Nogueira, Sidney; Sampaio, Augusto
err分享
err收藏
A Transformer-based approach for anomaly detection in intelligent well completions基于Transformer的智能完井异常检测方法
errPetroleum Exploration and Development
IF8
err2025-08-26
err0
errOAAI
errEsteves Pedro ARANHA; Angelica Nara POLICARPO; Augusto Marcio SAMPAIO
err分享
err收藏
Demystification and near-perfect estimation of minimum gas limit and gas used for Ethereum smart contracts解密和对以太坊智能合约的最小Gas限制和已用Gas的近完美估计
errcloud computing cloud
IF0
err2025-06-16
err0
errOAAI
errDanilo Rafael de Lima Cabral; Pedro Antonino; Augusto Cezar Alves Sampaio
err分享
err收藏
An idiom to represent data types in Alloy
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-02-01
err0
PREAI
errGheyi, Rohit; Borba, Paulo; Sampaio, Augusto; Ribeiro, Marcio
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Paulo Borba
H 指数: 31 · 论文数: 220
R
Rohit Gheyi
H 指数: 27 · 论文数: 144
M
Márcio Ribeiro
H 指数: 25 · 论文数: 184
F
Flávia Barros
H 指数: 13 · 论文数: 50
P
Pedro Antonino
H 指数: 8 · 论文数: 37
查看更多