What term did the author of 'On implementing behavioral rewriting' coin in 2001?
runtime verification
Grigore Roşu is the alternative name of Grigore Roşu. He is the author of the book "IMUnit: Improved multithreaded unit testing.". He is also known as Florin Baboescu and is the author of "IMUnit: Maximal sound predictive race detection with control flow abstraction.". Grigore Rosu: A Tree Based Router Search Engine Architecture with Single Port Memories. (2006) authored by Grigore Rosu. Grigore Roşu alternativeName Grigore Roşu. Grigore Roşu link https://dl.acm.org/profile/81100069676. Koushik Sen et al.: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. (2021) authored by Grigore Rosu. Grigore Rosu is the author of Marcelo d'Amorim and Grigore Rosu: Efficient parametric runtime verification with Simultaneous Properties. (2008). Feng Chen and Grigore Rosu: Parametric Trace Slicing and Monitoring. (2010).
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What term did the author of 'On implementing behavioral rewriting' coin in 2001?
Context: Grigore Roşu is the alternative name of Grigore Roşu. He is the author of the book "IMUnit: Improved multithreaded unit testing.". He is also known as Florin Baboescu and is the author of "IMUnit: Maximal sound predictive race detection with control flow abstraction.". Grigore Rosu: A Tree Based Router Search Engine Architecture with Single Port Memories. (2006) authored by Grigore Rosu. Grigore Roşu alternativeName Grigore Roşu. Grigore Roşu link https://dl.acm.org/profile/81100069676. Koushik Sen et al.: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. (2021) authored by Grigore Rosu. Grigore Rosu is the author of Marcelo d'Amorim and Grigore Rosu: Efficient parametric runtime verification with Simultaneous Properties. (2008). Feng Chen and Grigore Rosu: Parametric Trace Slicing and Monitoring. (2010).
[/INST] Answer:
