Rachel Tzoref
According to our database1,
Rachel Tzoref
authored at least 40 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
1
2
2
2
2
3
4
3
2
2
3
1
1
2
3
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022
2020
ACM SIGSOFT Softw. Eng. Notes, 2020
2019
Bridging the gap between ML solutions and their business requirements using feature interactions.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018
2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
2015
Proceedings of the 8th ACM International Systems and Storage Conference, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
Proceedings of the Runtime Verification, 9th International Workshop, 2009
Forcing small models of conditions on program interleaving for detection of concurrent bugs.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009
2008
Proceedings of the Runtime Verification, 8th International Workshop, 2008
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
2007
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007
2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Third International Workshop on Bounded Model Checking, 2005
2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003