Augmenting Search-Based Techniques with Static Synthesis-Based Input Generation

AuthID
 P-00W-2N4
4
Author(s)
Document Type
Proceedings Paper
Year published
2021
Published
in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021) in SBST
Pages: 12-15 (4)
Conference
14Th Ieee/Acm International Workshop on Search-Based Software Testing (Sbst), Date: MAY 31, 2021, Location: ELECTR NETWORK, Sponsors: IEEE,Assoc Comp Machinery,IEEE Comp Soc
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/920228
Crossref®1
Google Scholar®
Publication Identifiers
DBLP: conf/sbst/SantosCTF21
SCOPUS: 2-s2.0-85111100878
Wos: WOS:000803912700003
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service