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

Next-Generation Software Verification: An AI Perspective

delete2021-05-01
delete4
PRE
AI
S
Shiva Nejati *
DOI：10.1109/MS.2021.3049322delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Software 封面图
IEEE Software
IF:
3
论文数:
3.2K
被引数:
3.6K

机构

U
University of Ottawa
学者数:
3.5W
论文数: 3.1W
被引数: 3.8W
引用论文

引用论文

Synthesis, Characterisation and Catalytic Application of Oxidorhenium Complexes Bearing H‐Spirophosphorane Ligands含h-螺膦配体的氧化铼配合物的合成，表征及催化应用
errEuropean Journal of Inorganic Chemistry
IF0
err2012-06-06
err0
PREAI
errAnna Skarżyńska; Miłosz Siczek; Jarosław M. Sobczak
err分享
err收藏
Abstract interpretation
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err109
errOAAI
errCousot, P
err分享
err收藏
Second-order non-linear optical properties of Fe(SALEN) complexesFe(SALEN) 配合物的二阶非线性光学性质
errPolyhedron
IF0
err1996-07-01
err0
PREAI
errWilliam Chiang; Donna Vanengen; Mark E. Thompson
err分享
err收藏
On the Problem of State Recognition in Injection Molding Based on Accelerometer Data Sets
errSensors
IF0
err2022-08-17
err0
errOAAI
errJulian Brunthaler; Patryk Grabski; Valentin Sturm; Wolfgang Lubowski; Dmitry Efrosinin
err分享
err收藏
Renal Artery Injury During Robot-Assisted Renal Surgery
errJournal of Endourology
IF0
err2010-07-01
err0
PREAI
errJae Won Lee; Young Eun Yoon; Dae Keun Kim; Sung Yul Park; Hong Sang Moon; Tchun Yong Lee
err分享
err收藏
Understanding Bone Strength from Finite Element Models: Concepts for Non-engineers
errClinical Reviews in Bone and Mineral Metabolism
IF0
err2016-08-08
err0
PREAI
errChristopher J. Hernandez; Erin N. Cresswell
err分享
err收藏
The Case for Context-Driven Software Engineering Research Generalizability Is Overrated
errIEEE SOFTWARE
IF3
err2017-01-01
err91
errOAAI
errBriand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad
err分享
err收藏
Totally Tubeless Percutaneous Nephrolitotomy in Renal Anomalies
errJournal of Endourology
IF0
err2008-09-01
err0
PREAI
errSeyed Mohammad Kazem Aghamir; Abdolreza Mohammadi; Seyed Habib Mosavibahar; Ali Pasha Meysamie
err分享
err收藏
Impact of Renal Lesion Size on Perioperative and Pathologic Outcomes in Patients Undergoing Laparoscopic Partial Nephrectomy
errJournal of Endourology
IF0
err2009-03-01
err0
PREAI
errMichael K. Eng; Andrew J. Bernstein; Mark H. Katz; Sergey Shikanov; Kevin C. Zorn; Arieh L. Shalhav
err分享
err收藏
没有更多内容