التفاصيل البيبلوغرافية
العنوان: |
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks |
المؤلفون: |
Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S., Klinge, Titus H. |
المصدر: |
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :1193-1205 May, 2022 |
Relation: |
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) |
قاعدة البيانات: |
IEEE Xplore Digital Library |