*Result*: EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Title:
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Authors:
Source:
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2021 IEEE/ACM 43rd International Conference on. :1223-1235 May, 2021
Relation:
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
Database:
IEEE Xplore Digital Library