Old Web
English
Sign In
Acemap
>
authorDetail
>
Serdar Tasiran
Serdar Tasiran
Amazon.com
Computer science
Programmer
Programming language
Satisfiability modulo theories
Constraint satisfaction problem
5
Papers
17
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Code‐level model checking in the software development workflow at Amazon Web Services
2021
Software - Practice and Experience
Nathan Chong
Byron Cook
Jonathan Eidelman
Konstantinos Kallas
Kareem Khazem
Felipe R. Monteiro
Daniel Schwartz-Narbonne
Serdar Tasiran
Michael Tautschnig
Mark R. Tuttle
Show All
Source
Cite
Save
Citations (3)
Continuous Compliance
2020
ASE | Automated Software Engineering
Martin Kellogg
Martin Schäf
Serdar Tasiran
Michael D. Ernst
Show All
Source
Cite
Save
Citations (3)
A solver-aided language for test input generation
2017
Talia Ringer
Dan Grossman
Daniel Schwartz-Narbonne
Serdar Tasiran
Show All
Source
Cite
Save
Citations (3)
A Solver-Aided Language for Test Input Generation
2017
OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Talia Ringer
Dan Grossman
Daniel Schwartz-Narbonne
Serdar Tasiran
Show All
Source
Cite
Save
Citations (6)
1