Using Symbolic States to Infer Numerical Invariants

Article Properties

• DOI (url)

  10.1109/tse.2021.3106964
• Publication Date

  2022/10/01
• Journal

  IEEE Transactions on Software Engineering
• Indian UGC (journal)
• Refrences

  72
• ThanhVu Nguyen Department of Computer Science, George Mason University, Fairfax, VA, USA ORCID (unauthenticated)
• KimHao Nguyen University of Nebraska-Lincoln, Lincoln, NE, USA
• Matthew B. Dwyer Department of Computer Science, University of Virginia, Charlottesville, VA, USA ORCID (unauthenticated)