Automating requirements analysis and test case generation
Moitra, Abha, Siu, Kit, Crapo, Andrew W., Durling, Michael, Li, Meng, Manolios, Panagiotis, Meiners, Michael, McMillan, Craig
Published in Requirements engineering (01.09.2019)
Published in Requirements engineering (01.09.2019)
Get full text
Journal Article
Towards Developing Formalized Assurance Cases
Meng, Baoluo, Moitra, Abha, Crapo, Andrew W., Paul, Saswata, Siu, Kit, Durling, Michael, Prince, Daniel, Herencia-Zapana, Heber
Published in 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (11.10.2020)
Published in 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (11.10.2020)
Get full text
Conference Proceeding
Towards Development of Complete and Conflict-Free Requirements
Moitra, Abha, Siu, Kit, Crapo, Andrew, Chamarthi, Harsh, Durling, Michael, Li, Meng, Yu, Han, Manolios, Panagiotis, Meiners, Michael
Published in 2018 IEEE 26th International Requirements Engineering Conference (RE) (01.08.2018)
Published in 2018 IEEE 26th International Requirements Engineering Conference (RE) (01.08.2018)
Get full text
Conference Proceeding
Requirements Capture and Analysis in ASSERT(TM)
Crapo, Andrew, Moitra, Abha, McMillan, Craig, Russell, Daniel
Published in 2017 IEEE 25th International Requirements Engineering Conference (RE) (01.09.2017)
Published in 2017 IEEE 25th International Requirements Engineering Conference (RE) (01.09.2017)
Get full text
Conference Proceeding
Concept-Level Rules for Capturing Domain Knowledge
Moitra, Abha, Crapo, Andrew, Palla, Ravi
Published in 2018 IEEE 12th International Conference on Semantic Computing (ICSC) (01.01.2018)
Published in 2018 IEEE 12th International Conference on Semantic Computing (ICSC) (01.01.2018)
Get full text
Conference Proceeding
Automated Creation and Human-assisted Curation of Computable Scientific Models from Code and Text
Mulwad, Varish, Crapo, Andrew, Kumar, Vijay S, Jobin, James, Gabaldon, Alfredo, Virani, Nurali, Dixit, Sharad, Joshi, Narendra
Year of Publication 28.01.2022
Year of Publication 28.01.2022
Get full text
Journal Article
Addressing uncertainty and conflicts in cross-domain data provenance
Moitra, A, Barnett, B, Crapo, A, Dill, S J
Published in 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE (01.10.2010)
Published in 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE (01.10.2010)
Get full text
Conference Proceeding
Data Provenance architecture to support Information Assurance in a Multi-Level Secure Environment
Moitra, A., Barnett, B., Crapo, A., Dill, S.J.
Published in MILCOM 2009 - 2009 IEEE Military Communications Conference (01.10.2009)
Published in MILCOM 2009 - 2009 IEEE Military Communications Conference (01.10.2009)
Get full text
Conference Proceeding