Search Results - "Nguyen, KimHao"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    SymInfer: inferring numerical invariants using symbolic states.

    Authors: Nguyen, ThanhVu Nguyen, KimHao Duong, Hai

    Source: ICSE: International Conference on Software Engineering; 2022, p197-201, 5p

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    Dynaplex: inferring asymptotic runtime complexity of recursive programs.

    Authors: Ishimwe, Didier Nguyen, ThanhVu Nguyen, KimHao

    Source: ICSE: International Conference on Software Engineering; 2022, p61-64, 4p

    HTML Full Text PDF Full Text
    Save to List

Search Tools: